Author of the publication

Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491).

, , , and . Dagstuhl Reports, 8 (12): 1-48 (2018)

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

Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels.. Softw. Syst. Model., 19 (4): 935-958 (2020)A Verification Tool Seveloper's Vade Mecum.. Int. J. Softw. Tools Technol. Transf., 2 (2): 89-94 (1998)Aggregation., , , , and . ECOOP Workshops, volume 1743 of Lecture Notes in Computer Science, page 55-56. Springer, (1999)A Simple Game-Theoretic Approach to Checkonly QVT Relations.. ICMT@TOOLS, volume 5563 of Lecture Notes in Computer Science, page 165-180. Springer, (2009)Abstract Games for Infinite State Processes.. CONCUR, volume 1466 of Lecture Notes in Computer Science, page 147-162. Springer, (1998)Towards sound, optimal, and flexible building from megamodels.. MoDELS, page 301-311. ACM, (2018)Dagstuhl seminar on bidirectional transformations (BX)., , , and . SIGMOD Record, 40 (1): 35-39 (2011)Systems Reengineering Patterns., and . SIGSOFT FSE, page 17-23. ACM, (1998)How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper)., and . Bx@ETAPS, volume 1571 of CEUR Workshop Proceedings, page 32-34. CEUR-WS.org, (2016)Towards an Algebraic Theory of Bidirectional Transformations.. ICGT, volume 5214 of Lecture Notes in Computer Science, page 1-17. Springer, (2008)