Prof. Dr. rer. nat. Stefan Kugele

+49 841 9348-2481

Stefan.Kugele@thi.de

Room: K305

Subject Area: Model-based Systems Engineering und Software Engineering

Faculty: Fakultät I

Research

Technically challenging systems in mobility continue to grow in complexity due to developments in automated driving or flying. As a result, the amount of software and AI methods in the systems is increasing strongly, and the operating states must be monitored more comprehensively. To master this increasing complexity and meet the high demand for quality and reliability, methods of model-based system engineering and research into suitable approaches for modelling systems that contain data-based AI components are necessary. Model-based systems engineering is dedicated to these tasks at the interface between engineering sciences and computer science.

In research, we use mathematically precise methods to ensure the correctness of these systems.
We look at the interplay between humans, the environment, and the system operating within it to get a precise idea of what self-adaptive and autonomous systems are. Only then are specification, modelling, and analysis possible in a meaningful way.

Current Projects:

Vita

Since 07/2020: Research Professor for Model-based Systems Engineering and Software Engineering at THI
10/2015 – 06/2020: Temporary Academic Council, Department of Informatics, Chair of Software & Systems Engineering, Technical University of Munich
11/2006 – 09/2015: Research Assistant, Department of Informatics, Chair of Foundations of Software Reliability and Theoretical Computer Science as well as Chair of Software & Systems Engineering, Technical University of Munich
11/2006 – 11/2012: PhD at the Chair of Software & Systems Engineering, Technical University of Munich
10/2000 – 10/2006: Studies of Computer Science with minor in Electrical Engineering, Technical University of Munich

Publications

[2025] [2024] [2023] [2022] [2021] [2020] [2019] [2018] [2017] [2016] [2015] [2014] [2013] [2012] [2011] [2010] [2009] [2008]

2025

HENSS, Jörg und Stefan KUGELE, 2025. 22nd Workshop on Automotive Software Engineering. In: FEICHTINGER, Kevin, Lisa SONNLEITHNER und Hamideh HAJIABADI, Editors Software Engineering 2025 – Companion Proceedings. Bonn: Gesellschaft für Informatik, Page 23-24. Available at: https://doi.org/10.18420/se2025-ws-02

OKUMUS, Fazli Faruk, Amra RAMIC und Stefan KUGELE, 2025. A Systematic Mapping Study on Contract-based Software Design for Dependable Systems [Preprint]. arXiv. Available at: https://doi.org/10.48550/arXiv.2505.07542

RAMIC, Amra und Stefan KUGELE, 2025. A Systematic Mapping Study on Software Architecture for AI-based Mobility Systems [Preprint]. arXiv. Available at: https://doi.org/10.48550/arXiv.2506.01595

COSTA DE ARAUJO, João Paulo, Balahari Vignesh BALU, Eik REICHMANN, Jessica KELLY, Stefan KUGELE, Núria MATA und Lars GRUNSKE, 2025. Applying Concept-Based Models for Enhanced Safety Argumentation – Summary. In: KOZIOLEK, Anne, Anna-Lena LAMPRECHT, Thomas THÜM und Erik BURGER, Editors Software Engineering 2025: Proceedings. Bonn: Gesellschaft für Informatik, Page 65-66. Available at: https://doi.org/10.18420/se2025-18

KUGELE, Stefan, Lorenz SCHREYER und Martin LAMPRECHT, 2025. Cause-Effect Chain-Based Diagnosis of Automotive On-Board Energy Systems. In: KOZIOLEK, Anne, Anna-Lena LAMPRECHT, Thomas THÜM und Erik BURGER, Editors Software Engineering 2025: Proceedings. Bonn: Gesellschaft für Informatik, Page 111-112. Available at: https://doi.org/10.18420/se2025-36

PETROVSKA, Ana, Guan ERJIAGE und Stefan KUGELE, 2025. Defining Self-adaptive Systems: A Systematic Literature Review [Preprint]. arXiv. Available at: https://doi.org/10.48550/arXiv.2505.17798

