Distributed Modeling and Distributed Enaction of Business Processes. - Günter Graw; Volker Gruhn (ESEC, 1995)

Process Management In-the-Many. - Günter Graw; Volker Gruhn (EWSPT, 1995)

Support of cooperating and distributed business processes. - Günter Graw; Volker Gruhn; Heiko Krumm (ICPADS, 1996)

Architectures for Interoperation between Component Frameworks (Extended Abstract). - Günter Graw; Arnulf Mester (ECOOP Workshops, 1998)

Compositional Specification and Structured Verification of Hybrid Systems in cTLA. - Peter Herrmann; Günter Graw; Heiko Krumm (ISORC, 1998)

Constraint-oriented formal modelling of OO-systems. - Günter Graw; Peter Herrmann; Heiko Krumm (DAIS, 1999)

Specification of Behaviour in Component Frameworks. - Günter Graw (ECOOP Workshops, 1999)

Composing Object-Oriented Specifications and Verifications with cTLA. - Günter Graw; Peter Herrmann; Heiko Krumm (ECOOP Workshops, 1999)

Verification of UML-Based Real-Time System Designs by Means of cTLA. - Günter Graw; Peter Herrmann; Heiko Krumm (ISORC, 2000)

Transformation and Verification of Executable UML Models. - Günter Graw; Peter Herrmann (CVUML, 2003)

Generation and Enactment of Controllers for Business Architectures Using MDA. - Günter Graw; Peter Herrmann (EWSA, 2004)

Korrekte Steuerungssoftware. - Günter Graw (2010)