@inproceedings{OkumusZacchiSalfeldetal.2025, author = {Okumus, Fazli Faruk and Zacchi, Jo{\~a}o-Vitor and Salfeld, Maike and Schweizer, Markus and Mata, N{\´u}ria and Kugele, Stefan}, title = {Runtime Monitor Synthesis for Automotive Software Architectures}, booktitle = {Software Architecture: 19th European Conference, ECSA 2025, Limassol, Cyprus, September 15-19, 2025, Proceedings}, editor = {Andrikopoulos, Vasilios and Pautasso, Cesare and Ali, Nour and Soldani, Jacopo and Xu, Xiwei}, publisher = {Springer}, address = {Cham}, isbn = {978-3-032-02138-0}, doi = {https://doi.org/10.1007/978-3-032-02138-0_11}, pages = {161 -- 177}, year = {2025}, language = {en} } @inproceedings{KugeleMarmsolerMataetal.2016, author = {Kugele, Stefan and Marmsoler, Diego and Mata, N{\´u}ria and Werther, Kai}, title = {Verification of component architectures using mode-based contracts}, booktitle = {2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-5090-2791-0}, doi = {https://doi.org/10.1109/MEMCOD.2016.7797758}, pages = {133 -- 142}, year = {2016}, language = {en} } @inproceedings{CostadeAraujoBaluReichmannetal.2025, author = {Costa de Araujo, Jo{\~a}o Paulo and Balu, Balahari Vignesh and Reichmann, Eik and Kelly, Jessica and Kugele, Stefan and Mata, N{\´u}ria and Grunske, Lars}, title = {Applying Concept-Based Models for Enhanced Safety Argumentation - Summary}, booktitle = {Software Engineering 2025: Proceedings}, editor = {Koziolek, Anne and Lamprecht, Anna-Lena and Th{\"u}m, Thomas and Burger, Erik}, publisher = {Gesellschaft f{\"u}r Informatik}, address = {Bonn}, issn = {2944-7682}, doi = {https://doi.org/10.18420/se2025-18}, pages = {65 -- 66}, year = {2025}, abstract = {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)}, language = {en} } @inproceedings{CostadeAraujoBaluReichmannetal.2024, author = {Costa de Araujo, Jo{\~a}o Paulo and Balu, Balahari Vignesh and Reichmann, Eik and Kelly, Jessica and Kugele, Stefan and Mata, N{\´u}ria and Grunske, Lars}, title = {Applying Concept-Based Models for Enhanced Safety Argumentation}, booktitle = {Proceedings: 2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE 2024)}, publisher = {IEEE}, address = {Los Alamitos}, isbn = {979-8-3503-5388-4}, doi = {https://doi.org/10.1109/ISSRE62328.2024.00034}, pages = {272 -- 283}, year = {2024}, language = {en} }