Author of the publication

On the Use of Higher-Order Model Transformations.

, , , , and . ECMDA-FA, volume 5562 of Lecture Notes in Computer Science, page 18-33. 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

Applying Generic Model Management to Data Mapping., , , and . BDA, (2005)Unified LTL Verification and Embedded Execution of UML Models., , , , and . MoDELS, page 112-122. ACM, (2018)A Practical Approach to Bridging Domain Specific Languages with UML profiles, , , and . Proceedings of the Best Practices for Model Driven Software Development at OOPSLA'05, San Diego, California, USA, , (2005)Improving Higher-Order Transformations Support in ATL., , and . ICMT@TOOLS, volume 6142 of Lecture Notes in Computer Science, page 215-229. Springer, (2010)Towards an advanced model-driven engineering toolbox., , and . Innov. Syst. Softw. Eng., 5 (1): 5-12 (2009)Coupling solvers with model transformations to generate explorable model sets., , , and . Softw. Syst. Model., 20 (5): 1633-1652 (2021)A cross-technology benchmark for incremental graph queries., , , , , , , , , and 2 other author(s). Softw. Syst. Model., 21 (2): 755-804 (2022)The TTC 2018 Social Media Case, by ATL and AOF., , , and . TTC@STAF, volume 2310 of CEUR Workshop Proceedings, page 79-83. CEUR-WS.org, (2018)(Ab)using incremental ATL on the TTC 2021 incremental laboratory workflow benchmark., and . TTC/, volume 3089 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)AnimUML as a UML Modeling and Verification Teaching Tool., , , , , , and . MoDELS (Companion), page 615-619. IEEE, (2021)