dblp.uni-trier.dewww.uni-trier.de

Paul Ziemann

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
8EEKarsten Hölscher, Paul Ziemann, Martin Gogolla: On translating UML models into graph transformation systems. J. Vis. Lang. Comput. 17(1): 78-105 (2006)
2005
7EEClaudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann: Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. VL/HCC 2005: 125-133
6EEPaul Ziemann, Karsten Hölscher, Martin Gogolla: From UML Models to Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 127(4): 17-33 (2005)
5EEPaul 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
3EEPaul Ziemann, Martin Gogolla: OCL Extended with Temporal Logic. Ershov Memorial Conference 2003: 351-357
2EEMartin Gogolla, Paul Ziemann, Sabine Kuske: Towards an Integrated Graph Based Semantics for UML. Electr. Notes Theor. Comput. Sci. 72(3): (2003)
1EEPaul 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)

Coauthor Index

1Jörn Bohling [4]
2Fabian Büttner [4]
3Claudia Ermel [7]
4Martin Gogolla [1] [2] [3] [4] [5] [6] [8]
5Karsten Hölscher [5] [6] [7] [8]
6Sabine Kuske [2] [7]
7Arne Lindow [4]
8Mark Richters [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)