Publications
Publications
Conference
Journal
Conference
- Jürgen Becker, Leonard Masing, Tobias Dörr, Florian Schade, et al. XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems. FPL ’21. https://publikationen.bibliothek.kit.edu/1000143825
- Fahad Siddiqui, Rafiullah Khan, Sakir Sezer. Bird’s-eye view on the Automotive Cybersecurity Landscape & Challenges in adopting AI/ML. FCST ’21. https://ieeexplore.ieee.org/document/9732568
- Leonard Masing, Tobias Dörr, Florian Schade, Jürgen Becker, et al. XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems. DATE ’22. https://publikationen.bibliothek.kit.edu/1000147731
- Fahad Siddiqui, Rafiullah Khan, Kieran McLaughlin, Sakir Sezer, et al. XANDAR: A holistic Cybersecurity Engineering Process for Safety-critical and Cyber-physical Systems. VTC2022-Spring. https://publikationen.bibliothek.kit.edu/1000151304
- Vasilios Kelefouras, Karim Djemame, Georgios Keramidas, Nikolaos Voros. An analytical model for loop tiling transformation. Embedded Computer Systems: Architectures, Modeling, and Simulation. SAMOS 2021. Lecture Notes in Computer Science, vol 13227. https://link.springer.com/chapter/10.1007/978-3-031-04580-6_7
- Tobias Dörr, Florian Schade, Leonard Masing, Jürgen Becker, et al. Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR. ISVLSI ’22. https://publikationen.bibliothek.kit.edu/1000148579
- Alexander Ahlbrecht, Umut Durak. Model-Based STPA: Enabling Safety Analysis Coverage Assessment with Formalization. DASC ’22. https://elib.dlr.de/187138/
- Raphael Weber, Nico Adler, Thomas Wilhelm, Andreas Sailer, Clemens Reichmann. Towards Automating a Software-Centered Development Process that considers Timing Properties. https://ieeexplore.ieee.org/document/9908127
- Erjola Lalo, Andreas Sailer, Jürgen Mottok, Christian Siemers. Overhead-Aware Schedule Synthesis for Logical Execution Time (LET) in Automotive Systems. https://ieeexplore.ieee.org/document/9908103
- Florian Schade, Tobias Dörr, Jürgen Becker. Hypervisor-Based Target Deployment Strategies for Time Predictability in Model-Based Development. https://ieeexplore.ieee.org/document/9908090
- Tobias Dörr, Florian Schade, Alexander Ahlbrecht, Wanja Zaeske, Leonard Masing, Umut Durak, Juergen Becker. A Behavior Specification and Simulation Methodology for Embedded Real-Time Software. https://ieeexplore.ieee.org/document/9932069
Journal
- Vasilios Kelefouras, Karim Djemame, Georgios Keramidas, Nikolaos Voros. A Methodology for Efficient Tile Size Selection for Affine Loop Kernels. International Journal of Parallel Programming volume 50, pages 405-432 (2022). https://link.springer.com/article/10.1007/s10766-022-00734-5