Search the dblp DataBase

Publications of Author

1. Paul Ziemann, Martin Gogolla
   OCL Extended with Temporal Logic. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 2003, pp:351-357 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   Modellierung, 2004, pp:281-282 [Conf]
   
3. Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann
   Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. [Citation Graph (0, 0)][DBLP]
   VL/HCC, 2005, pp:125-133 [Conf]
   
4. Martin Gogolla, Paul Ziemann, Sabine Kuske
   Towards an Integrated Graph Based Semantics for UML. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
   
5. Paul Ziemann, Martin Gogolla
   Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
   
6. Paul Ziemann, Karsten Hölscher, Martin Gogolla
   From UML Models to Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:17-33 [Journal]
   
7. Paul Ziemann, Karsten Hölscher, Martin Gogolla
   Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:263-280 [Journal]
   
8. Karsten Hölscher, Paul Ziemann, Martin Gogolla
   On translating UML models into graph transformation systems. [Citation Graph (0, 0)][DBLP]
   J. Vis. Lang. Comput., 2006, v:17, n:1, pp:78-105 [Journal]