Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Publicações Confirmadas: 92



1
TÍTULO: A Roadmap for Responsible Robotics: Promoting Human Agency and Collaborative Efforts  Full Text
AUTORES: Araiza Illan, Dejanira; Baum, Kevin; Beebee, Helen; Chatila, Raja; Moth Lund Christensen, Sarah; Coghlan, Simon; Collins, Emily; Conroy, S. Kate; Cunha, Alcino ; Dobrosovestnova, Anna; Duijf, Hein; Evers, Vanessa; Fisher, Michael; Hochgeschwender, Nico; Kokciyan, Nadin; Lemaignan, Severin; Rodriguez Lera, Francisco; Ljungblad, Sara; Magnusson, Martin; Mansouri, Masoumeh; Milford, Michael; Moon, Ajung; Powers, Thomas M.; Salvini, Pericle; Scantamburlo, Teresa; Schuster, Nick; Slavkovik, Marija; Topcu, Ufuk; Vanegas, Daniel; Wasowski, Andrzej; Yang, Yi; ...Mais
PUBLICAÇÃO: 2025, FONTE: IEEE ROBOTICS & AUTOMATION MAGAZINE, VOLUME: 32, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
2
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: 1 Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
3
TÍTULO: Specifying Distributed Hash Tables with Allen Temporal Logic
AUTORES: Policarpo, Nuno; Santos, Jose Fragoso; Cunha, Alcino ; Leitao, Joao; Costa, Pedro Akos;
PUBLICAÇÃO: 2025, FONTE: 13th International Conference on Formal Methods in Software Engineering-FORMALISE in 2025 IEEE/ACM 13TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE
INDEXADO EM: Scopus WOS DBLP CrossRef
4
TÍTULO: Synthesizing Test Cases for Narrowing Specification Candidates
AUTORES: Alcino Cunha ; Nuno Macedo;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2511.19177
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: Validating Formal Specifications with LLM-generated Test Cases
AUTORES: Alcino Cunha ; Nuno Macedo;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.23350
INDEXADO EM: DBLP
NO MEU: DBLP
6
TÍTULO: Verifying Multiple TLA+ Configurations with Blast
AUTORES: Somson, Paul; Cunha, Alcino ;
PUBLICAÇÃO: 2025, FONTE: 13th International Conference on Formal Methods in Software Engineering-FORMALISE in 2025 IEEE/ACM 13TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
7
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: 1
NO MEU: ORCID | CIÊNCIAVITAE
8
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: 3
NO MEU: ORCID | CIÊNCIAVITAE
9
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
10
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 CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
Página 1 de 10. Total de resultados: 92.

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

Links Úteis

Ajuda

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