Günter Graw

According to our database, Günter Graw authored at least 12 papers between 1995 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Korrekte Steuerungssoftware.

Günter Graw

PhD thesis, 2010

2004

Generation and Enactment of Controllers for Business Architectures Using MDA.

Günter Graw, Peter Herrmann

Proceedings of the Software Architecture, First European Workshop, 2004

2003

Transformation and Verification of Executable UML Models.

Günter Graw, Peter Herrmann

Proceedings of the Workshop on the Compositional Verification of UML Models, 2003

2000

Verification of UML-Based Real-Time System Designs by Means of cTLA.

Günter Graw, Peter Herrmann, Heiko Krumm

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

1999

Composing Object-Oriented Specifications and Verifications with cTLA.

Günter Graw, Peter Herrmann, Heiko Krumm

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Specification of Behaviour in Component Frameworks.

Günter Graw

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Constraint-oriented formal modelling of OO-systems.

Günter Graw, Peter Herrmann, Heiko Krumm

Proceedings of the Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28, 1999

1998

Compositional Specification and Structured Verification of Hybrid Systems in cTLA.

Peter Herrmann, Günter Graw, Heiko Krumm

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Architectures for Interoperation between Component Frameworks (Extended Abstract).

Günter Graw, Arnulf Mester

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1996

Support of cooperating and distributed business processes.

Günter Graw, Volker Gruhn, Heiko Krumm

Proceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), 1996

1995

Process Management In-the-Many.

Günter Graw, Volker Gruhn

Proceedings of the Software Process Technology, 4th European Workshop, 1995

Distributed Modeling and Distributed Enaction of Business Processes.

Günter Graw, Volker Gruhn

Proceedings of the 5th European Software Engineering Conference, 1995