OKUMUS, Fazli Faruk, João-Vitor ZACCHI, Maike SALFELD, Markus SCHWEIZER, Núria MATA und Stefan KUGELE, 2025. Runtime Monitor Synthesis for Automotive Software Architectures. In: ANDRIKOPOULOS, Vasilios, Cesare PAUTASSO, Nour ALI, Jacopo SOLDANI und Xiwei XU, Editors Software Architecture: 19th European Conference, ECSA 2025, Limassol, Cyprus, September 15–19, 2025, Proceedings. Cham: Springer, Page 161-177. ISBN 978-3-032-02138-0. Available at: https://doi.org/10.1007/978-3-032-02138-0_11

2024

KUGELE, Stefan und Franz WOTAWA, 2024. 21st Workshop on Automotive Software Engineering (ASE’24). In: RABISER, Rick, Manuel WIMMER, Iris GROHER, Andreas WORTMANN und Bianca WIESMAYR, Editors Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik. Bonn: Gesellschaft für Informatik, Page 165-166. ISBN 978-3-88579-737-1. Available at: https://doi.org/10.18420/sw2024_55

COSTA DE ARAUJO, João Paulo, Balahari Vignesh BALU, Eik REICHMANN, Jessica KELLY, Stefan KUGELE, Núria MATA und Lars GRUNSKE, 2024. Applying Concept-Based Models for Enhanced Safety Argumentation. Proceedings: 2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE 2024). Los Alamitos: IEEE, Page 272-283. ISBN 979-8-3503-5388-4. Available at: https://doi.org/10.1109/ISSRE62328.2024.00034

KUGELE, Stefan, Lorenz SCHREYER und Martin LAMPRECHT, 2024. Cause-Effect Chain-Based Diagnosis of Automotive Onboard Energy Systems. In: GALSTER, Matthias, Patrizia SCANDURRA, Tommi MIKKONEN, Pablo Oliveira ANTONINO, Elisa Yumi NAKAGAWA und Elena NAVARRO, Editors Software Architecture: 18th European Conference, ECSA 2024 Luxembourg City, Luxembourg, September 3–6, 2024 Proceedings. Cham: Springer, Page 105-120. ISBN 978-3-031-70797-1. Available at: https://doi.org/10.1007/978-3-031-70797-1_7

RAMIC, Amra und Stefan KUGELE, 2024. Simulation-based Support for Semi-automated Automotive Safety Analysis. 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC). Piscataway: IEEE, Page 1787-1794. ISBN 979-8-3503-9946-2. Available at: https://doi.org/10.1109/ITSC57777.2023.10422688

2023

KUGELE, Stefan und Lars GRUNSKE, 2023. 20th Workshop on Automotive Software Engineering (ASE’23). In: ENGELS, Gregor, Regina HEBIG und Matthias TICHY, Editors Software Engineering 2023: Fachtagung des GI-Fachbereichs Softwaretechnik. Bonn: Gesellschaft für Informatik, Page 137-138. ISBN 978-3-88579-726-5. Available at: https://dl.gi.de/items/a826d18c-1633-4dc8-8efe-e745f26e66ce

PETROVSKA, Ana, Thomas HUTZELMANN und Stefan KUGELE, 2023. A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications. SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. New York: ACM, Page 1440-1449. ISBN 978-1-4503-9517-5. Available at: https://doi.org/10.1145/3555776.3577665

BUCAIONI, Alessio, Amleto DI SALLE, Ludovico IOVINO, Stefan KUGELE und Yanja DAJSUREN, 2023. Joint Workshop on Model-Driven Engineering for Software Architecture (MDE4SA) and International Workshop on Automotive System/Software Architectures (WASA). Proceedings: IEEE 20th International Conference on Software Architecture Companion. Los Alamitos: IEEE, Page 246-247. ISBN 978-1-6654-6459-8. Available at: https://doi.org/10.1109/ICSA-C57050.2023.00059

