Prof. Dr. rer. nat. Stefan Kugele


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

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 , 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. In: 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, 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 , 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. In: 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, 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 , 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. In: 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). In: 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, 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 , 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. In: 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, 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 , Editors Software Engineering 2022. Bonn: Gesellschaft für Informatik e.V., 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). In: 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. In: 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, 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 , 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. In: 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. In: 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
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, 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. In: 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. In: 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. In: 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: CEUR Workshop Proceedings. Aachen: RWTH Aachen. Available at: 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, Page 53-60. ISBN 978-1-7281-1876-5. Available at: 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 , 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. In: 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. In: 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. In: 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. In: 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
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 , 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. In: 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. In: 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, 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 , 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. In: 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, 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 , 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, 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 , 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. In: 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. In: 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. In: 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. In: 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. In: 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. In: 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, Ralf MAUERSBERGER, George ELEFTHERAKIS, Mike HINCHEY und Mike HOLCOMBE, 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, Helmut VEITH, Dimitra GIANNAKOPOULOU und Fernando OREJAS, 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, 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 , 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, 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 , 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, Martin WECHS, Tiziana MARGARIA und Bernhard STEFFEN, 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, Michael TAUTSCHNIG, Tiziana MARGARIA und Bernhard STEFFEN, 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. In: 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, 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 , 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. In: 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, Wolfgang HABERL, Hamid R. ARABNIA und Hassan REZA, 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, Martin WECHS, Tiziana MARGARIA und Bernhard STEFFEN, 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