Johannes Grünbauer

(Dipl.-Inf. Univ.)

E-mail:  gruenbau@in.tum.de  (public-key)
Snail:   Johannes Grünbauer
	 Institut für Informatik
	 Technische Universität München
         Boltzmannstr. 3
         D-85748 Garching b. München
         Germany
Phone:   +49 (89) 289-17832
Fax:     +49 (89) 289-17307
Room:    01.09.055

Fields of Interest

Formal Methods
Requirements Engineering
Service based systems
Automotive Software Engineering/Embedded Systems
Security and Security Engineering

Projects

Books

Manfred Broy, Johannes Grünbauer and Tony Hoare (eds.), Software System Reliability and Security, IOS Press, May 2007
Manfred Broy, Johannes Grünbauer, David Harel and Tony Hoare (eds.), Engineering Theories of Software Intensive Systems, Springer Verlag, July 2005

Publications

2008

Johannes Grünbauer, Erkennung von Feature Interactions auf Nutzungsebene - Modellierung und Verifikation von Abhängigkeiten, Softwaretechnik-Trends, 2008(28:1)

2006

Eva Geisberger, Johannes Grünbauer und Bernhard Schätz, Interdisciplinary Requirements Analysis Using the Model-based RM Tool AutoRAID, International Workshop on Automotive Requirements Engineering AuRE 2006, Minneapolis

2005

Martin Deubler, Johannes Grünbauer, Andreas Holzbach, Gerhard Popp und Guido Wimmel, Kontextadaptivität in dienstbasierten Softwaresystemen, Technischer Bericht, July 2005, Technische Universität München, (pdf)
Johannes Grünbauer und Michael Klein, Service Offer and Request Descriptions in Mobile Environments - A Position Paper, 8. Workshop des GI-Arbeitskreises "Mobile Datenbanken und Informationssysteme" im Rahmen der BTW 2005, 1. März 2005, Karlsruhe

2004

Johannes Grünbauer und Michael Klein, Description and Matching of Services in Mobile Environments, in Mobile Information Management, Dagstuhl Seminar Proceedings, 2004.
Martin Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel, Sound Development of Secure Service-based Systems, Proceedings of the Second International Conference on Service Oriented Computing (ICSOC), New York City, USA, November 15-18, 2004, ACM Press (pdf)
Martin Deubler, Johannes Grünbauer, Gerhard Popp, Guido Wimmel, Christian Salzmann, Tool Supported Development of Service Based Systems, Proceedings of the 11th IEEE Asia Pacific Software Engineering Conference (APSEC), Busan, Korea, 30 November--3 December 2004, (pdf)
Stephan Merk, Kathrin Scheidemann, Michael Rudorfer, Thomas Stauner, Johannes Grünbauer, Gerhard Popp, Guido Wimmel, Security for Downloadable Automotive Services, ESCAR Conference, Bochum, 2004, (pdf)
Johannes Grünbauer, Jan Jürjens, Guido Wimmel, Modelling Secure IT Systems--A Survey, Proceedings zur Tagung Modellierung 2004, Marburg, March 24-26, 2004, Short Paper (pdf)
Martin Deubler, Johannes Grünbauer, Gerhard Popp, Guido Wimmel, Christian Salzmann, Towards a Model-Based and Incremental Development Process for Service-Based Systems, Proceedings of the IASTED International Conference on Software Engineering (IASTED SE 2004), Innsbruck, February 17-19, 2004. (pdf)

2003

Jan Jürjens, Johannes Grünbauer, Critical Systems Development with UML: Overview with Automotive Case-study (ps, pdf), 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03), Lübeck (Germany), 16 - 18 October 2003
Johannes Grünbauer, Helia Hollmann, Jan Jürjens and Guido Wimmel, Modelling and Verification of Layered Security Protocols: A Bank Application (ps, pdf, slides available on request), SAFECOMP 2003, 23-26 September 2003 Edinburgh, GB, LNCS, © Springer-Verlag
Johannes Grünbauer, Modellbasierte Sicherheitsanalyse einer Bankapplikation, Diplomarbeit, Technische Universität München, 2003 (pdf, bib)

Further publications

Lidiya Buda, Johannes Grünbauer, Jan Jürjens, Thomas Kuhn, Sandra Gerbich, (Un-)Sicherheit bremst Webservices in Informationweek, Ausgabe 05/06 2004
Jan Jürjens, Johannes Grünbauer, Lidiya Buda, Hochschulen bauen ihr IT-Security-Angebot aus (jpg) in: Computer Zeitung 1-3, 2004

Tutorials

Johannes Grünbauer and Jan Jürjens, Critical Systems Development with UML-light, ASE'03 Tutorial Program, Montreal, Oct. 7, 2003

Teaching

Courses

Hauptseminar Automotive Software Engineering, WS 2004/05
Hauptseminar Methoden des Security Engineering, WS 2004/05
Hauptseminar Secure Software Engineering im Automotive, SS 2004
Hauptseminar Methoden des Security Engineering, WS 2003/04
Tutorübung für Einführung in die Informatik IV, SS 2003

Theses

DA: Hannes Karger: Risiko-Analyse im Bereich der Informations-Sicherheit -- Quantitative Bewertung von aggregierten Risiken
DA: Lukas Kuhn: Entwurf, Definition und praktische Umsetzung eines HMI- Spezifikationsformalismus
DA: Maximilian Leinweber: Entwicklung und Erprobung eines Umgebungsmodells für Fahrerassistenzsysteme
DA: Martin Kreutz: Sicherheitstesten kontextbezogener Dienste
DA: Andreas Hildisch: Automatische Generierung eines multimodalen MMI für dynamisch nachladbare Dienste
DA: Doris Eigenmann: Sicherheitsanalyse kontextbezogener Dienste im Automotive-Bereich
DA: Demet Maras: Lawful Interception Konzept für IP-Multimedia Anwendungen in UMTS
DA: Stephan Merk: Evaluierung des Java Security Modells im Kontext von Software-Download innerhalb des OSGi-Frameworks

Miscellaneous

Johannes Grünbauer