Prof. Dr. rer. nat. Stefan Kugele

Raum: K305
Lehrgebiet: Model-based Systems Engineering und Software Engineering
Fakultät: Fakultät I

Forschung

Die technisch anspruchsvollen Systeme in der Mobilität gewinnen durch die Entwicklungen zum automatisierten Fahren oder Fliegen weiter an Komplexität. Dies führt dazu, dass der Umfang an Software und KI-Verfahren in den Systemen stark zunimmt und die Betriebszustände umfassender überwacht werden müssen. Um diese steigende Komplexität zu beherrschen und dem sehr hohen Anspruch an Qualität und Zuverlässigkeit gerecht zu werden, sind Methoden des Model-based System Engineering und die Erforschung geeigneter Verfahren zur Modellierung von Systemen, die datenbasierte KI-Komponenten enthalten, notwendig. Diesen Aufgaben an der Schnittstelle zwischen den Ingenieurwissenschaften und der Informatik widmet sich das Model-based Systems Engineering.

  • In der Forschung verwenden wir mathematisch präzise Verfahren, um die Korrektheit dieser Systeme sicherzustellen.
  • Wir betrachten das Zusammenspiel aus Mensch, Umwelt und dem darin operierenden System, um eine präzise Idee zu bekommen, was selbst-adaptive und autonome Systeme überhaupt sind. Erst dann sind die Spezifikation, Modellierung und Analyse sinnvoll möglich.

 

Laufende Forschungsprojekte:

Vita

  • Seit 07/2020: Forschungsprofessor für Model-based Systems Engineering und Software Engineering an der THI
  • 10/2015 - 06/2020: Akademischer Rat auf Zeit, Institut für Informatik, Lehrstuhl für Software & Systems Engineering, Technische Universität München
  • 11/2006 - 09/2015: Wissenschaftlicher Mitarbeiter, Institut für Informatik, Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und Theoretische Informatik sowie Lehrstuhl für Software & Systems Engineering, Technische Universität München
  • 11/2006 - 11/2012: Promotion am Lehrstuhl für Software & Systems Engineering, Technische Universität München
  • 10/2000 - 10/2006: Studium der Informatik mit Nebenfach Elektrotechnik, Technische Universität München

Publikationen