RATHOD, Vishakha, Thomas CEBULLA und Stefan KUGELE, 2023. Traceability Evaluation in Requirements Engineering According to Automotive SPICE. In: SCHNEIDER, Kurt, Fabiano DALPIAZ und Jennifer HORKOFF, Editors Proceedings: 31st IEEE International Requirements Engineering Conference: RE 2023. Los Alamitos: IEEE, Page 223-232. ISBN 979-8-3503-2689-5. Available at: https://doi.org/10.1109/RE57278.2023.00030

2022

KUGELE, Stefan und Manfred BROY, 2022. Architecture as a Backbone for Safe DevOps in Automotive Systems. 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC). Piscataway: IEEE, Page 4145-4150. ISBN 978-1-6654-6880-0. Available at: https://doi.org/10.1109/ITSC55140.2022.9922097

PETROVSKA, Ana, Stefan KUGELE, Thomas HUTZELMANN, Theo BEFFART, Sebastian BERGEMANN und Alexander PRETSCHNER, 2022. Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber–physical systems. Information and Software Technology, 2022(147), 106866. ISSN 0950-5849. Available at: https://doi.org/10.1016/j.infsof.2022.106866

KUGELE, Stefan, Philipp OBERGFELL und Eric SAX, 2022. Model-based resource analysis and synthesis of service-oriented automotive software architectures. In: GRUNSKE, Lars, J. SIEGMUND und A. VOGELSANG, Editors Software Engineering 2022. Bonn: Gesellschaft für Informatik, Page 55-56. ISBN 978-3-88579-714-2. Available at: https://doi.org/10.18420/se2022-ws-017

2021

KUGELE, Stefan, Darko DURISIC, Yanja DAJSUREN und Miroslaw STARON, 2021. 7th International Workshop on Automotive System/Software Architecture (WASA 2021). Proceedings : IEEE 18th International Conference on Software Architecture Companion (ICSA-C 2021). Los Alamitos: IEEE, Page 138-0. ISBN 978-1-6654-3910-7. Available at: https://doi.org/10.1109/ICSA-C52384.2021.00035

CEBOTARI, Vadim und Stefan KUGELE, 2021. Playground for Early Automotive Service Architecture Design and Evaluation. 2020 IEEE Intelligent Vehicles Symposium (IV). Piscataway: IEEE, Page 1349-1356. ISBN 978-1-7281-6673-5. Available at: https://doi.org/10.1109/IV47402.2020.9304633

KUGELE, Stefan, Ana PETROVSKA und Ilias GEROSTATHOPOULOS, 2021. Towards a Taxonomy of Autonomous Systems. In: BIFFL, Stefan, Elena NAVARRO, Welf LÖWE, Marjan SIRJANI, Raffaela MIRANDOLA und Danny WEYNS, Editors Software Architecture: 15th European Conference, ECSA 2021; Virtual Event, Sweden, September 13–17, 2021: Proceedings. Cham: Springer, Page 37-45. ISBN 978-3-030-86044-8. Available at: https://doi.org/10.1007/978-3-030-86044-8_3

2020

KUGELE, Stefan, Christoph SEGLER und Thomas HUBREGTSEN, 2020. Architectural Patterns for Cross-Domain Personalised Automotive Functions. Proceedings: IEEE 17th International Conference on Software Architecture (ICSA 2020). Los Alamitos: IEEE, Page 191-201. ISBN 978-1-7281-4659-1. Available at: https://doi.org/10.1109/ICSA47634.2020.00026

2019

SEGLER, Christoph, Stefan KUGELE, Philipp OBERGFELL, Mohd Hafeez OSMAN, Sina SHAFAEI, Eric SAX und Alois KNOLL, 2019. Anomaly Detection for Advanced Driver Assistance Systems Using Online Feature Selection. 2019 IEEE Intelligent Vehicles Symposium (IV). Piscataway: IEEE, Page 578-585. ISBN 978-1-7281-0560-4. Available at: https://doi.org/10.1109/IVS.2019.8814175

GLEIRSCHER, Mario und Stefan KUGELE, 2019. Assurance of System Safety: A Survey of Design and Argument Patterns [Preprint]. arXiv. Available at: https://doi.org/10.48550/arXiv.1902.05537

