publicações selecionadas
-
artigo académico
- Pardinus: A Temporal Relational Model Finder. Journal of Automated Reasoning. 2022
- Merging cloned Alloy models with colorful refactorings. International Journal on Software Tools for Technology Transfer. 2022
- Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. International Journal on Software Tools for Technology Transfer. 2019
- Improving the Visualization of Alloy Instances. Electronic Proceedings in Theoretical Computer Science. 2018
- A Feature-Based Classification of Model Repair Approaches. IEEE Transactions on Software Engineering. 2017
- An ORCID based synchronization framework for a national CRIS ecosystem. F1000research. 2015
- Composing least-change lenses. Electronic Communications of the EASST. 2013
-
artigo de conferência
- Schema-guided Testing of Message-oriented Systems 2022
- Simulation under Arbitrary Temporal Logic Constraints. Electronic Proceedings in Theoretical Computer Science. 2019
- Property-Based Testing for the Robot Operating System 2018
- The Electrum Analyzer: Model checking relational first-order temporal specifications. IEEE/ACM International Conference on Automated Software Engineering. 2018
- Mining the Usage Patterns of ROS Primitives. IEEE International Conference on Intelligent Robots and Systems. 2017
-
capítulo de livro
- Timely Specification Repair for Alloy 6. International Journal on Software Tools for Technology Transfer. 2022
- Exploiting Partial Knowledge for Efficient Model Analysis. International Journal on Software Tools for Technology Transfer. 2017
- Exploring Scenario Exploration. International Journal on Software Tools for Technology Transfer. 2015