2006 |
8 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Paul Ziemann,
Martin Gogolla:
OCL Extended with Temporal Logic.
Ershov Memorial Conference 2003: 351-357 |
2 | EE | Martin Gogolla,
Paul Ziemann,
Sabine Kuske:
Towards an Integrated Graph Based Semantics for UML.
Electr. Notes Theor. Comput. Sci. 72(3): (2003) |
1 | EE | 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) |