Author of the publication

ROSY: An elegant language to teach the pure reactive nature of robot programming.

, and . IRC, page 240-247. IEEE, (2020)

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

ROSY: An elegant language to teach the pure reactive nature of robot programming., and . IRC, page 240-247. IEEE, (2020)Improving the Visualization of Alloy Instances., , , and . F-IDE@FLoC, volume 284 of EPTCS, page 37-52. (2018)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)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)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)Assessing the impact of hints in learning formal specification., , , , and . SEET@ICSE, page 151-161. ACM, (2024)