Günter Graw

Distributed Modeling and Distributed Enaction of Business Processes

Volker Gruhn, Günter Graw, V. Gruhn, 1995, ESEC.

Transformation and Verification of Executable UML Models

Peter Herrmann, Günter Graw, P. Herrmann, 2004, CVUML.

Korrekte Steuerungssoftware

Günter Graw, 2010 .

Support of cooperating and distributed business processes

Günter Graw, V. Gruhn, Heiko Krumm, 1996, Proceedings of 1996 International Conference on Parallel and Distributed Systems.

Architectures for Interoperation between Component Frameworks (Extended Abstract)

Günter Graw, Arnulf Mester, 1998, ECOOP Workshops.

Process Management In-the-Many

Volker Gruhn, Günter Graw, 1995, EWSPT.

Verification of UML-based real-time system designs by means of cTLA

Heiko Krumm, Peter Herrmann, Günter Graw, 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

Compositional specification and structured verification of hybrid systems in cTLA

Heiko Krumm, Peter Herrmann, Günter Graw, 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

Specification of Behaviour in Component Frameworks

Günter Graw, 1999, ECOOP Workshops.

Generation and Enactment of Controllers for Business Architectures Using MDA

Peter Herrmann, Günter Graw, 2004, EWSA.

Constraint-oriented formal modelling of OO-systems

Heiko Krumm, Peter Herrmann, Günter Graw, 1999, DAIS.

Composing Object-Oriented Specifications and Verifications with cTLA

Heiko Krumm, Peter Herrmann, Günter Graw, 1999, ECOOP Workshops.

Verification of xUML Specifications in the context of MDA

Peter Herrmann, Günter Graw, KV ARGEIS, 2002 .