Forschungsbericht 2019
Eingebettete Systeme E-13
Leitung: Prof. Dr. Heiko Falk
Institut auf TORE
Institutswebsite
Publikationen
- Reasoning about non-functional properties using compiler intrinsic function annotations - Research Paper
Jadhav, Shashank; Roth, Mikko Julian; Falk, Heiko; Brown, Chris; Barwell, Adam
13th Junior Researcher Workshop on Real-Time Computing (2019)
Open Access
- Synthesizing adaptive test strategies from temporal logic specifications - Article
Bloem, Roderick; Fey, Görschwin; Greif, Fabian; Könighofer, Robert; Pill, Ingo; Riener, Heinz; Röck, Franz
Formal Methods in System Design 2 (55): 103-135 (2019)
Open Access Publisher DOI
- Engineering of an Effective Automatic Dynamic Assertion Mining Platform - inProceedings
Ghasempouri, Tara; Malburg, Jan; Danese, Alessandro; Pravadelli, Graziano; Fey, Görschwin; Raik, Jaan
IEEE/IFIP International Conference on VLSI and System-on-Chip, VLSI-SoC: 8920331 (2019-10)
Publisher DOI
- Code-inherent traffic shaping for hard real-time systems - Article
Oehlert, Dominic Paul; Saidi, Selma; Falk, Heiko
ACM Transactions on Embedded Computing Systems 5s (18): a108 1-21 (2019)
Open Access Publisher DOI
- Syntax-guided enumeration of temporal properties - inProceedings
Martino, Gianluca; Fey, Görschwin
Forum on Specification and Design Languages, FDL 2019: 8876892 (2019-09)
Publisher DOI
- On Analyzing Memory Latency for Embedded CPS Platforms - inProceedings
Saidi, Selma
Euromicro Conference on Digital System Design, DSD: 8875041 (2019-08)
Publisher DOI
- Local Monitoring of Embedded Applications and Devices using Artificial Neural Networks - inProceedings
Bahnsen, Fin Hendrik; Fey, Görschwin
Euromicro Conference on Digital System Design, DSD 2019: 8875056 (2019-08)
Publisher DOI
- Curves, cryptography and quantum computing - Learning Object
Zimmermann, Karl-Heinz
Open Access
- Compiler-based code compression for hard real-time systems - Working Paper
Muts, Kateryna; Luppold, Arno; Falk, Heiko
Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems (SCOPES ’19), May 27–28, 2019, Sankt Goar, Germany. ACM, New York, NY, ISBN 978-1-4503-6762-2
Open Access Publisher DOI
- Favorable adjustment of periods for reduced hyperperiods in real-time systems - Working Paper
Oehlert, Dominic Paul; Luppold, Arno; Falk, Heiko
Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems (SCOPES ’19), May 27–28, 2019, Sankt Goar, Germany. ACM, New York, NY, ISBN 978-1-4503-6762-2
Open Access Publisher DOI
- Symbolic circuit analysis under an arc based timing model - inProceedings
Fey, Görschwin; Garcia-Ortiz, Alberto
Proceedings of the European Test Workshop (2019-May): 8791525 (2019-05)
Publisher DOI
- Multi-objective optimization for the compiler of real-time systems based on flower pollination algorithm - inProceedings
Jadhav, Shashank; Falk, Heiko
SCOPES '19: Proceedings of the 22nd International Workshop on Software and Compilers for Embedded SystemsMay 2019 Pages 45–48
Open Access Publisher DOI
- Design Understanding: From Logic to Specification <sup>∗</sup> - inProceedings
Fey, Görschwin; Ghasempouri, Tara; Jacobs, Swen; Martino, Gianluca; Raik, Jaan; Riener, Heinz
IEEE/IFIP International Conference on VLSI and System-on-Chip, VLSI-SoC (2018-October): 172-175 (2019-02-19)
Publisher DOI
- Exploiting Locality for the Performance Analysis of Shared Memory Systems in MPSoCs - inProceedings
Saidi, Selma; Syring, Alexander
Proceedings - Real-Time Systems Symposium (2018-December): 350-360 (2019-01-04)
Publisher DOI
- Mathematical abstraction in a simple programming tool for parallel embedded systems - inProceedings
Mayer-Lindenberg, Fritz
Lecture Notes in Computer Science (11657 LNCS): 32-50 (2019)
Publisher DOI
- Computability theory : with a short introduction to complexity theory ; monograph - Technical Report
Zimmermann, Karl-Heinz
Open Access
Projekte
Kooperationspartner
- ONERA Centre Francais de Recherche Aerospatiale
- NXP Semiconductors Germany GmbH