TY - CHAP A1 - Okumus, Fazli Faruk A1 - Zacchi, João-Vitor A1 - Salfeld, Maike A1 - Schweizer, Markus A1 - Mata, Núria A1 - Kugele, Stefan ED - Andrikopoulos, Vasilios ED - Pautasso, Cesare ED - Ali, Nour ED - Soldani, Jacopo ED - Xu, Xiwei T1 - Runtime Monitor Synthesis for Automotive Software Architectures T2 - Software Architecture: 19th European Conference, ECSA 2025, Limassol, Cyprus, September 15–19, 2025, Proceedings UR - https://doi.org/10.1007/978-3-032-02138-0_11 Y1 - 2025 UR - https://doi.org/10.1007/978-3-032-02138-0_11 SN - 978-3-032-02138-0 SP - 161 EP - 177 PB - Springer CY - Cham ER - TY - CHAP A1 - Kugele, Stefan A1 - Marmsoler, Diego A1 - Mata, Núria A1 - Werther, Kai T1 - Verification of component architectures using mode-based contracts T2 - 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) UR - https://doi.org/10.1109/MEMCOD.2016.7797758 KW - Contracts KW - Cognition KW - Cost accounting KW - Concrete KW - Computer architecture KW - Complexity theory KW - Context modeling Y1 - 2016 UR - https://doi.org/10.1109/MEMCOD.2016.7797758 SN - 978-1-5090-2791-0 SP - 133 EP - 142 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Costa de Araujo, João Paulo A1 - Balu, Balahari Vignesh A1 - Reichmann, Eik A1 - Kelly, Jessica A1 - Kugele, Stefan A1 - Mata, Núria A1 - Grunske, Lars ED - Koziolek, Anne ED - Lamprecht, Anna-Lena ED - Thüm, Thomas ED - Burger, Erik T1 - Applying Concept-Based Models for Enhanced Safety Argumentation – Summary T2 - Software Engineering 2025: Proceedings N2 - In this extended abstract we summarize our work on using Concept Bottleneck Models (CBMs) for an enhanced safety argumentation of vision-based Machine Learning (ML) perception components in safety critical systems. This paper has been published at the International Symposium on Software Reliability Engineering (ISRRE’24) UR - https://doi.org/10.18420/se2025-18 Y1 - 2025 UR - https://doi.org/10.18420/se2025-18 UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:573-57457 SN - 2944-7682 SP - 65 EP - 66 PB - Gesellschaft für Informatik CY - Bonn ER - TY - CHAP A1 - Costa de Araujo, João Paulo A1 - Balu, Balahari Vignesh A1 - Reichmann, Eik A1 - Kelly, Jessica A1 - Kugele, Stefan A1 - Mata, Núria A1 - Grunske, Lars T1 - Applying Concept-Based Models for Enhanced Safety Argumentation T2 - Proceedings: 2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE 2024) UR - https://doi.org/10.1109/ISSRE62328.2024.00034 Y1 - 2024 UR - https://doi.org/10.1109/ISSRE62328.2024.00034 SN - 979-8-3503-5388-4 SP - 272 EP - 283 PB - IEEE CY - Los Alamitos ER -