@inproceedings{NairShafaeiKugeleetal.2019, author = {Nair, Saasha and Shafaei, Sina and Kugele, Stefan and Osman, Mohd Hafeez and Knoll, Alois}, title = {Monitoring Safety of Autonomous Vehicles with Crash Prediction Network}, booktitle = {Proceedings of the AAAI Workshop on Artificial Intelligence Safety 2019, co-located with the Thirty-Third AAAI Conference on Artificial Intelligence 2019 (AAAI 2019)}, editor = {Espinoza, Hu{\´a}scar and {\´O}h{\´E}igeartaigh, Se{\´a}n S. and Huang, Xiaowei and Hern{\´a}ndez-Orallo, Jos{\´e} and Castillo-Effen, Mauricio}, publisher = {RWTH Aachen}, address = {Aachen}, url = {https://ceur-ws.org/Vol-2301/}, year = {2019}, language = {en} } @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.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} } @inproceedings{KugeleSchreyerLamprecht2024, author = {Kugele, Stefan and Schreyer, Lorenz and Lamprecht, Martin}, title = {Cause-Effect Chain-Based Diagnosis of Automotive Onboard Energy Systems}, booktitle = {Software Architecture: 18th European Conference, ECSA 2024 Luxembourg City, Luxembourg, September 3-6, 2024 Proceedings}, editor = {Galster, Matthias and Scandurra, Patrizia and Mikkonen, Tommi and Antonino, Pablo Oliveira and Nakagawa, Elisa Yumi and Navarro, Elena}, publisher = {Springer}, address = {Cham}, isbn = {978-3-031-70797-1}, doi = {https://doi.org/10.1007/978-3-031-70797-1_7}, pages = {105 -- 120}, year = {2024}, language = {en} }