Author of the publication

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

Action refinement for Vertical Implementation., and . FBT, volume 315 of GMD-Studien, page 69-78. GMD-Forschungszentrum Informationstechnik GmbH, (1997)Class Diagram Restructuring with GROOVE., and . TTC, volume 135 of EPTCS, page 83-87. (2013)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)Contents for a Model-Based Software Engineering Body of Knowledge., , , , , , , , , and 3 other author(s). Softw. Syst. Model., 18 (6): 3193-3205 (2019)On the Efficacy of Online Proctoring using Proctorio., , , and . CSEDU (1), page 279-290. SCITEPRESS, (2021)Canonical Graph Shapes.. ESOP, volume 2986 of Lecture Notes in Computer Science, page 401-415. Springer, (2004)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)Towards a Formal Specification of Multi-paradigm Modelling., , , , , and . MoDELS (Companion), page 419-424. IEEE, (2019)