Data | Título | Autor(es) | Tipo | Acesso |
2023 | Adding records to alloy | Brunel, Julien; Chemouil, David; Cunha, Alcino, et al. | Artigo em ata de conferência | Acesso aberto |
2021 | Experiences on teaching alloy with an automated assessment platform | Macedo, Nuno; Cunha, Alcino; Pereira, José, et al. | Artigo | Acesso restrito UMinho |
2022 | Merging cloned Alloy models with colorful refactorings | Liu, Chong; Macedo, Nuno; Cunha, Alcino | Artigo | Acesso aberto |
2022 | Pardinus: a temporal relational model finder | Macedo, Nuno; Brunel, Julien; Chemouil, David, et al. | Artigo | Acesso aberto |
2022 | Quantitative relational modelling with QAlloy | Silva, Pedro; Oliveira, José Nuno Fonseca; Macedo, Nuno, et al. | Artigo em ata de conferência | Acesso aberto |
29-Out-2014 | A relational approach to bidirectional transformation | Macedo, Nuno | Tese de doutoramento | Acesso aberto |
2022 | Schema-guided testing of message-oriented systems | Santos, André; Cunha, Alcino; Macedo, Nuno | Artigo em ata de conferência | Acesso aberto |
2023 | Task model design and analysis with alloy | Cunha, Alcino; Macedo, Nuno; Kang, Eunsuk | Artigo em ata de conferência | Acesso aberto |
2021 | The High-Assurance ROS Framework | Santos, André; Cunha, Alcino; Macedo, Nuno | Artigo em ata de conferência | Acesso aberto |
2022 | Timely specification repair for alloy 6 | Cerqueira, Jorge; Cunha, Alcino; Macedo, Nuno | Artigo em ata de conferência | Acesso aberto |
28-Out-2010 | Translating alloy specification to the point-free style | Macedo, Nuno | Dissertação de mestrado | Acesso restrito UMinho |
2022 | Variability analysis for robot operating system applications | Santos, Andre; Cunha, Alcino; Macedo, Nuno, et al. | Artigo em ata de conferência | Acesso aberto |
23-Out-2022 | Verification of railway network models with EVEREST | Martins, João; Fonseca, José M.; Costa, Rafael, et al. | Artigo em ata de conferência | Acesso aberto |
2023 | Verifying temporal relational models with Pardinus | Macedo, Nuno; Brunel, Julien; Chemouil, David, et al. | Artigo em ata de conferência | Acesso aberto |