Author of the publication

AGTIVE 2007 Graph Transformation Tool Contest.

, and . AGTIVE, volume 5088 of Lecture Notes in Computer Science, page 487-492. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Incremental Pattern Matching for Regular Expressions., , and . ECEASST, (2012)Canonical Graph Shapes.. ESOP, volume 2986 of Lecture Notes in Computer Science, page 401-415. Springer, (2004)On a Graph-Based Semantics for UML Class and Object Diagrams., and . ECEASST, (2008)Graph- versus Vector-Based Analysis of a Consensus Protocol., , and . GRAPHITE, volume 159 of EPTCS, page 44-57. (2014)Model Checking Graph Transformations: A Comparison of Two Approaches., , and . ICGT, volume 3256 of Lecture Notes in Computer Science, page 226-241. Springer, (2004)The GROOVE Simulator: A Tool for State Space Generation. 3062, page 479--485. (2004)Action refinement for Vertical Implementation., and . FBT, volume 315 of GMD-Studien, page 69-78. GMD-Forschungszentrum Informationstechnik GmbH, (1997)Contents for a Model-Based Software Engineering Body of Knowledge., , , , , , , , , and 3 other author(s). Softw. Syst. Model., 18 (6): 3193-3205 (2019)Bisimilarity of Open Terms.. Inf. Comput., 156 (1-2): 345-385 (2000)How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order.. ModelEd, TestEd, TrustEd, volume 10500 of Lecture Notes in Computer Science, page 191-213. Springer, (2017)