@unpublished{GleirscherKugele2019, author = {Gleirscher, Mario and Kugele, Stefan}, title = {Assurance of System Safety: A Survey of Design and Argument Patterns}, publisher = {arXiv}, address = {Ithaca}, doi = {https://doi.org/10.48550/arXiv.1902.05537}, year = {2019}, language = {en} } @inproceedings{KugeleDurisicDajsurenetal.2021, author = {Kugele, Stefan and Durisic, Darko and Dajsuren, Yanja and Staron, Miroslaw}, title = {7th International Workshop on Automotive System/Software Architecture (WASA 2021)}, booktitle = {Proceedings : IEEE 18th International Conference on Software Architecture Companion (ICSA-C 2021)}, publisher = {IEEE}, address = {Los Alamitos}, isbn = {978-1-6654-3910-7}, doi = {https://doi.org/10.1109/ICSA-C52384.2021.00035}, pages = {138}, year = {2021}, language = {en} } @inproceedings{KugelePetrovskaGerostathopoulos2021, author = {Kugele, Stefan and Petrovska, Ana and Gerostathopoulos, Ilias}, title = {Towards a Taxonomy of Autonomous Systems}, booktitle = {Software Architecture: 15th European Conference, ECSA 2021; Virtual Event, Sweden, September 13-17, 2021: Proceedings}, editor = {Biffl, Stefan and Navarro, Elena and L{\"o}we, Welf and Sirjani, Marjan and Mirandola, Raffaela and Weyns, Danny}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-86044-8}, doi = {https://doi.org/10.1007/978-3-030-86044-8_3}, pages = {37 -- 45}, year = {2021}, language = {en} } @inproceedings{KugeleSeglerHubregtsen2020, author = {Kugele, Stefan and Segler, Christoph and Hubregtsen, Thomas}, title = {Architectural Patterns for Cross-Domain Personalised Automotive Functions}, booktitle = {Proceedings: IEEE 17th International Conference on Software Architecture (ICSA 2020)}, publisher = {IEEE}, address = {Los Alamitos}, isbn = {978-1-7281-4659-1}, doi = {https://doi.org/10.1109/ICSA47634.2020.00026}, pages = {191 -- 201}, year = {2020}, language = {en} } @inproceedings{CebotariKugele2021, author = {Cebotari, Vadim and Kugele, Stefan}, title = {Playground for Early Automotive Service Architecture Design and Evaluation}, booktitle = {2020 IEEE Intelligent Vehicles Symposium (IV)}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-7281-6673-5}, doi = {https://doi.org/10.1109/IV47402.2020.9304633}, pages = {1349 -- 1356}, year = {2021}, language = {en} } @inproceedings{OsmanKugeleShafaei2019, author = {Osman, Mohd Hafeez and Kugele, Stefan and Shafaei, Sina}, title = {Run-Time Safety Monitoring Framework for AI-Based Systems}, booktitle = {Proceedings: 2019 26th Asia-Pacific Software Engineering Conference, APSEC 2019}, subtitle = {Automated Driving Cases}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-7281-4648-5}, issn = {2640-0715}, doi = {https://doi.org/10.1109/APSEC48747.2019.00066}, pages = {442 -- 449}, year = {2019}, language = {en} } @inproceedings{CebotariKugele2019, author = {Cebotari, Vadim and Kugele, Stefan}, title = {On the Nature of Automotive Service Architectures}, booktitle = {Proceedings: 2019 IEEE International Conference on Software Architecture Companion, ICSA-C 2019}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-7281-1876-5}, doi = {https://doi.org/10.1109/ICSA-C.2019.00017}, pages = {53 -- 60}, year = {2019}, language = {en} } @inproceedings{ObergfellKugeleSegleretal.2019, author = {Obergfell, Philipp and Kugele, Stefan and Segler, Christoph and Knoll, Alois and Sax, Eric}, title = {Continuous Software Engineering of Innovative Automotive Functions}, booktitle = {Proceedings: 2019 IEEE International Conference on Software Architecture Companion, ICSA-C 2019}, subtitle = {an Industrial Perspective}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-7281-1876-5}, doi = {https://doi.org/10.1109/ICSA-C.2019.00030}, pages = {127 -- 128}, year = {2019}, language = {en} } @inproceedings{SeglerKugeleObergfelletal.2019, author = {Segler, Christoph and Kugele, Stefan and Obergfell, Philipp and Osman, Mohd Hafeez and Shafaei, Sina and Sax, Eric and Knoll, Alois}, title = {Evaluation of feature selection for anomaly detection in automotive E/E architectures}, booktitle = {Proceedings: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings: ICSE-Companion 2019}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-7281-1764-5}, issn = {2574-1934}, doi = {https://doi.org/10.1109/ICSE-Companion.2019.00104}, pages = {260 -- 261}, year = {2019}, language = {en} } @inproceedings{KugeleBroy2022, author = {Kugele, Stefan and Broy, Manfred}, title = {Architecture as a Backbone for Safe DevOps in Automotive Systems}, booktitle = {2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-6654-6880-0}, doi = {https://doi.org/10.1109/ITSC55140.2022.9922097}, pages = {4145 -- 4150}, year = {2022}, language = {en} } @inproceedings{ShafaeiKugeleOsmanetal.2018, author = {Shafaei, Sina and Kugele, Stefan and Osman, Mohd Hafeez and Knoll, Alois}, title = {Uncertainty in Machine Learning: A Safety Perspective on Autonomous Driving}, booktitle = {Computer Safety, Reliability, and Security}, editor = {Gallina, Barbara and Skavhaug, Amund and Schoitsch, Erwin and Bitsch, Friedemann}, publisher = {Springer}, address = {Cham}, isbn = {978-3-319-99228-0}, issn = {0302-9743}, doi = {https://doi.org/10.1007/978-3-319-99229-7_39}, pages = {458 -- 464}, year = {2018}, language = {en} } @inproceedings{ShafaeiMuellerSalzmannetal.2018, author = {Shafaei, Sina and M{\"u}ller, Fabian and Salzmann, Tim and Hashemi Farzaneh, Morteza and Kugele, Stefan and Knoll, Alois}, title = {Context Prediction Architectures in Next Generation of Intelligent Cars}, booktitle = {2018 IEEE Intelligent Transportation Systems Conference}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-7281-0323-5}, doi = {https://doi.org/10.1109/ITSC.2018.8569617}, pages = {2923 -- 2930}, year = {2018}, language = {en} } @inproceedings{KugeleHettlerShafaei2018, author = {Kugele, Stefan and Hettler, David and Shafaei, Sina}, title = {Elastic Service Provision for Intelligent Vehicle Functions}, booktitle = {2018 IEEE Intelligent Transportation Systems Conference}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-7281-0323-5}, doi = {https://doi.org/10.1109/ITSC.2018.8569374}, pages = {3183 -- 3190}, year = {2018}, language = {en} } @inproceedings{KugeleHettlerPeter2018, author = {Kugele, Stefan and Hettler, David and Peter, Jan}, title = {Data-Centric Communication and Containerization for Future Automotive Software Architectures}, booktitle = {Proceedings: 2018 IEEE 15th International Conference on Software Architecture: ICSA 2018}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-5386-6398-1}, doi = {https://doi.org/10.1109/ICSA.2018.00016}, pages = {65 -- 74}, year = {2018}, language = {en} } @article{GleirscherKugeleLinker2018, author = {Gleirscher, Mario and Kugele, Stefan and Linker, Sven}, title = {SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles}, volume = {43}, journal = {ACM SIGSOFT Software Engineering Notes}, number = {4}, publisher = {ACM}, address = {New York}, issn = {0163-5948}, doi = {https://doi.org/10.1145/3282517.3302402}, pages = {45 -- 47}, year = {2018}, language = {en} } @inproceedings{JanuzajKugeleLangeretal.2010, author = {Januzaj, Visar and Kugele, Stefan and Langer, Boris and Schallhart, Christian and Veith, Helmut}, title = {New Challenges in the Development of Critical Embedded Systems: An "aeromotive" Perspective}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I}, editor = {Margaria, Tiziana and Steffen, Bernhard}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-16558-0}, doi = {https://doi.org/10.1007/978-3-642-16558-0_1}, pages = {1 -- 2}, year = {2010}, language = {en} } @inproceedings{HaberlHerrmannsdoerferKugeleetal.2010, author = {Haberl, Wolfgang and Herrmannsdoerfer, Markus and Kugele, Stefan and Tautschnig, Michael and Wechs, Martin}, title = {Seamless Model-Driven Development Put into Practice}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I}, editor = {Margaria, Tiziana and Steffen, Bernhard}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-16558-0}, doi = {https://doi.org/10.1007/978-3-642-16558-0_4}, pages = {18 -- 32}, year = {2010}, language = {en} } @inproceedings{HolzerJanuzajKugeleetal.2010, author = {Holzer, Andreas and Januzaj, Visar and Kugele, Stefan and Tautschnig, Michael}, title = {Timely Time Estimates}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I}, editor = {Margaria, Tiziana and Steffen, Bernhard}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-16558-0}, doi = {https://doi.org/10.1007/978-3-642-16558-0_5}, pages = {33 -- 46}, year = {2010}, language = {en} } @inproceedings{HolzerJanuzajKugele2009, author = {Holzer, Andreas and Januzaj, Visar and Kugele, Stefan}, title = {Towards Resource Consumption-Aware Programming}, booktitle = {Proceedings: The Fourth International Conference on Software Engineering Advances: ICSEA 2009}, editor = {Boness, Kenneth and Fernandes, Jo{\~a}o M. and Hall, Jon G. and Jorge Machado, Ricardo and Oberhauser, Roy}, publisher = {IEEE}, address = {Los Alamitos}, isbn = {978-1-4244-4779-4}, doi = {https://doi.org/10.1109/ICSEA.2009.77}, pages = {490 -- 493}, year = {2009}, language = {en} } @inproceedings{HaberlKugeleBaumgarten2009, author = {Haberl, Wolfgang and Kugele, Stefan and Baumgarten, Uwe}, title = {Reliable operating modes for distributed embedded systems}, booktitle = {Proceedings of the 2009 31st International Conference on Software Engineering and ICSE Workshops}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-4244-3721-4}, doi = {https://doi.org/10.1109/MOMPES.2009.5069133}, pages = {11 -- 21}, year = {2009}, language = {en} } @inproceedings{KugeleHaberlTautschnigetal.2008, author = {Kugele, Stefan and Haberl, Wolfgang and Tautschnig, Michael and Wechs, Martin}, title = {Optimizing Automatic Deployment Using Non-functional Requirement Annotations}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008: Proceedings}, editor = {Margaria, Tiziana and Steffen, Bernhard}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-88479-8}, doi = {https://doi.org/10.1007/978-3-540-88479-8_28}, pages = {400 -- 414}, year = {2008}, language = {en} } @inproceedings{KugeleHaberl2008, author = {Kugele, Stefan and Haberl, Wolfgang}, title = {Mapping Data-Flow Dependencies onto Distributed Embedded Systems}, booktitle = {Proceedings of the 2008 International Conference on Software Engineering Research \& Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes}, editor = {Arabnia, Hamid R. and Reza, Hassan}, publisher = {CSREA Press}, isbn = {1-60132-088-4}, pages = {272 -- 278}, year = {2008}, language = {en} } @inproceedings{WangHaberlKugeleetal.2008, author = {Wang, Zhonglei and Haberl, Wolfgang and Kugele, Stefan and Tautschnig, Michael}, title = {Automatic generation of SystemC models from component-based designs for early design validation and performance analysis}, booktitle = {WOSP'08: Proceedings of the Seventh International Workshop on Software and Performance}, publisher = {ACM}, address = {New York}, isbn = {978-1-59593-873-2}, doi = {https://doi.org/10.1145/1383559.1383577}, pages = {139 -- 143}, year = {2008}, language = {en} } @unpublished{GleirscherKugele2018, author = {Gleirscher, Mario and Kugele, Stefan}, title = {From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case}, publisher = {arXiv}, address = {Ithaca}, doi = {https://doi.org/10.48550/arXiv.1802.08327}, year = {2018}, language = {en} } @unpublished{GleirscherLinkerKugele2018, author = {Gleirscher, Mario and Linker, Sven and Kugele, Stefan}, title = {SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles}, publisher = {arXiv}, address = {Ithaca}, doi = {https://doi.org/10.48550/arXiv.1811.01774}, year = {2018}, abstract = {This report summarizes the discussions, open issues, take-away messages, and conclusions of the 2nd SCAV workshop.}, language = {en} } @article{GleirscherKugeleSprinkle2017, author = {Gleirscher, Mario and Kugele, Stefan and Sprinkle, Jonathan}, title = {Safe Control of Autonomous \& Connected Vehicles (SCAV'17): Report from the 1st International Workshop at CPSWeek 2017}, volume = {42}, journal = {ACM SIGSOFT Software Engineering Notes}, number = {3}, publisher = {ACM}, address = {New York}, issn = {0163-5948}, doi = {https://doi.org/10.1145/3127360.3127373}, pages = {22 -- 23}, year = {2017}, language = {en} } @inproceedings{HashemiFarzanehKugeleKnoll2017, author = {Hashemi Farzaneh, Morteza and Kugele, Stefan and Knoll, Alois}, title = {A graphical modeling tool supporting automated schedule synthesis for time-sensitive networking}, booktitle = {2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-5090-6505-9}, issn = {1946-0759}, doi = {https://doi.org/10.1109/ETFA.2017.8247599}, year = {2017}, language = {en} } @inproceedings{KugeleCebotariGleirscheretal.2017, author = {Kugele, Stefan and Cebotari, Vadim and Gleirscher, Mario and Hashemi Farzaneh, Morteza and Segler, Christoph and Shafaei, Sina and V{\"o}gel, Hans-J{\"o}rg and Bauer, Fridolin and Knoll, Alois and Marmsoler, Diego and Michel, Hans-Ulrich}, title = {Research Challenges for a Future-Proof E/E Architecture: A Project Statement}, booktitle = {INFORMATIK 2017}, editor = {Eibl, Maximilian and Gaedke, Martin}, publisher = {Gesellschaft f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-669-5}, doi = {https://doi.org/10.18420/in2017_146}, pages = {1463 -- 1474}, year = {2017}, language = {en} } @inproceedings{GleirscherKugele2017, author = {Gleirscher, Mario and Kugele, Stefan}, title = {Defining Risk States in Autonomous Road Vehicles}, booktitle = {Proceedings: IEEE 18th International Symposium on High Assurance Systems Engineering (HASE 2017)}, publisher = {IEEE}, address = {Los Alamitos}, isbn = {978-1-5090-4636-2}, issn = {1530-2059}, doi = {https://doi.org/10.1109/HASE.2017.14}, pages = {112 -- 115}, year = {2017}, language = {en} } @inproceedings{KugeleObergfellBroyetal.2017, author = {Kugele, Stefan and Obergfell, Philipp and Broy, Manfred and Creighton, Oliver and Traub, Matthias and Hopfensitz, Wolfgang}, title = {On Service-Orientation for Automotive Software}, booktitle = {Proceedings: 2017 IEEE International Conference on Software Architecture (ICSA 2017)}, publisher = {IEEE}, address = {Los Alamitos}, isbn = {978-1-5090-5729-0}, doi = {https://doi.org/10.1109/ICSA.2017.20}, pages = {193 -- 202}, year = {2017}, language = {en} } @inproceedings{GleirscherKugele2017, author = {Gleirscher, Mario and Kugele, Stefan}, title = {From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case}, booktitle = {NASA Formal Methods: 9th International Symposium, NFM 2017: Moffett Field, CA, USA, May 16-18, 2017: Proceedings}, editor = {Barrett, Clark and Davies, Misty and Kahsai, Temesghen}, publisher = {Springer}, address = {Cham}, isbn = {978-3-319-57288-8}, doi = {https://doi.org/10.1007/978-3-319-57288-8_23}, pages = {310 -- 326}, year = {2017}, language = {en} } @inproceedings{KugeleAntkowiak2016, author = {Kugele, Stefan and Antkowiak, Daniel}, title = {Visualization of Trace Links and Change Impact Analysis}, booktitle = {Proceedings: 2016 IEEE 24th International Requirements Engineering Conference Workshops}, publisher = {IEEE}, address = {Los Alamitos}, isbn = {978-1-5090-3694-3}, doi = {https://doi.org/10.1109/REW.2016.039}, pages = {165 -- 169}, year = {2016}, language = {en} } @inbook{AlbersBuekerDieudonneetal.2016, author = {Albers, Karsten and B{\"u}ker, Matthias and Dieudonn{\´e}, Laurent and Hilbrich, Robert and Igna, Georgeta and Kugele, Stefan and Kuhn, Thomas and Rosinger, Maike and Weber, Raphael}, title = {Optimal Deployment}, booktitle = {Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology}, editor = {Pohl, Klaus and Broy, Manfred and Daembkes, Heinrich and H{\"o}nninger, Harald}, publisher = {Springer}, address = {Cham}, isbn = {978-3-319-48003-9}, doi = {https://doi.org/10.1007/978-3-319-48003-9_9}, pages = {145 -- 168}, year = {2016}, language = {en} } @inproceedings{KugelePuceaPopaetal.2015, author = {Kugele, Stefan and Pucea, Gheorghe and Popa, Ramona and Dieudonn{\´e}, Laurent and Eckardt, Horst}, title = {On the deployment problem of embedded systems}, booktitle = {2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-5090-0237-5}, doi = {https://doi.org/10.1109/MEMCOD.2015.7340482}, pages = {158 -- 167}, year = {2015}, language = {en} } @inproceedings{PrehoferSchorpKugeleetal.2015, author = {Prehofer, Christian and Schorp, Konstantin and Kugele, Stefan and Clarke, Daniel and Duchon, Markus}, title = {Towards a 3-tier architecture for connected vehicles}, booktitle = {2014 International Conference on Connected Vehicles and Expo (ICCVE): Proceedings}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-4799-6729-2}, issn = {2378-1297}, doi = {https://doi.org/10.1109/ICCVE.2014.7297634}, pages = {679 -- 680}, year = {2015}, language = {en} } @inproceedings{KugelePucea2014, author = {Kugele, Stefan and Pucea, Gheorghe}, title = {Model-based optimization of automotive E/E-architectures}, booktitle = {CSTVA 2014: Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis}, publisher = {ACM}, address = {New York}, isbn = {978-1-4503-2847-0}, doi = {https://doi.org/10.1145/2593735.2593739}, pages = {18 -- 29}, year = {2014}, language = {en} } @inproceedings{GuldenKugele2013, author = {Gulden, Markus and Kugele, Stefan}, title = {A concept for generating simplified RESTful interfaces}, booktitle = {WWW '13 Companion: Proceedings of the 22nd International Conference on World Wide Web}, publisher = {ACM}, address = {New York}, isbn = {978-1-4503-2038-2}, doi = {https://doi.org/10.1145/2487788.2488181}, pages = {1391 -- 1398}, year = {2013}, language = {en} } @phdthesis{Kugele2012, author = {Kugele, Stefan}, title = {Model-Based Development of Software-intensive Automotive Systems}, publisher = {Technische Universit{\"a}t M{\"u}nchen}, address = {M{\"u}nchen}, pages = {xi, 240}, school = {Technische Universit{\"a}t M{\"u}nchen}, year = {2012}, language = {en} } @inproceedings{JanuzajKugeleBiecheleetal.2012, author = {Januzaj, Visar and Kugele, Stefan and Biechele, Florian and Mauersberger, Ralf}, title = {A Configuration Approach for IMA Systems}, booktitle = {Software Engineering and Formal Methods: 10th International Conference, SEFM 2012: Thessaloniki, Greece, October 1-5, 2012: Proceedings}, editor = {Eleftherakis, George and Hinchey, Mike and Holcombe, Mike}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-33825-0}, doi = {https://doi.org/10.1007/978-3-642-33826-7_14}, pages = {203 -- 217}, year = {2012}, language = {en} } @inproceedings{HolzerJanuzajKugeleetal.2011, author = {Holzer, Andreas and Januzaj, Visar and Kugele, Stefan and Langer, Boris and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut}, title = {Seamless Testing for Models and Code}, booktitle = {Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011: Saarbr{\"u}cken, Germany, March 26-April 3, 2011: Proceedings}, editor = {Giannakopoulou, Dimitra and Orejas, Fernando}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-19810-6}, doi = {https://doi.org/10.1007/978-3-642-19811-3_20}, pages = {278 -- 293}, year = {2011}, language = {en} } @inproceedings{HaberlKugeleBaumgarten2010, author = {Haberl, Wolfgang and Kugele, Stefan and Baumgarten, Uwe}, title = {Model-Based Generation of Fault-Tolerant Embedded Systems}, booktitle = {Proceedings of the 2010 International Conference on Embedded Systems \& Applications: ESA 2010}, editor = {Arabnia, Hamid R. and Solo, Ashu M. G.}, publisher = {CSREA Press}, isbn = {1-601-32141-4}, pages = {136 -- 142}, year = {2010}, language = {en} } @inproceedings{BucaioniDiSalleIovinoetal.2023, author = {Bucaioni, Alessio and Di Salle, Amleto and Iovino, Ludovico and Kugele, Stefan and Dajsuren, Yanja}, title = {Joint Workshop on Model-Driven Engineering for Software Architecture (MDE4SA) and International Workshop on Automotive System/Software Architectures (WASA)}, booktitle = {Proceedings: IEEE 20th International Conference on Software Architecture Companion}, publisher = {IEEE}, address = {Los Alamitos}, isbn = {978-1-6654-6459-8}, issn = {2768-4288}, doi = {https://doi.org/10.1109/ICSA-C57050.2023.00059}, pages = {246 -- 247}, year = {2023}, language = {en} } @inproceedings{PetrovskaHutzelmannKugele2023, author = {Petrovska, Ana and Hutzelmann, Thomas and Kugele, Stefan}, title = {A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications}, booktitle = {SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing}, publisher = {ACM}, address = {New York}, isbn = {978-1-4503-9517-5}, doi = {https://doi.org/10.1145/3555776.3577665}, pages = {1440 -- 1449}, year = {2023}, language = {en} } @inproceedings{KugeleGrunske2023, author = {Kugele, Stefan and Grunske, Lars}, title = {20th Workshop on Automotive Software Engineering (ASE'23)}, booktitle = {Software Engineering 2023: Fachtagung des GI-Fachbereichs Softwaretechnik}, editor = {Engels, Gregor and Hebig, Regina and Tichy, Matthias}, publisher = {Gesellschaft f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-726-5}, url = {https://dl.gi.de/items/a826d18c-1633-4dc8-8efe-e745f26e66ce}, pages = {137 -- 138}, year = {2023}, abstract = {Software-based systems play an increasingly important role and enable most innovations in modern cars. This workshop will address various topics related to automotive software development. The participants will discuss appropriate methods, techniques, and tools needed to address the most current challenges for researchers and practitioners.}, language = {en} } @inproceedings{KugeleWotawa2024, author = {Kugele, Stefan and Wotawa, Franz}, title = {21st Workshop on Automotive Software Engineering (ASE'24)}, booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik}, editor = {Rabiser, Rick and Wimmer, Manuel and Groher, Iris and Wortmann, Andreas and Wiesmayr, Bianca}, publisher = {Gesellschaft f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-737-1}, doi = {https://doi.org/10.18420/sw2024_55}, pages = {165 -- 166}, year = {2024}, language = {en} } @inproceedings{RathodCebullaKugele2023, author = {Rathod, Vishakha and Cebulla, Thomas and Kugele, Stefan}, title = {Traceability Evaluation in Requirements Engineering According to Automotive SPICE}, booktitle = {Proceedings: 31st IEEE International Requirements Engineering Conference: RE 2023}, editor = {Schneider, Kurt and Dalpiaz, Fabiano and Horkoff, Jennifer}, publisher = {IEEE}, address = {Los Alamitos}, isbn = {979-8-3503-2689-5}, issn = {2332-6441}, doi = {https://doi.org/10.1109/RE57278.2023.00030}, pages = {223 -- 232}, year = {2023}, language = {en} } @inproceedings{RamicKugele2024, author = {Ramic, Amra and Kugele, Stefan}, title = {Simulation-based Support for Semi-automated Automotive Safety Analysis}, booktitle = {2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)}, publisher = {IEEE}, address = {Piscataway}, isbn = {979-8-3503-9946-2}, doi = {https://doi.org/10.1109/ITSC57777.2023.10422688}, pages = {1787 -- 1794}, year = {2024}, language = {en} } @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} } @unpublished{OkumusRamicKugele2025, author = {Okumus, Fazli Faruk and Ramic, Amra and Kugele, Stefan}, title = {A Systematic Mapping Study on Contract-based Software Design for Dependable Systems}, publisher = {arXiv}, address = {Ithaca}, doi = {https://doi.org/10.48550/arXiv.2505.07542}, year = {2025}, abstract = {Background: Contract-based Design (CbD) is a valuable methodology for software design that allows annotation of code and architectural components with contracts, thereby enhancing clarity and reliability in software development. It establishes rules that outline the behaviour of software components and their interfaces and interactions. This modular approach enables the design process to be segmented into smaller, independently developed, tested, and verified system components, ultimately leading to more robust and dependable software. Aim: Despite the significance and well-established theoretical background of CbD, there is a need for a comprehensive systematic mapping study for reliable software systems. Our study provides an evidence-based overview of a method and demonstrates its practical feasibility. Method: To conduct this study, we systematically searched three different databases using specially formulated queries, which initially yielded 1,221 primary studies. After voting, we focused on 288 primary studies for more detailed analysis. Finally, a collaborative review allowed us to gather relevant evidence and information to address our research questions. Results: Our findings suggest potential avenues for future research trajectories in CbD, emphasising its role in improving the dependability of software systems. We highlight maturity levels across different domains and identify areas that may benefit from further research. Conclusion: Although CbD is a well-established software design approach, a more comprehensive literature review is needed to clarify its theoretical state about dependable systems. Our study addresses this gap by providing a detailed overview of CbD from various perspectives, identifying key gaps, and suggesting future research directions.}, 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} } @article{KugeleObergfellSax2021, author = {Kugele, Stefan and Obergfell, Philipp and Sax, Eric}, title = {Model-based resource analysis and synthesis of service-oriented automotive software architectures}, volume = {20}, journal = {Software and Systems Modeling}, number = {6}, publisher = {Springer}, address = {Berlin}, issn = {1619-1374}, doi = {https://doi.org/10.1007/s10270-021-00896-9}, pages = {1945 -- 1975}, year = {2021}, abstract = {Context Automotive software architectures describe distributed functionality by an interaction of software components. One drawback of today's architectures is their strong integration into the onboard communication network based on predefined dependencies at design time. The idea is to reduce this rigid integration and technological dependencies. To this end, service-oriented architecture offers a suitable methodology since network communication is dynamically established at run-time. Aim We target to provide a methodology for analysing hardware resources and synthesising automotive service-oriented architectures based on platform-independent service models. Subsequently, we focus on transforming these models into a platform-specific architecture realisation process following AUTOSAR Adaptive. Approach For the platform-independent part, we apply the concepts of design space exploration and simulation to analyse and synthesise deployment configurations, i. e., mapping services to hardware resources at an early development stage. We refine these configurations to AUTOSAR Adaptive software architecture models representing the necessary input for a subsequent implementation process for the platform-specific part. Result We present deployment configurations that are optimal for the usage of a given set of computing resources currently under consideration for our next generation of E/E architecture. We also provide simulation results that demonstrate the ability of these configurations to meet the run time requirements. Both results helped us to decide whether a particular configuration can be implemented. As a possible software toolchain for this purpose, we finally provide a prototype. Conclusion The use of models and their analysis are proper means to get there, but the quality and speed of development must also be considered.}, 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{KugeleSchreyerLamprecht2025, author = {Kugele, Stefan and Schreyer, Lorenz and Lamprecht, Martin}, title = {Cause-Effect Chain-Based Diagnosis of Automotive On-Board Energy Systems}, 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-36}, pages = {111 -- 112}, year = {2025}, abstract = {This summary refers to the paper Cause-Effect Chain-Based Diagnosis of Automotive On-Board Energy Systems [KSL24]. This paper has been published in the Proceedings of the 18th European Conference on Software Architecture, ECSA 2024 in September 2024.}, language = {en} } @inproceedings{KugeleObergfellSax2022, author = {Kugele, Stefan and Obergfell, Philipp and Sax, Eric}, title = {Model-based resource analysis and synthesis of service-oriented automotive software architectures}, booktitle = {Software Engineering 2022}, editor = {Grunske, Lars and Siegmund, J. and Vogelsang, A.}, publisher = {Gesellschaft f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-714-2}, doi = {https://doi.org/10.18420/se2022-ws-017}, pages = {55 -- 56}, year = {2022}, abstract = {This summary refers to the paper Model-based resource analysis and synthesis of serviceoriented automotive software architectures [KOS21]. This paper has been published in the Journal on Software and Systems Modeling (SoSyM) in September 2021.}, 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} }