Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Publicações Confirmadas: 87



1
TÍTULO: Alloy Repair Hint Generation Based on Historical Data
AUTORES: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
2
TÍTULO: Alloy Goes Fuzzy
AUTORES: Silva, Pedro; Cunha, Alcino ; Macedo, Nuno ; Oliveira, Jose N.;
PUBLICAÇÃO: 2024, FONTE: 10th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2024, VOLUME: 14759
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
3
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
4
TÍTULO: Designing Software with Complex Configurations
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2407.13633
INDEXADO EM: DBLP
NO MEU: DBLP
5
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
NO MEU: DBLP
6
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
7
TÍTULO: An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises
AUTORES: Barros, Manuel ; Ramos, Maria ; Gomes, Alexandre; Cunha, Alcino ; Pereira, Jose ; Almeida, Paulo Sergio ;
PUBLICAÇÃO: 2023, FONTE: 43rd International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023, VOLUME: 13910
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
8
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
9
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
10
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
Página 1 de 9. Total de resultados: 87.

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