dblp.uni-trier.dewww.uni-trier.de

Günter Graw

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
11EEGünter Graw, Peter Herrmann: Generation and Enactment of Controllers for Business Architectures Using MDA. EWSA 2004: 148-166
10EEGünter Graw, Peter Herrmann: Transformation and Verification of Executable UML Models. Electr. Notes Theor. Comput. Sci. 101: 3-24 (2004)
2000
9EEGünter Graw, Peter Herrmann, Heiko Krumm: Verification of UML-Based Real-Time System Designs by Means of cTLA. ISORC 2000: 86-95
1999
8 Günter Graw, Peter Herrmann, Heiko Krumm: Constraint-oriented formal modelling of OO-systems. DAIS 1999: 345-
7 Günter Graw: Specification of Behaviour in Component Frameworks. ECOOP Workshops 1999: 186
6 Günter Graw, Peter Herrmann, Heiko Krumm: Composing Object-Oriented Specifications and Verifications with cTLA. ECOOP Workshops 1999: 318
1998
5EEGünter Graw, Arnulf Mester: Architectures for Interoperation between Component Frameworks (Extended Abstract). ECOOP Workshops 1998: 155-156
4EEPeter Herrmann, Günter Graw, Heiko Krumm: Compositional Specification and Structured Verification of Hybrid Systems in cTLA. ISORC 1998: 335-
1996
3EEGünter Graw, Volker Gruhn, Heiko Krumm: Support of cooperating and distributed business processes. ICPADS 1996: 22-
1995
2 Günter Graw, Volker Gruhn: Distributed Modeling and Distributed Enaction of Business Processes. ESEC 1995: 8-27
1 Günter Graw, Volker Gruhn: Process Management In-the-Many. EWSPT 1995: 163-178

Coauthor Index

1Volker Gruhn [1] [2] [3]
2Peter Herrmann [4] [6] [8] [9] [10] [11]
3Heiko Krumm [3] [4] [6] [8] [9]
4Arnulf Mester [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)