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