Author of the publication

Translating Model Simulators to Analysis Models.

, and . FASE, volume 4961 of Lecture Notes in Computer Science, page 77-92. 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

Verification and validation of declarative model-to-model transformations through invariants., , , and . J. Syst. Softw., 83 (2): 283-302 (2010)Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions., , and . ICMT@TOOLS, volume 5563 of Lecture Notes in Computer Science, page 83-99. Springer, (2009)Towards the Systematic Construction of Domain-Specific Transformation Languages., , and . ECMFA, volume 8569 of Lecture Notes in Computer Science, page 196-212. Springer, (2014)Recommender systems in model-driven engineering., , , and . Softw. Syst. Model., 21 (1): 249-280 (2022)Attributed graph transformation with node type inheritance, , , , , and . Theoretical Computer Science, 376 (3): 139--163 (May 2007)Ludo: A Case Study for Graph Transformation Tools, , , , , , , , and . Agtive, (2007)A modelling language for the effective design of Java annotations., and . SAC, page 2087-2092. ACM, (2015)Pattern-Based Model-to-Model Transformation., and . ICGT, volume 5214 of Lecture Notes in Computer Science, page 426-441. Springer, (2008)Inter-modelling: From Theory to Practice., , , and . MoDELS (1), volume 6394 of Lecture Notes in Computer Science, page 376-391. Springer, (2010)Formal Support for QVT-Relations with Coloured Petri Nets., and . MoDELS, volume 5795 of Lecture Notes in Computer Science, page 256-270. Springer, (2009)