Author of the publication

Calculating with lenses: optimising bidirectional transformations.

, and . PEPM, page 91-100. ACM, (2011)

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

Coupled Schema Transformation and Data Conversion for XML and SQL., , , and . PADL, volume 4354 of Lecture Notes in Computer Science, page 290-304. Springer, (2007)Resource Allocation on Agent Meta-Societies., and . EPIA, volume 1323 of Lecture Notes in Computer Science, page 343-348. Springer, (1997)Pardinus: A Temporal Relational Model Finder., , , and . J. Autom. Reason., 66 (4): 861-904 (2022)Verification of system-wide safety properties of ROS applications., , , and . IROS, page 7249-7254. IEEE, (2020)Quantitative relational modelling with QAlloy., , , and . ESEC/SIGSOFT FSE, page 885-896. ACM, (2022)Experiences on Teaching Alloy with an Automated Assessment Platform., , , , , , , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 61-77. Springer, (2020)Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum., and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 307-321. Springer, (2018)Implementing QVT-R Bidirectional Model Transformations Using Alloy., and . FASE, volume 7793 of Lecture Notes in Computer Science, page 297-311. Springer, (2013)Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)., , , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 493-495. Springer, (2012)Recursion patterns and time-analysis., , and . ACM SIGPLAN Notices, 40 (5): 45-54 (2005)