Paul Ziemann

According to our database, Paul Ziemann authored at least 11 papers between 2002 and 2009.

Collaborative distances:

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

2009

Towards an integrated graph-based semantics for UML.

Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann

Softw. Syst. Model., 2009

2006

An integrated operational semantics for a UML core based on graph transformation.

Paul Ziemann

PhD thesis, 2006

On translating UML models into graph transformation systems.

Karsten Hölscher, Paul Ziemann, Martin Gogolla

J. Vis. Lang. Comput., 2006

2005

Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation.

Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann

Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

2004

Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations.

Paul Ziemann, Karsten Hölscher, Martin Gogolla

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

From UML Models to Graph Transformation Systems.

Paul Ziemann, Karsten Hölscher, Martin Gogolla

Proceedings of the Workshop on Visual Languages and Formal Methods, 2004

Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung.

Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

Checking BART Test Scenarios with UML's Object Constraint Language.

Martin Gogolla, Paul Ziemann

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2003

Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study.

Paul Ziemann, Martin Gogolla

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

OCL Extended with Temporal Logic.

Paul Ziemann, Martin Gogolla

Proceedings of the Perspectives of Systems Informatics, 2003

2002

Towards an Integrated Graph Based Semantics for UML.

Martin Gogolla, Paul Ziemann, Sabine Kuske

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002