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
0.
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, 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
0.
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
0.
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, 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
0.
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
0.
KUGELE, Stefan und Lars GRUNSKE, 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
0.
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
0.
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
0.
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, 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
0.
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
0.
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
0.
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, 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
0.
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
0.
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
0.
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, 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
0.
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
0.
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
0.
0.
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
0.
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
0.
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
0.
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
0.
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
0.
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
0.
JANUZAJ, Visar und Stefan KUGELE, 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
0.
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
0.
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
0.
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
0.
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
0.
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
0.
0.
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, 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
0.
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
0.
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
0.
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, 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
0.
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
0.
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, 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
0.
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
0.
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, 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
0.
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
0.
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
0.
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
0.
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
0.
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
0.
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
0.
JANUZAJ, Visar, Stefan KUGELE, Florian BIECHELE und Ralf MAUERSBERGER, 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
0.
2011
0.
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, 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
0.
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, Hrsg. Proceedings of the 2010 International Conference on Embedded Systems & Applications: ESA 2010 CSREA Press, S.136-142. ISBN 1-601-32141-4.
0.
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, 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
0.
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, 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
0.
HOLZER, Andreas, Visar JANUZAJ, Stefan KUGELE und Michael TAUTSCHNIG, 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
0.
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
0.
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, 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
0.
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
0.
KUGELE, Stefan und Wolfgang HABERL, 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.
0.
KUGELE, Stefan, Wolfgang HABERL, Michael TAUTSCHNIG und Martin WECHS, 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