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

Termination Criteria for Model Transformation, , , , , and . 3442, page 49--63. (2005)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 Visual Language for Modelling and Simulation of Networks of Evolutionary Processors., , and . PAAMS (Special Sessions and Workshops), volume 71 of Advances in Intelligent and Soft Computing, page 411-418. Springer, (2010)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)Preface of the Fourth International Workshop on Graph-Based Tools, GraBaTs 2010., and . ECEASST, (2010)Verification and validation of declarative model-to-model transformations through invariants., , , and . J. Syst. Softw., 83 (2): 283-302 (2010)