Towards an Integrated Graph Based Semantics for UML. - Martin Gogolla; Paul Ziemann; Sabine Kuske (GT-VMT@ICGT, 2002)

OCL Extended with Temporal Logic. - Paul Ziemann; Martin Gogolla (Ershov Memorial Conference, 2003)

Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study. - Paul Ziemann; Martin Gogolla (FMICS, 2003)

Checking BART Test Scenarios with UML's Object Constraint Language. - Martin Gogolla; Paul Ziemann (Formal Methods for Embedded Distributed Systems, 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 (Modellierung, 2004)

From UML Models to Graph Transformation Systems. - Paul Ziemann; Karsten Hölscher; Martin Gogolla (VLFM, 2004)

Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. - Paul Ziemann; Karsten Hölscher; Martin Gogolla (SBMF, 2004)

Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. - Claudia Ermel; Karsten Hölscher; Sabine Kuske; Paul Ziemann (VL/HCC, 2005)

On translating UML models into graph transformation systems. - Karsten Hölscher; Paul Ziemann; Martin Gogolla (J. Vis. Lang. Comput., 2006)

An integrated operational semantics for a UML core based on graph transformation. - Paul Ziemann (2006)

Towards an integrated graph-based semantics for UML. - Sabine Kuske; Martin Gogolla; Hans-Jörg Kreowski; Paul Ziemann (Softw. Syst. Model., 2009)