Author of the publication

ECMDA-FA ’09: Model driven architecture - foundations and applications: 5th European conference, ECMDA-FA 2009, Enschede, the Netherlands, June 23-26, 2009 ; proceedings

, , and (Eds.) volume 5562 of Lecture Notes in Computer Science, Berlin and New York, Springer, (2009)

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

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)Incremental Pattern Matching for Regular Expressions., , and . ECEASST, (2012)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)On a Graph-Based Semantics for UML Class and Object Diagrams., and . ECEASST, (2008)Canonical Graph Shapes.. ESOP, volume 2986 of Lecture Notes in Computer Science, page 401-415. Springer, (2004)The GROOVE Simulator: A Tool for State Space Generation. 3062, page 479--485. (2004)Class Diagram Restructuring with GROOVE., and . TTC, volume 135 of EPTCS, page 83-87. (2013)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)