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

Least-change bidirectional model transformation with QVT-R and ATL., and . Softw. Syst. Model., 15 (3): 783-810 (2016)An ORCID based synchronization framework for a national CRIS ecosystem., , and . F1000Research, (2015)Automatic Unbounded Verification of Alloy Specifications with Prover9, and . CoRR, (2012)Merging cloned Alloy models with colorful refactorings., , and . Sci. Comput. Program., (2022)Adding Records to Alloy., , , and . ABZ, volume 14010 of Lecture Notes in Computer Science, page 212-219. Springer, (2023)Verifying Temporal Relational Models with Pardinus., , , and . ABZ, volume 14010 of Lecture Notes in Computer Science, page 254-261. Springer, (2023)A relational approach to bidirectional transformation. University of Minho, Portugal, (2014)Improving the Visualization of Alloy Instances., , , and . F-IDE@FLoC, volume 284 of EPTCS, page 37-52. (2018)Simulation under Arbitrary Temporal Logic Constraints., , , and . F-IDE@FM, volume 310 of EPTCS, page 63-69. (2019)Timely Specification Repair for Alloy 6., , and . SEFM, volume 13550 of Lecture Notes in Computer Science, page 288-303. Springer, (2022)