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/
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