Alcino Cunha
Universidade do Minho
H-index: 23
Europe-Portugal
Top articles of Alcino Cunha
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Assessing the impact of hints in learning formal specification | Alcino Cunha Nuno Macedo José Creissac Campos Iara Margolis Emanuel Sousa | 2024 | |
Verifying temporal relational models with Pardinus | Nuno Macedo Julien Brunel David Chemouil Alcino Cunha | 2023/5/15 | |
An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises | Manuel Barros Maria Ramos Alexandre Gomes Alcino Cunha José Pereira | 2023/6/10 | |
Adding records to Alloy | Julien Brunel David Chemouil Alcino Cunha Nuno Macedo | 2023/5/15 | |
Task Model Design and Analysis with Alloy | Alcino Cunha Nuno Macedo Eunsuk Kang | 2023/5/15 | |
Verification of railway network models with EVEREST | João Martins José M Fonseca Rafael Costa José C Campos Alcino Cunha | 2022/10/23 | |
Quantitative relational modelling with QAlloy | Pedro Silva José N Oliveira Nuno Macedo Alcino Cunha | 2022/11/7 | |
Timely specification repair for alloy 6 | Jorge Cerqueira Alcino Cunha Nuno Macedo | 2022/9/26 | |
Pardinus: A temporal relational model finder | Journal of Automated Reasoning | Nuno Macedo Julien Brunel David Chemouil Alcino Cunha | 2022/11 |
Schema-guided testing of message-oriented systems | André Santos Alcino Cunha Nuno Macedo | 2022 | |
Variability analysis for robot operating system applications | André Santos Alcino Cunha Nuno Macedo Sara Melo Ricardo Pereira | 2022/12/5 | |
Merging cloned Alloy models with colorful refactorings | Science of Computer Programming | Chong Liu Nuno Macedo Alcino Cunha | 2022/8/1 |
Experiences on teaching alloy with an automated assessment platform | Alcino Cunha R Carvalho José Pereira N Macedo DC Silva | 2020 | |
The high-assurance ROS framework | André Santos Alcino Cunha Nuno Macedo | 2021/6/2 | |
alurity, a toolbox for robot cybersecurity | arXiv preprint arXiv:2010.07759 | Víctor Mayoral-Vilches Irati Abad-Fernández Martin Pinzger Stefan Rass Bernhard Dieber | 2020/10/15 |
Validating multiple variants of an automotive light system with electrum | Alcino Cunha Nuno Macedo Chong Liu | 2020 | |
Verification of system-wide safety properties of ROS applications | Renato Carvalho Alcino Cunha Nuno Macedo André Santos | 2020/10/24 |