GEROSTATHOPOULOS, Ilias, Stefan KUGELE, Christoph SEGLER, Tomáš BUREŠ und Alois KNOLL, 2019. Automated Trainability Evaluation for Smart Software Functions. Proceedings: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019). Los Alamitos: IEEE, Page 998-1001. ISBN 978-1-7281-2508-4. Available at: https://doi.org/10.1109/ASE.2019.00096

SEGLER, Christoph, Stefan KUGELE und Alois KNOLL, 2019. Context Discovery for Personalised Automotive Functions. The 2019 IEEE Intelligent Transportation Systems Conference - ITSC. Piscataway: IEEE, Page 2470-2476. ISBN 978-1-5386-7024-8. Available at: https://doi.org/10.1109/ITSC.2019.8917161

OBERGFELL, Philipp, Stefan KUGELE, Christoph SEGLER, Alois KNOLL und Eric SAX, 2019. Continuous Software Engineering of Innovative Automotive Functions: an Industrial Perspective. Proceedings: 2019 IEEE International Conference on Software Architecture Companion, ICSA-C 2019. Piscataway: IEEE, Page 127-128. ISBN 978-1-7281-1876-5. Available at: https://doi.org/10.1109/ICSA-C.2019.00030

SEGLER, Christoph, Stefan KUGELE, Philipp OBERGFELL, Mohd Hafeez OSMAN, Sina SHAFAEI, Eric SAX und Alois KNOLL, 2019. Evaluation of feature selection for anomaly detection in automotive E/E architectures. Proceedings: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings: ICSE-Companion 2019. Piscataway: IEEE, Page 260-261. ISBN 978-1-7281-1764-5. Available at: https://doi.org/10.1109/ICSE-Companion.2019.00104

NAIR, Saasha, Sina SHAFAEI, Stefan KUGELE, Mohd Hafeez OSMAN und Alois KNOLL, 2019. Monitoring Safety of Autonomous Vehicles with Crash Prediction Network. In: ESPINOZA, Huáscar, Seán Ó HÉIGEARTAIGH, Xiaowei HUANG, José HERNÁNDEZ-ORALLO und Mauricio CASTILLO-EFFEN, Editors Proceedings of the AAAI Workshop on Artificial Intelligence Safety 2019, co-located with the Thirty-Third AAAI Conference on Artificial Intelligence 2019 (AAAI 2019). Aachen: RWTH Aachen. Available at: https://ceur-ws.org/Vol-2301/

CEBOTARI, Vadim und Stefan KUGELE, 2019. On the Nature of Automotive Service Architectures. Proceedings: 2019 IEEE International Conference on Software Architecture Companion, ICSA-C 2019. Piscataway: IEEE, Page 53-60. ISBN 978-1-7281-1876-5. Available at: https://doi.org/10.1109/ICSA-C.2019.00017

JANUZAJ, Visar und Stefan KUGELE, 2019. On the Structure of Avionics Systems Architecture. In: FONSECA I CASAS, Pau, Maria-Ribera SANCHO und Edel SHERRATT, Editors System Analysis and Modeling: Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019 Proceedings. Cham: Springer, Page 139-149. ISBN 978-3-030-30690-8. Available at: https://doi.org/10.1007/978-3-030-30690-8_8

OSMAN, Mohd Hafeez, Stefan KUGELE und Sina SHAFAEI, 2019. Run-Time Safety Monitoring Framework for AI-Based Systems: Automated Driving Cases. Proceedings: 2019 26th Asia-Pacific Software Engineering Conference, APSEC 2019. Piscataway: IEEE, Page 442-449. ISBN 978-1-7281-4648-5. Available at: https://doi.org/10.1109/APSEC48747.2019.00066

2018

SHAFAEI, Sina, Fabian MÜLLER, Tim SALZMANN, Morteza HASHEMI FARZANEH, Stefan KUGELE und Alois KNOLL, 2018. Context Prediction Architectures in Next Generation of Intelligent Cars. 2018 IEEE Intelligent Transportation Systems Conference. Piscataway: IEEE, Page 2923-2930. ISBN 978-1-7281-0323-5. Available at: https://doi.org/10.1109/ITSC.2018.8569617