2024
KUGELE, Stefan, Franz WOTAWA, Rick RABISER, Manuel WIMMER, Iris GROHER, Andreas WORTMANN und Bianca WIESMAYR, 2024. 21st Workshop on Automotive Software Engineering (ASE’24). In: RABISER, Rick , Manuel WIMMER , Iris GROHER , Andreas WORTMANN und Bianca WIESMAYR , Hrsg. Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik. Bonn: Gesellschaft für Informatik, S. 165-166. ISBN 978-3-88579-737-1. Verfügbar unter: 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. In: Proceedings: 2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE 2024). Los Alamitos: IEEE, S. 272-283. ISBN 979-8-3503-5388-4. Verfügbar unter: https://doi.org/10.1109/ISSRE62328.2024.00034
KUGELE, Stefan, Lorenz SCHREYER, Martin LAMPRECHT, Matthias GALSTER, Patrizia SCANDURRA, Tommi MIKKONEN, Pablo Oliveira ANTONINO, Elisa Yumi NAKAGAWA und Elena NAVARRO, 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 , Hrsg. Software Architecture: 18th European Conference, ECSA 2024 Luxembourg City, Luxembourg, September 3–6, 2024 Proceedings. Cham: Springer, S. 105-120. ISBN 978-3-031-70797-1. Verfügbar unter: 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. In: 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC). Piscataway: IEEE, S. 1787-1794. ISBN 979-8-3503-9946-2. Verfügbar unter: https://doi.org/10.1109/ITSC57777.2023.10422688
2023
KUGELE, Stefan, Lars GRUNSKE, Gregor ENGELS, Regina HEBIG und Matthias TICHY, 2023. 20th Workshop on Automotive Software Engineering (ASE’23). In: ENGELS, Gregor , Regina HEBIG und Matthias TICHY , Hrsg. Software Engineering 2023: Fachtagung des GI-Fachbereichs Softwaretechnik. Bonn: Gesellschaft für Informatik, S. 137-138. ISBN 978-3-88579-726-5. Verfügbar unter: 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. In: SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. New York: ACM, S. 1440-1449. ISBN 978-1-4503-9517-5. Verfügbar unter: 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). In: Proceedings: IEEE 20th International Conference on Software Architecture Companion. Los Alamitos: IEEE, S. 246-247. ISBN 978-1-6654-6459-8. Verfügbar unter: https://doi.org/10.1109/ICSA-C57050.2023.00059
RATHOD, Vishakha, Thomas CEBULLA, Stefan KUGELE, Kurt SCHNEIDER, Fabiano DALPIAZ und Jennifer HORKOFF, 2023. Traceability Evaluation in Requirements Engineering According to Automotive SPICE. In: SCHNEIDER, Kurt , Fabiano DALPIAZ und Jennifer HORKOFF , Hrsg. Proceedings: 31st IEEE International Requirements Engineering Conference: RE 2023. Los Alamitos: IEEE, S. 223-232. ISBN 979-8-3503-2689-5. Verfügbar unter: 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. In: 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC). Piscataway: IEEE, S. 4145-4150. ISBN 978-1-6654-6880-0. Verfügbar unter: 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. Verfügbar unter: https://doi.org/10.1016/j.infsof.2022.106866
KUGELE, Stefan, Philipp OBERGFELL, Eric SAX, Lars GRUNSKE, J. SIEGMUND und A. VOGELSANG, 2022. Model-based resource analysis and synthesis of service-oriented automotive software architectures. In: GRUNSKE, Lars , J. SIEGMUND und A. VOGELSANG , Hrsg. Software Engineering 2022. Bonn: Gesellschaft für Informatik e.V., S. 55-56. ISBN 978-3-88579-714-2. Verfügbar unter: 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). In: Proceedings : IEEE 18th International Conference on Software Architecture Companion (ICSA-C 2021). Los Alamitos: IEEE, S. 138-0. ISBN 978-1-6654-3910-7. Verfügbar unter: https://doi.org/10.1109/ICSA-C52384.2021.00035
CEBOTARI, Vadim und Stefan KUGELE, 2021. Playground for Early Automotive Service Architecture Design and Evaluation. In: 2020 IEEE Intelligent Vehicles Symposium (IV). Piscataway: IEEE, S. 1349-1356. ISBN 978-1-7281-6673-5. Verfügbar unter: https://doi.org/10.1109/IV47402.2020.9304633
KUGELE, Stefan, Ana PETROVSKA, Ilias GEROSTATHOPOULOS, Stefan BIFFL, Elena NAVARRO, Welf LÖWE, Marjan SIRJANI, Raffaela MIRANDOLA und Danny WEYNS, 2021. Towards a Taxonomy of Autonomous Systems. In: BIFFL, Stefan , Elena NAVARRO , Welf LÖWE , Marjan SIRJANI , Raffaela MIRANDOLA und Danny WEYNS , Hrsg. Software Architecture: 15th European Conference, ECSA 2021; Virtual Event, Sweden, September 13–17, 2021: Proceedings. Cham: Springer, S. 37-45. ISBN 978-3-030-86044-8. Verfügbar unter: 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. In: Proceedings: IEEE 17th International Conference on Software Architecture (ICSA 2020). Los Alamitos: IEEE, S. 191-201. ISBN 978-1-7281-4659-1. Verfügbar unter: 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. In: 2019 IEEE Intelligent Vehicles Symposium (IV). Piscataway: IEEE, S. 578-585. ISBN 978-1-7281-0560-4. Verfügbar unter: https://doi.org/10.1109/IVS.2019.8814175
GEROSTATHOPOULOS, Ilias, Stefan KUGELE, Christoph SEGLER, Tomáš BUREŠ und Alois KNOLL, 2019. Automated Trainability Evaluation for Smart Software Functions. In: Proceedings: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019). Los Alamitos: IEEE, S. 998-1001. ISBN 978-1-7281-2508-4. Verfügbar unter: https://doi.org/10.1109/ASE.2019.00096
SEGLER, Christoph, Stefan KUGELE und Alois KNOLL, 2019. Context Discovery for Personalised Automotive Functions. In: The 2019 IEEE Intelligent Transportation Systems Conference - ITSC. Piscataway: IEEE, S. 2470-2476. ISBN 978-1-5386-7024-8. Verfügbar unter: 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. In: Proceedings: 2019 IEEE International Conference on Software Architecture Companion, ICSA-C 2019. Piscataway: IEEE, S. 127-128. ISBN 978-1-7281-1876-5. Verfügbar unter: 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. In: Proceedings: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings: ICSE-Companion 2019. Piscataway: IEEE, S. 260-261. ISBN 978-1-7281-1764-5. Verfügbar unter: 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: CEUR Workshop Proceedings. Aachen: RWTH Aachen. Verfügbar unter: https://ceur-ws.org/Vol-2301/paper_12.pdf
CEBOTARI, Vadim und Stefan KUGELE, 2019. On the Nature of Automotive Service Architectures. In: Proceedings: 2019 IEEE International Conference on Software Architecture Companion, ICSA-C 2019. Piscataway: IEEE, S. 53-60. ISBN 978-1-7281-1876-5. Verfügbar unter: https://doi.org/10.1109/ICSA-C.2019.00017
JANUZAJ, Visar, Stefan KUGELE, Pau FONSECA I CASAS, Maria-Ribera SANCHO und Edel SHERRATT, 2019. On the Structure of Avionics Systems Architecture. In: FONSECA I CASAS, Pau , Maria-Ribera SANCHO und Edel SHERRATT , Hrsg. System Analysis and Modeling: Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019 Proceedings. Cham: Springer, S. 139-149. ISBN 978-3-030-30690-8. Verfügbar unter: 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. In: Proceedings: 2019 26th Asia-Pacific Software Engineering Conference, APSEC 2019. Piscataway: IEEE, S. 442-449. ISBN 978-1-7281-4648-5. Verfügbar unter: 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. In: 2018 IEEE Intelligent Transportation Systems Conference. Piscataway: IEEE, S. 2923-2930. ISBN 978-1-7281-0323-5. Verfügbar unter: 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. In: Proceedings: 2018 IEEE 15th International Conference on Software Architecture: ICSA 2018. Piscataway: IEEE, S. 65-74. ISBN 978-1-5386-6398-1. Verfügbar unter: https://doi.org/10.1109/ICSA.2018.00016
KUGELE, Stefan, David HETTLER und Sina SHAFAEI, 2018. Elastic Service Provision for Intelligent Vehicle Functions. In: 2018 IEEE Intelligent Transportation Systems Conference. Piscataway: IEEE, S. 3183-3190. ISBN 978-1-7281-0323-5. Verfügbar unter: 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. Verfügbar unter: https://doi.org/10.1145/3282517.3302402
SHAFAEI, Sina, Stefan KUGELE, Mohd Hafeez OSMAN, Alois KNOLL, Barbara GALLINA, Amund SKAVHAUG, Erwin SCHOITSCH und Friedemann BITSCH, 2018. Uncertainty in Machine Learning: A Safety Perspective on Autonomous Driving. In: GALLINA, Barbara , Amund SKAVHAUG , Erwin SCHOITSCH und Friedemann BITSCH , Hrsg. Computer Safety, Reliability, and Security. Cham: Springer, S. 458-464. ISBN 978-3-319-99228-0. Verfügbar unter: 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. In: 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation. Piscataway: IEEE. ISBN 978-1-5090-6505-9. Verfügbar unter: https://doi.org/10.1109/ETFA.2017.8247599
GLEIRSCHER, Mario und Stefan KUGELE, 2017. Defining Risk States in Autonomous Road Vehicles. In: Proceedings: IEEE 18th International Symposium on High Assurance Systems Engineering (HASE 2017). Los Alamitos: IEEE, S. 112-115. ISBN 978-1-5090-4636-2. Verfügbar unter: https://doi.org/10.1109/HASE.2017.14
GLEIRSCHER, Mario, Stefan KUGELE, Clark BARRETT, Misty DAVIES und Temesghen KAHSAI, 2017. From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case. In: BARRETT, Clark , Misty DAVIES und Temesghen KAHSAI , Hrsg. NASA Formal Methods: 9th International Symposium, NFM 2017: Moffett Field, CA, USA, May 16-18, 2017: Proceedings. Cham: Springer, S. 310-326. ISBN 978-3-319-57288-8. Verfügbar unter: 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. In: Proceedings: 2017 IEEE International Conference on Software Architecture (ICSA 2017). Los Alamitos: IEEE, S. 193-202. ISBN 978-1-5090-5729-0. Verfügbar unter: 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, Hans-Ulrich MICHEL, Maximilian EIBL und Martin GAEDKE, 2017. Research Challenges for a Future-Proof E/E Architecture: A Project Statement. In: EIBL, Maximilian und Martin GAEDKE , Hrsg. INFORMATIK 2017. Bonn: Gesellschaft für Informatik, S. 1463-1474. ISBN 978-3-88579-669-5. Verfügbar unter: 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. Verfügbar unter: 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, Raphael WEBER, Klaus POHL, Manfred BROY, Heinrich DAEMBKES und Harald HÖNNINGER, 2016. Optimal Deployment. In: POHL, Klaus , Manfred BROY , Heinrich DAEMBKES und Harald HÖNNINGER , Hrsg. Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology. Cham: Springer, S. 145-168. ISBN 978-3-319-48003-9. Verfügbar unter: 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. In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). Piscataway: IEEE, S. 133-142. ISBN 978-1-5090-2791-0. Verfügbar unter: https://doi.org/10.1109/MEMCOD.2016.7797758
KUGELE, Stefan und Daniel ANTKOWIAK, 2016. Visualization of Trace Links and Change Impact Analysis. In: Proceedings: 2016 IEEE 24th International Requirements Engineering Conference Workshops. Los Alamitos: IEEE, S. 165-169. ISBN 978-1-5090-3694-3. Verfügbar unter: 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. In: 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE). Piscataway: IEEE, S. 158-167. ISBN 978-1-5090-0237-5. Verfügbar unter: 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. In: 2014 International Conference on Connected Vehicles and Expo (ICCVE): Proceedings. Piscataway: IEEE, S. 679-680. ISBN 978-1-4799-6729-2. Verfügbar unter: https://doi.org/10.1109/ICCVE.2014.7297634
2014
KUGELE, Stefan und Gheorghe PUCEA, 2014. Model-based optimization of automotive E/E-architectures. In: CSTVA 2014: Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis. New York: ACM, S. 18-29. ISBN 978-1-4503-2847-0. Verfügbar unter: https://doi.org/10.1145/2593735.2593739
2013
GULDEN, Markus und Stefan KUGELE, 2013. A concept for generating simplified RESTful interfaces. In: WWW '13 Companion: Proceedings of the 22nd International Conference on World Wide Web. New York: ACM, S. 1391-1398. ISBN 978-1-4503-2038-2. Verfügbar unter: https://doi.org/10.1145/2487788.2488181
2012
JANUZAJ, Visar, Stefan KUGELE, Florian BIECHELE, Ralf MAUERSBERGER, George ELEFTHERAKIS, Mike HINCHEY und Mike HOLCOMBE, 2012. A Configuration Approach for IMA Systems. In: ELEFTHERAKIS, George , Mike HINCHEY und Mike HOLCOMBE , Hrsg. Software Engineering and Formal Methods: 10th International Conference, SEFM 2012: Thessaloniki, Greece, October 1-5, 2012: Proceedings. Berlin: Springer, S. 203-217. ISBN 978-3-642-33825-0. Verfügbar unter: https://doi.org/10.1007/978-3-642-33826-7_14
2011
HOLZER, Andreas, Visar JANUZAJ, Stefan KUGELE, Boris LANGER, Christian SCHALLHART, Michael TAUTSCHNIG, Helmut VEITH, Dimitra GIANNAKOPOULOU und Fernando OREJAS, 2011. Seamless Testing for Models and Code. In: GIANNAKOPOULOU, Dimitra und Fernando OREJAS , Hrsg. 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, S. 278-293. ISBN 978-3-642-19810-6. Verfügbar unter: https://doi.org/10.1007/978-3-642-19811-3_20
2010
HABERL, Wolfgang, Stefan KUGELE, Uwe BAUMGARTEN, Hamid R. ARABNIA und Ashu M. G. SOLO, 2010. Model-Based Generation of Fault-Tolerant Embedded Systems. In: ARABNIA, Hamid R. und Ashu M. G. SOLO , Hrsg. Proceedings of the 2010 International Conference on Embedded Systems & Applications: ESA 2010 CSREA Press, S. 136-142. ISBN 1-601-32141-4.
JANUZAJ, Visar, Stefan KUGELE, Boris LANGER, Christian SCHALLHART, Helmut VEITH, Tiziana MARGARIA und Bernhard STEFFEN, 2010. New Challenges in the Development of Critical Embedded Systems: An "aeromotive" Perspective. In: MARGARIA, Tiziana und Bernhard STEFFEN , Hrsg. 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, S. 1-2. ISBN 978-3-642-16558-0. Verfügbar unter: https://doi.org/10.1007/978-3-642-16558-0_1
HABERL, Wolfgang, Markus HERRMANNSDOERFER, Stefan KUGELE, Michael TAUTSCHNIG, Martin WECHS, Tiziana MARGARIA und Bernhard STEFFEN, 2010. Seamless Model-Driven Development Put into Practice. In: MARGARIA, Tiziana und Bernhard STEFFEN , Hrsg. 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, S. 18-32. ISBN 978-3-642-16558-0. Verfügbar unter: https://doi.org/10.1007/978-3-642-16558-0_4
HOLZER, Andreas, Visar JANUZAJ, Stefan KUGELE, Michael TAUTSCHNIG, Tiziana MARGARIA und Bernhard STEFFEN, 2010. Timely Time Estimates. In: MARGARIA, Tiziana und Bernhard STEFFEN , Hrsg. 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, S. 33-46. ISBN 978-3-642-16558-0. Verfügbar unter: 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. In: Proceedings of the 2009 31st International Conference on Software Engineering and ICSE Workshops. Piscataway: IEEE, S. 11-21. ISBN 978-1-4244-3721-4. Verfügbar unter: https://doi.org/10.1109/MOMPES.2009.5069133
HOLZER, Andreas, Visar JANUZAJ, Stefan KUGELE, Kenneth BONESS, João M. FERNANDES, Jon G. HALL, Ricardo JORGE MACHADO und Roy OBERHAUSER, 2009. Towards Resource Consumption-Aware Programming. In: BONESS, Kenneth , João M. FERNANDES , Jon G. HALL , Ricardo JORGE MACHADO und Roy OBERHAUSER , Hrsg. Proceedings: The Fourth International Conference on Software Engineering Advances: ICSEA 2009. Los Alamitos: IEEE, S. 490-493. ISBN 978-1-4244-4779-4. Verfügbar unter: 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. In: WOSP'08: Proceedings of the Seventh International Workshop on Software and Performance. New York: ACM, S. 139-143. ISBN 978-1-59593-873-2. Verfügbar unter: https://doi.org/10.1145/1383559.1383577
KUGELE, Stefan, Wolfgang HABERL, Hamid R. ARABNIA und Hassan REZA, 2008. Mapping Data-Flow Dependencies onto Distributed Embedded Systems. In: ARABNIA, Hamid R. und Hassan REZA , Hrsg. 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, S. 272-278. ISBN 1-60132-088-4.
KUGELE, Stefan, Wolfgang HABERL, Michael TAUTSCHNIG, Martin WECHS, Tiziana MARGARIA und Bernhard STEFFEN, 2008. Optimizing Automatic Deployment Using Non-functional Requirement Annotations. In: MARGARIA, Tiziana und Bernhard STEFFEN , Hrsg. Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008: Proceedings. Berlin: Springer, S. 400-414. ISBN 978-3-540-88479-8. Verfügbar unter: https://doi.org/10.1007/978-3-540-88479-8_28