Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Publicações Confirmadas: 53



1
TÍTULO: Assessing the impact of hints in learning formal specification
AUTORES: Cunha, Alcino ; Macedo, Nuno ; Campos, Jose Creissac ; Margolis, Iara; Sousa, Emanuel;
PUBLICAÇÃO: 2024, FONTE: ACM/IEEE 44th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET 2024
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
2
TÍTULO: Validating multiple variants of an automotive light system with Alloy 6  Full Text
AUTORES: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP
3
TÍTULO: Adding Records to Alloy
AUTORES: Brunel, Julien; Chemouil, David; Cunha, Alcino ; Macedo, Nuno ;
PUBLICAÇÃO: 2023, FONTE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
4
TÍTULO: Exploring Automatic Specification Repair in Dafny Programs
AUTORES: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
5
TÍTULO: Task Model Design and Analysis with Alloy
AUTORES: Cunha, Alcino ; Macedo, Nuno ; Kang, Eunsuk;
PUBLICAÇÃO: 2023, FONTE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
6
TÍTULO: Verifying Temporal Relational Models with Pardinus
AUTORES: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLICAÇÃO: 2023, FONTE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
7
TÍTULO: Merging cloned Alloy models with colorful refactorings  Full Text
AUTORES: Liu, Chong; Macedo, Nuno ; Cunha, Alcino ;
PUBLICAÇÃO: 2022, FONTE: 23rd Brazilian Symposium on Formal Methods (SBMF) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 220
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
8
TÍTULO: Pardinus: A Temporal Relational Model Finder  Full Text
AUTORES: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 66, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
9
TÍTULO: Quantitative relational modelling with QAlloy
AUTORES: Pedro Silva; José N Oliveira ; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
10
TÍTULO: Schema-guided Testing of Message-oriented Systems
AUTORES: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
Página 1 de 6. Total de resultados: 53.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service