KUGELE, Stefan, David HETTLER und Jan PETER, 2018. Data-Centric Communication and Containerization for Future Automotive Software Architectures. Proceedings: 2018 IEEE 15th International Conference on Software Architecture: ICSA 2018. Piscataway: IEEE, Page 65-74. ISBN 978-1-5386-6398-1. Available at: https://doi.org/10.1109/ICSA.2018.00016

KUGELE, Stefan, David HETTLER und Sina SHAFAEI, 2018. Elastic Service Provision for Intelligent Vehicle Functions. 2018 IEEE Intelligent Transportation Systems Conference. Piscataway: IEEE, Page 3183-3190. ISBN 978-1-7281-0323-5. Available at: https://doi.org/10.1109/ITSC.2018.8569374

GLEIRSCHER, Mario, Stefan KUGELE und Sven LINKER, 2018. SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles. ACM SIGSOFT Software Engineering Notes, 43(4), 45-47. ISSN 0163-5948. Available at: https://doi.org/10.1145/3282517.3302402

GLEIRSCHER, Mario, Sven LINKER und Stefan KUGELE, 2018. SCAV’18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles [Preprint]. arXiv. Available at: https://doi.org/10.48550/arXiv.1811.01774

SHAFAEI, Sina, Stefan KUGELE, Mohd Hafeez OSMAN und Alois KNOLL, 2018. Uncertainty in Machine Learning: A Safety Perspective on Autonomous Driving. In: GALLINA, Barbara, Amund SKAVHAUG, Erwin SCHOITSCH und Friedemann BITSCH, Editors Computer Safety, Reliability, and Security. Cham: Springer, Page 458-464. ISBN 978-3-319-99228-0. Available at: https://doi.org/10.1007/978-3-319-99229-7_39

2017

HASHEMI FARZANEH, Morteza, Stefan KUGELE und Alois KNOLL, 2017. A graphical modeling tool supporting automated schedule synthesis for time-sensitive networking. 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation. Piscataway: IEEE. ISBN 978-1-5090-6505-9. Available at: https://doi.org/10.1109/ETFA.2017.8247599

GLEIRSCHER, Mario und Stefan KUGELE, 2017. Defining Risk States in Autonomous Road Vehicles. Proceedings: IEEE 18th International Symposium on High Assurance Systems Engineering (HASE 2017). Los Alamitos: IEEE, Page 112-115. ISBN 978-1-5090-4636-2. Available at: https://doi.org/10.1109/HASE.2017.14

GLEIRSCHER, Mario und Stefan KUGELE, 2017. From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case. In: BARRETT, Clark, Misty DAVIES und Temesghen KAHSAI, Editors NASA Formal Methods: 9th International Symposium, NFM 2017: Moffett Field, CA, USA, May 16-18, 2017: Proceedings. Cham: Springer, Page 310-326. ISBN 978-3-319-57288-8. Available at: https://doi.org/10.1007/978-3-319-57288-8_23

KUGELE, Stefan, Philipp OBERGFELL, Manfred BROY, Oliver CREIGHTON, Matthias TRAUB und Wolfgang HOPFENSITZ, 2017. On Service-Orientation for Automotive Software. Proceedings: 2017 IEEE International Conference on Software Architecture (ICSA 2017). Los Alamitos: IEEE, Page 193-202. ISBN 978-1-5090-5729-0. Available at: https://doi.org/10.1109/ICSA.2017.20

KUGELE, Stefan, Vadim CEBOTARI, Mario GLEIRSCHER, Morteza HASHEMI FARZANEH, Christoph SEGLER, Sina SHAFAEI, Hans-Jörg VÖGEL, Fridolin BAUER, Alois KNOLL, Diego MARMSOLER und Hans-Ulrich MICHEL, 2017. Research Challenges for a Future-Proof E/E Architecture: A Project Statement. In: EIBL, Maximilian und Martin GAEDKE, Editors INFORMATIK 2017. Bonn: Gesellschaft für Informatik, Page 1463-1474. ISBN 978-3-88579-669-5. Available at: https://doi.org/10.18420/in2017_146

