 | 2009 |
|---|
| 9 |       | Sabine Kuske,
Martin Gogolla,
Hans-Jörg Kreowski,
Paul Ziemann:
Towards an integrated graph-based semantics for UML.
Software and System Modeling 8(3): 403-422 (2009) |
| 2006 |
|---|
| 8 | | Karsten Hölscher,
Paul Ziemann,
Martin Gogolla:
On translating UML models into graph transformation systems.
J. Vis. Lang. Comput. 17(1): 78-105 (2006) |
| 2005 |
|---|
| 7 | | Claudia Ermel,
Karsten Hölscher,
Sabine Kuske,
Paul Ziemann:
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation.
VL/HCC 2005: 125-133 |
| 6 | | Paul Ziemann,
Karsten Hölscher,
Martin Gogolla:
From UML Models to Graph Transformation Systems.
Electr. Notes Theor. Comput. Sci. 127(4): 17-33 (2005) |
| 5 | | Paul Ziemann,
Karsten Hölscher,
Martin Gogolla:
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations.
Electr. Notes Theor. Comput. Sci. 130: 263-280 (2005) |
| 2004 |
|---|
| 4 |  | Martin Gogolla,
Mark Richters,
Jörn Bohling,
Arne Lindow,
Fabian Büttner,
Paul Ziemann:
Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung.
Modellierung 2004: 281-282 |
| 2003 |
|---|
| 3 | | Paul Ziemann,
Martin Gogolla:
OCL Extended with Temporal Logic.
Ershov Memorial Conference 2003: 351-357 |
| 2 | | Martin Gogolla,
Paul Ziemann,
Sabine Kuske:
Towards an Integrated Graph Based Semantics for UML.
Electr. Notes Theor. Comput. Sci. 72(3): (2003) |
| 1 | | Paul Ziemann,
Martin Gogolla:
Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
