TY - CHAP A1 - Nair, Saasha A1 - Shafaei, Sina A1 - Kugele, Stefan A1 - Osman, Mohd Hafeez A1 - Knoll, Alois ED - Espinoza, Huáscar ED - ÓhÉigeartaigh, Seán S. ED - Huang, Xiaowei ED - Hernández-Orallo, José ED - Castillo-Effen, Mauricio T1 - Monitoring Safety of Autonomous Vehicles with Crash Prediction Network T2 - Proceedings of the AAAI Workshop on Artificial Intelligence Safety 2019, co-located with the Thirty-Third AAAI Conference on Artificial Intelligence 2019 (AAAI 2019) Y1 - 2019 UR - https://ceur-ws.org/Vol-2301/ PB - RWTH Aachen CY - Aachen ER - 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 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 - TY - CHAP A1 - Kugele, Stefan A1 - Schreyer, Lorenz A1 - Lamprecht, Martin ED - Galster, Matthias ED - Scandurra, Patrizia ED - Mikkonen, Tommi ED - Antonino, Pablo Oliveira ED - Nakagawa, Elisa Yumi ED - Navarro, Elena T1 - Cause-Effect Chain-Based Diagnosis of Automotive Onboard Energy Systems T2 - Software Architecture: 18th European Conference, ECSA 2024 Luxembourg City, Luxembourg, September 3–6, 2024 Proceedings UR - https://doi.org/10.1007/978-3-031-70797-1_7 Y1 - 2024 UR - https://doi.org/10.1007/978-3-031-70797-1_7 SN - 978-3-031-70797-1 SN - 978-3-031-70796-4 SP - 105 EP - 120 PB - Springer CY - Cham ER -