GLEIRSCHER, Mario, Stefan KUGELE und Jonathan SPRINKLE, 2017. Safe Control of Autonomous & Connected Vehicles (SCAV'17): Report from the 1st International Workshop at CPSWeek 2017. ACM SIGSOFT Software Engineering Notes, 42(3), 22-23. ISSN 0163-5948. Available at: https://doi.org/10.1145/3127360.3127373

2016

ALBERS, Karsten, Matthias BÜKER, Laurent DIEUDONNÉ, Robert HILBRICH, Georgeta IGNA, Stefan KUGELE, Thomas KUHN, Maike ROSINGER und Raphael WEBER, 2016. Optimal Deployment. In: POHL, Klaus, Manfred BROY, Heinrich DAEMBKES und Harald HÖNNINGER, Editors Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology. Cham: Springer, Page 145-168. ISBN 978-3-319-48003-9. Available at: https://doi.org/10.1007/978-3-319-48003-9_9

KUGELE, Stefan, Diego MARMSOLER, Núria MATA und Kai WERTHER, 2016. Verification of component architectures using mode-based contracts. 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). Piscataway: IEEE, Page 133-142. ISBN 978-1-5090-2791-0. Available at: https://doi.org/10.1109/MEMCOD.2016.7797758

KUGELE, Stefan und Daniel ANTKOWIAK, 2016. Visualization of Trace Links and Change Impact Analysis. Proceedings: 2016 IEEE 24th International Requirements Engineering Conference Workshops. Los Alamitos: IEEE, Page 165-169. ISBN 978-1-5090-3694-3. Available at: https://doi.org/10.1109/REW.2016.039

2015

KUGELE, Stefan, Gheorghe PUCEA, Ramona POPA, Laurent DIEUDONNÉ und Horst ECKARDT, 2015. On the deployment problem of embedded systems. 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE). Piscataway: IEEE, Page 158-167. ISBN 978-1-5090-0237-5. Available at: https://doi.org/10.1109/MEMCOD.2015.7340482

PREHOFER, Christian, Konstantin SCHORP, Stefan KUGELE, Daniel CLARKE und Markus DUCHON, 2015. Towards a 3-tier architecture for connected vehicles. 2014 International Conference on Connected Vehicles and Expo (ICCVE): Proceedings. Piscataway: IEEE, Page 679-680. ISBN 978-1-4799-6729-2. Available at: https://doi.org/10.1109/ICCVE.2014.7297634

2014

KUGELE, Stefan und Gheorghe PUCEA, 2014. Model-based optimization of automotive E/E-architectures. CSTVA 2014: Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis. New York: ACM, Page 18-29. ISBN 978-1-4503-2847-0. Available at: https://doi.org/10.1145/2593735.2593739

2013

GULDEN, Markus und Stefan KUGELE, 2013. A concept for generating simplified RESTful interfaces. WWW '13 Companion: Proceedings of the 22nd International Conference on World Wide Web. New York: ACM, Page 1391-1398. ISBN 978-1-4503-2038-2. Available at: https://doi.org/10.1145/2487788.2488181

2012

JANUZAJ, Visar, Stefan KUGELE, Florian BIECHELE und Ralf MAUERSBERGER, 2012. A Configuration Approach for IMA Systems. In: ELEFTHERAKIS, George, Mike HINCHEY und Mike HOLCOMBE, Editors Software Engineering and Formal Methods: 10th International Conference, SEFM 2012: Thessaloniki, Greece, October 1-5, 2012: Proceedings. Berlin: Springer, Page 203-217. ISBN 978-3-642-33825-0. Available at: https://doi.org/10.1007/978-3-642-33826-7_14

2011

HOLZER, Andreas, Visar JANUZAJ, Stefan KUGELE, Boris LANGER, Christian SCHALLHART, Michael TAUTSCHNIG und Helmut VEITH, 2011. Seamless Testing for Models and Code. In: GIANNAKOPOULOU, Dimitra und Fernando OREJAS, Editors 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ücken, Germany, March 26-April 3, 2011: Proceedings. Berlin: Springer, Page 278-293. ISBN 978-3-642-19810-6. Available at: https://doi.org/10.1007/978-3-642-19811-3_20

