Author of the publication

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants.

, , and . RAMiCS, volume 7560 of Lecture Notes in Computer Science, page 146-161. Springer, (2012)

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

Assessing the impact of hints in learning formal specification., , , , and . SEET@ICSE, page 151-161. ACM, (2024)An ORCID based synchronization framework for a national CRIS ecosystem., , and . F1000Research, (2015)Automatic Unbounded Verification of Alloy Specifications with Prover9, and . CoRR, (2012)A relational approach to bidirectional transformation. University of Minho, Portugal, (2014)Timely Specification Repair for Alloy 6., , and . SEFM, volume 13550 of Lecture Notes in Computer Science, page 288-303. Springer, (2022)Simulation under Arbitrary Temporal Logic Constraints., , , and . F-IDE@FM, volume 310 of EPTCS, page 63-69. (2019)Improving the Visualization of Alloy Instances., , , and . F-IDE@FLoC, volume 284 of EPTCS, page 37-52. (2018)ROSY: An elegant language to teach the pure reactive nature of robot programming., and . IRC, page 240-247. IEEE, (2020)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)