Modelling and Verification of Layered Security Protocols: A Bank Application. - Johannes Grünbauer; Helia Hollmann; Jan Jürjens; Guido Wimmel (SAFECOMP, 2003)

Critical Systems Development with UML: Overview with Automatic Case Study. - Jan Jürjens; Johannes Grünbauer (SNPD, 2003)

Tool Supported Development of Service-Based Systems. - Martin R. Deubler; Johannes Grünbauer; Gerhard Popp; Guido Wimmel; Christian Salzmann (APSEC, 2004)

04441 Working Group - Description and Matching of Services in Mobile Environments. - Johannes Grünbauer; Michael Klein; Georgia Koloniari; George Samaras; Can Türker (Mobile Information Management, 2004)

Towards a model-based and incremental development process for service-based systems. - Martin R. Deubler; Johannes Grünbauer; Christian Salzmann (IASTED Conf. on Software Engineering, 2004)

Sound development of secure service-based systems. - Martin R. Deubler; Johannes Grünbauer; Jan Jürjens; Guido Wimmel (ICSOC, 2004)

Modelling Secure IT Systems - A Survey. - Johannes Grünbauer; Jan Jürjens; Guido Wimmel (Modellierung, 2004)

A Model-Based Approach To Requirements Analysis. - Bernhard Schätz; Eva Geisberger; Johannes Grünbauer (MMOSS, 2006)

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

Application and Evaluation in the Energy Domain. - Friedrich-W. Fasse; Christian Glomb; Johannes Grünbauer; André Heuer; Martin Klaus; Richard Kuntschke; Michael Laskowski; Thorsten Weyer (Model-Based Engineering of Embedded Systems, 2012)