2010

HABERL, Wolfgang, Stefan KUGELE und Uwe BAUMGARTEN, 2010. Model-Based Generation of Fault-Tolerant Embedded Systems. In: ARABNIA, Hamid R. und Ashu M. G. SOLO, Editors Proceedings of the 2010 International Conference on Embedded Systems & Applications: ESA 2010 CSREA Press, Page 136-142. ISBN 1-601-32141-4.

JANUZAJ, Visar, Stefan KUGELE, Boris LANGER, Christian SCHALLHART und Helmut VEITH, 2010. New Challenges in the Development of Critical Embedded Systems: An "aeromotive" Perspective. In: MARGARIA, Tiziana und Bernhard STEFFEN, Editors 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. Berlin: Springer, Page 1-2. ISBN 978-3-642-16558-0. Available at: https://doi.org/10.1007/978-3-642-16558-0_1

HABERL, Wolfgang, Markus HERRMANNSDOERFER, Stefan KUGELE, Michael TAUTSCHNIG und Martin WECHS, 2010. Seamless Model-Driven Development Put into Practice. In: MARGARIA, Tiziana und Bernhard STEFFEN, Editors 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. Berlin: Springer, Page 18-32. ISBN 978-3-642-16558-0. Available at: https://doi.org/10.1007/978-3-642-16558-0_4

HOLZER, Andreas, Visar JANUZAJ, Stefan KUGELE und Michael TAUTSCHNIG, 2010. Timely Time Estimates. In: MARGARIA, Tiziana und Bernhard STEFFEN, Editors 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. Berlin: Springer, Page 33-46. ISBN 978-3-642-16558-0. Available at: https://doi.org/10.1007/978-3-642-16558-0_5

2009

HABERL, Wolfgang, Stefan KUGELE und Uwe BAUMGARTEN, 2009. Reliable operating modes for distributed embedded systems. Proceedings of the 2009 31st International Conference on Software Engineering and ICSE Workshops. Piscataway: IEEE, Page 11-21. ISBN 978-1-4244-3721-4. Available at: https://doi.org/10.1109/MOMPES.2009.5069133

HOLZER, Andreas, Visar JANUZAJ und Stefan KUGELE, 2009. Towards Resource Consumption-Aware Programming. In: BONESS, Kenneth, João M. FERNANDES, Jon G. HALL, Ricardo JORGE MACHADO und Roy OBERHAUSER, Editors Proceedings: The Fourth International Conference on Software Engineering Advances: ICSEA 2009. Los Alamitos: IEEE, Page 490-493. ISBN 978-1-4244-4779-4. Available at: https://doi.org/10.1109/ICSEA.2009.77

2008

WANG, Zhonglei, Wolfgang HABERL, Stefan KUGELE und Michael TAUTSCHNIG, 2008. Automatic generation of SystemC models from component-based designs for early design validation and performance analysis. WOSP'08: Proceedings of the Seventh International Workshop on Software and Performance. New York: ACM, Page 139-143. ISBN 978-1-59593-873-2. Available at: https://doi.org/10.1145/1383559.1383577

KUGELE, Stefan und Wolfgang HABERL, 2008. Mapping Data-Flow Dependencies onto Distributed Embedded Systems. In: ARABNIA, Hamid R. und Hassan REZA, Editors Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes CSREA Press, Page 272-278. ISBN 1-60132-088-4.

KUGELE, Stefan, Wolfgang HABERL, Michael TAUTSCHNIG und Martin WECHS, 2008. Optimizing Automatic Deployment Using Non-functional Requirement Annotations. In: MARGARIA, Tiziana und Bernhard STEFFEN, Editors Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008: Proceedings. Berlin: Springer, Page 400-414. ISBN 978-3-540-88479-8. Available at: https://doi.org/10.1007/978-3-540-88479-8_28