I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications by Stefan Kugele

To appear

Markus Gulden and Stefan Kugele. A Concept for Generating Simplified RESTful Interfaces. In Proceedings of the Fourth International Workshop on RESTful Design, WS-REST 2013 at WWW2013, Rio de Janeiro, Brazil, May 14, 2013. ACM, to appear.
Info

2012

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. 10.1007/978-3-642-33826-7_14.
Info
See dx.doi.org ...

2011

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.
Info

2010

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.
Info
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.
Info
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, Las Vegas, Nevada, USA, July 2010. CSREA Press.
Info

2009

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.
PDF (403 kB)
Info
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.
PDF (563 kB)
Info
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, Los Alamitos, CA, USA, May 2009. IEEE Computer Society.
PDF (2 MB)
Info
Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, and Martin Wechs. One click from model to reality, 2009. Accepted for presentation at SAASE '09: Symposium on Automotive/Avionics Systems Engineering.
Info
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, 20-25 September 2009, Porto, Portugal, pages 490–493. IEEE Computer Society, 2009.
PDF (184 kB)
Info

2008

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.
PDF (158 kB)
Info
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, Princeton, NJ, USA, June 2008. ACM.
PDF (224 kB)
Info
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, 2008.
PDF (221 kB)
Info

2007

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.
PDF (427 kB)
Info

2006

Stefan Kugele. Efficient Solving of Combinatorial Problems using SAT-Solvers. Master's thesis, Technische Universität München, October 2006.
PDF (2 MB)
Info