Paul Ziemann

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

University of Bremen (PHD)

Education History

University of Bremen

PHD

Publications

Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann
Towards an integrated graph-based semantics for UML. Softw. Syst. Model. 8 (3) (2009)
Karsten Hölscher, Paul Ziemann, Martin Gogolla
On translating UML models into graph transformation systems. J. Vis. Lang. Comput. 17 (1) (2006)
Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. VL/HCC (2005)
Paul Ziemann, Karsten Hölscher, Martin Gogolla
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. Electron. Notes Theor. Comput. Sci. 130 (2005)
Paul Ziemann, Karsten Hölscher, Martin Gogolla
From UML Models to Graph Transformation Systems. Electron. Notes Theor. Comput. Sci. 127 (4) (2005)
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)
Martin Gogolla, Paul Ziemann, Sabine Kuske
Towards an Integrated Graph Based Semantics for UML. Electron. Notes Theor. Comput. Sci. 72 (3) (2003)
Paul Ziemann, Martin Gogolla
Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study. Electron. Notes Theor. Comput. Sci. 80 (2003)
Paul Ziemann, Martin Gogolla
OCL Extended with Temporal Logic. Ershov Memorial Conference (2003)