Author of the publication

From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.

, , , , , and . ECMDA-FA, volume 5095 of Lecture Notes in Computer Science, page 94-109. Springer, (2008)

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

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)AGTIVE 2007 Graph Transformation Tool Contest., and . AGTIVE, volume 5088 of Lecture Notes in Computer Science, page 487-492. Springer, (2007)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)Model Checking Graph Transformations: A Comparison of Two Approaches., , and . ICGT, volume 3256 of Lecture Notes in Computer Science, page 226-241. Springer, (2004)Canonical Graph Shapes.. ESOP, volume 2986 of Lecture Notes in Computer Science, page 401-415. Springer, (2004)Towards a Formal Specification of Multi-paradigm Modelling., , , , , and . MoDELS (Companion), page 419-424. IEEE, (2019)Fair Testing., , and . CONCUR, volume 962 of Lecture Notes in Computer Science, page 313-327. Springer, (1995)Class Diagram Restructuring with GROOVE., and . TTC, volume 135 of EPTCS, page 83-87. (2013)Contents for a Model-Based Software Engineering Body of Knowledge., , , , , , , , , and 3 other author(s). Softw. Syst. Model., 18 (6): 3193-3205 (2019)