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

A Verification Tool Seveloper's Vade Mecum.. Int. J. Softw. Tools Technol. Transf., 2 (2): 89-94 (1998)Abstract Games for Infinite State Processes.. CONCUR, volume 1466 of Lecture Notes in Computer Science, page 147-162. Springer, (1998)A Simple Game-Theoretic Approach to Checkonly QVT Relations.. ICMT@TOOLS, volume 5563 of Lecture Notes in Computer Science, page 165-180. Springer, (2009)Aggregation., , , , and . ECOOP Workshops, volume 1743 of Lecture Notes in Computer Science, page 55-56. Springer, (1999)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)Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels.. Softw. Syst. Model., 19 (4): 935-958 (2020)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)On Use Cases and Their Relationships in the Unified Modelling Language.. FASE, volume 2029 of Lecture Notes in Computer Science, page 140-155. Springer, (2001)