TUM – TUM – Menu

Publications

Refereed Conference and Workshop Papers

# Details Link
[24] Stefan Kugele, Vadim Cebotari, Mario Gleirscher, Morteza Hashemi Farzaneh, Christoph Segler, Sina Shafaei, Hans-Jörg Vögel, Fridolin Bauer, Alois Knoll, Diego Marmsoler, and Hans-Ulrich Michel. Research Challenges for a Future-Proof E/E Architecture - A Project Statement. In 15. Workshop Automotive Software Engineering, Proceedings, Chemnitz, Germany, September 28-29, 2017, LNI. (to appear)
[23] Morteza Hashemi Farzaneh, Stefan Kugele, and Alois Knoll. A Graphical Modeling Tool Supporting Automated Schedule Synthesis for Time-Sensitive Networking. In 22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA'2017), Proceedings, Limassol, Cyprus, September 12-15, 2017, IEEE. (to appear)
[22] Stefan Kugele, Philipp Obergfell, Manfred Broy, Oliver Creighton, Matthias Traub, and Wolfgang Hopfensitz. On Service-Orientation for Automotive Software. In 2017 IEEE International Conference on Software Architecture (ICSA), Proceedings, pages 193-202, Gothenburg, Sweden, April 3-7, 2017, IEEE.
[21] Mario Gleirscher and Stefan Kugele. From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case. In NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, pages 310-326, Springer International Publishing, Cham.
[20] Mario Gleirscher and Stefan Kugele. Defining Risk States in Autonomous Road Vehicles. In 18th IEEE International Symposium on High Assurance Systems Engineering (HASE 2017), pages 112-115, Singapore, January 12-14, 2017, IEEE.
[19] Stefan Kugele, Diego Marmsoler, Núria Mata, and Kai Werther. Verification of Component Architectures using Mode-Based Contracts. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), pages 133-142, Kanpur, India, November 18-20, 2016, IEEE.
[18] Mario Gleirscher and Stefan Kugele. Reaching Safe States in Autonomous Road Vehicles. In Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP, 2016), Trondheim, Norway, September 20-23, 2016.
[17] Stefan Kugele and Daniel Antkowiak. Visualization of Trace Links and Change Impact Analysis. In 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), pages 165-169, Beijing, China, September 12th, 2016.
[16] Stefan Kugele, Gheorghe Pucea, Ramona Popa, Laurent Dieudonné, and Horst Eckardt. On the Deployment Problem of Embedded Systems. In 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'15), pages 158-167, Austin, USA, September 21-23, 2015.
[15] Christian Prehofer, Konstantin Schorp, Stefan Kugele, Daniel Clarke, and Markus Duchon. Towards a 3-tier Architecture for Connected Vehicles. In 2014 International Conference on Connected Vehicles and Expo (ICCVE), Vienna, Austria, November 3-7, 2014. Proceedings, pages 679-680, IEEE, 2014.
[14] Stefan Kugele, Gheorghe Pucea. Model-based Optimization of Automotive E/E-Architectures. In 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014. Proceedings, pages 18-29, ACM, 2014.
[13] Markus Gulden, Stefan Kugele. A Concept for Generating Simplified RESTful Interfaces. In 22nd international conference on World Wide Web companion, Rio de Janeiro, Brazil, May 14, 2013. Proceedings, pages 1391-1398, ACM.
[12] Visar Januzaj, Stefan Kugele, Florian Biechele, and Ralf Mauersberger. A Configuration Approach for IMA Systems. In George Eleftherakis, Mike Hinchey, and Mike Holcombe, editors, Software Engineering and Formal Methods, volume 7504 of Lecture Notes in Computer Science, pages 203–217. Springer Berlin / Heidelberg, 2012.
[11] Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. Seamless testing for models and code. In Dimitra Giannakopoulou and 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, volume 6603 of Lecture Notes in Computer Science, pages 278–293. Springer, 2011.
[10] Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, and Martin Wechs. Seamless model-driven development put into practice. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation, volume 6415 of Lecture Notes in Computer Science, pages 18–32. Springer, October 2010.
[9] Andreas Holzer, Visar Januzaj, Stefan Kugele, and Michael Tautschnig. Timely time estimates. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation, volume 6415 of Lecture Notes in Computer Science, pages 33–46. Springer, October 2010.
[8] Wolfgang Haberl, Stefan Kugele, and Uwe Baumgarten. Model-Based Generation of Fault-Tolerant Embedded Systems. In Hamid R. Arabnia and Ashu M. G. Solo, editors, Proceedings of the 2010 International Conference on Embedded Systems and Applications, ESA 2010, pages 136–142. CSREA Press, July 2010.
[7] Visar Januzaj and Stefan Kugele. Model analysis via a translation schema to coloured petri nets. In Daniel Moldt, editor, PNSE'09: Proceedings of the International Workshop on Petri Nets and Software Engineering, pages 273–292, June 2009.
[6] Wolfgang Haberl, Stefan Kugele, and Uwe Baumgarten. Reliable operating modes for distributed embedded systems. In Proceedings of the ICSE Workshop on Model-based Methodologies for Pervasive and Embedded Software, volume 0, pages 11–21. IEEE Computer Society, May 2009.
[5] Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, and Martin Wechs. One click from model to reality, accepted for presentation at SAASE '09: Symposium on Automotive/Avionics Systems Engineering, 2009.
[4] Andreas Holzer, Visar Januzaj, and Stefan Kugele. Towards resource consumption-aware programming. In Kenneth Boness, João M. Fernandes, Jon G. Hall, Ricardo Jorge Machado, and Roy Oberhauser, editors, The Fourth International Conference on Software Engineering Advances, ICSEA 2009, pages 490–493. IEEE Computer Society, 2009.
[3] Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, and Martin Wechs. Optimizing automatic deployment using non-functional requirement annotations. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, volume 17 of CCIS, pages 400–414. Springer, October 2008.
[2] Stefan Kugele and Wolfgang Haberl. Mapping Data-Flow Dependencies onto Distributed Embedded Systems. In Hamid R. Arabnia and Hassan Reza, editors, Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, volume 1, pages 272–278. CSREA Press, July 2008.
[1] Zhonglei Wang, Wolfgang Haberl, Stefan Kugele, and Michael Tautschnig. Automatic Generation of SystemC Models from Component-based Designs for Early Design Validation and Performance Analysis. In Proceedings of the 7th International Workshop on Software and Performance, WOSP 2008, pages 23–26. ACM, June 2008.

