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)Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels.. Softw. Syst. Model., 19 (4): 935-958 (2020)Towards sound, optimal, and flexible building from megamodels.. MoDELS, page 301-311. ACM, (2018)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)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)A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench.. FIW, page 35-36. IOS Press, (2005)