Günter Graw

Publication Activity (10 Years)

Years Active: 1995-2004
Publications (10 Years): 0

Dortmund University of Technology (PHD)

Education History

Dortmund University of Technology

PHD

Publications

Günter Graw, Peter Herrmann
Transformation and Verification of Executable UML Models. Electron. Notes Theor. Comput. Sci. 101 (2004)
Günter Graw, Peter Herrmann
Generation and Enactment of Controllers for Business Architectures Using MDA. EWSA (2004)
Günter Graw, Peter Herrmann, Heiko Krumm
Verification of UML-Based Real-Time System Designs by Means of cTLA. ISORC (2000)
Günter Graw
Specification of Behaviour in Component Frameworks. ECOOP Workshops (1999)
Günter Graw, Peter Herrmann, Heiko Krumm
Composing Object-Oriented Specifications and Verifications with cTLA. ECOOP Workshops (1999)
Günter Graw, Peter Herrmann, Heiko Krumm
Constraint-oriented formal modelling of OO-systems. DAIS (1999)
Günter Graw, Arnulf Mester
Architectures for Interoperation between Component Frameworks (Extended Abstract). ECOOP Workshops (1998)
Peter Herrmann, Günter Graw, Heiko Krumm
Compositional Specification and Structured Verification of Hybrid Systems in cTLA. ISORC (1998)
Günter Graw, Volker Gruhn, Heiko Krumm
Support of cooperating and distributed business processes. ICPADS (1996)
Günter Graw, Volker Gruhn
Process Management In-the-Many. EWSPT (1995)
Günter Graw, Volker Gruhn
Distributed Modeling and Distributed Enaction of Business Processes. ESEC (1995)