Günter Graw

12 papers B 1C 3Unranked 7

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