Book Chapters

# Details Link
[1] Karsten Albers, Matthias Büker, Laurent Dieudonné, Robert Hilbrich, Georgeta Igna, Stefan Kugele, Thomas Kuhn, Maike Rosinger, and Raphael Weber. Optimal Deployment. In book Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology, Publisher: Springer, Editors: Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger, pages 145-168, 2016.

Technical Reports

# Details Link
[4] Mario Gleirscher, Stefan Kugele, and Jonathan Sprinkle. Safe Control of Autonomous & Connected Vehicles (SCAV'17): Report from the 1st International Workshop at CPSWeek 2017. In SIGSOFT Softw. Eng. Notes, Volume 42 Issue 3, pages 22-23. ACM. July 2017.
[3] Mario Gleirscher and Stefan Kugele. A Study of Safety Patterns: First Results. Technical Report TUM-I1640, Technische Universität München, 2016.
[2] Andreas Holzer, Visar Januzaj, Stefan Kugele, Christian Schallhart, Michael Tautschnig, Helmut Veith, and Boris Langer. Slope testing for activity diagrams and safety critical software. Technical Report TUD-CS-2009-0184, Technische Universität Darmstadt, October 2009.
[1] Stefan Kugele, Michael Tautschnig, Andreas Bauer, Christian Schallhart, Stefano Merenda, Wolfgang Haberl, Christian Kühnel, Florian Müller, Zhonglei Wang, Doris Wild, Sabine Rittmann, and Martin Wechs. COLA – The component language. Technical Report TUM-I0714, Institut für Informatik, Technische Universität München, September 2007.

Theses

# Details Link
[2] Stefan Kugele. Model-Based Development of Software-intensive Automotive Systems. PhD thesis, Technische Universität München, November 2012.
[1] Stefan Kugele. Efficient Solving of Combinatorial Problems using SAT-Solvers. Diploma thesis, Technische Universität München, October 2006.

Talks

# Details Link
[3] Stefan Kugele. From Model-based Design to Model-based Optimization of Embedded Systems. Young Researchers Forum. Satellite workshop of MFCS & CSL 2010, Brno, Czech Republic, September 2010.
[2] Stefan Kugele. Reliable operating modes for distributed embedded systems. Joint meeting of groups from Oxford, ETH Zürich, and FORSYTE (TU Darmstadt), April 2009.
[1] Stefan Kugele. Complexity Classes for Optimization Problems. Joint Bavarian Swiss International School - Ferienakademie der Technischen Universität München (TUM), Institut für Informatik und der Eidgenössischen Technischen Hochschule Zürich (ETH), Departement Informatik. Binn, Switzerland, 2004.