 | 2004 |
|---|
| 11 |       | Günter Graw,
Peter Herrmann:
Generation and Enactment of Controllers for Business Architectures Using MDA.
EWSA 2004: 148-166 |
| 10 | | Günter Graw,
Peter Herrmann:
Transformation and Verification of Executable UML Models.
Electr. Notes Theor. Comput. Sci. 101: 3-24 (2004) |
| 2000 |
|---|
| 9 | | Gü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 |
|---|
| 5 | | Günter Graw,
Arnulf Mester:
Architectures for Interoperation between Component Frameworks (Extended Abstract).
ECOOP Workshops 1998: 155-156 |
| 4 | | Peter Herrmann,
Günter Graw,
Heiko Krumm:
Compositional Specification and Structured Verification of Hybrid Systems in cTLA.
ISORC 1998: 335- |
| 1996 |
|---|
| 3 | | Gü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 |
