Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Confirmed Publications: 92



1
TITLE: A Roadmap for Responsible Robotics: Promoting Human Agency and Collaborative Efforts  Full Text
AUTHORS: 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; ...More
PUBLISHED: 2025, SOURCE: IEEE ROBOTICS & AUTOMATION MAGAZINE, VOLUME: 32, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
2
TITLE: Alloy Repair Hint Generation Based on Historical Data
AUTHORS: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
IN MY: ORCID | CIÊNCIAVITAE
3
TITLE: Specifying Distributed Hash Tables with Allen Temporal Logic
AUTHORS: Policarpo, Nuno; Santos, Jose Fragoso; Cunha, Alcino ; Leitao, Joao; Costa, Pedro Akos;
PUBLISHED: 2025, SOURCE: 13th International Conference on Formal Methods in Software Engineering-FORMALISE in 2025 IEEE/ACM 13TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE
INDEXED IN: Scopus WOS DBLP CrossRef
4
TITLE: Synthesizing Test Cases for Narrowing Specification Candidates
AUTHORS: Alcino Cunha ; Nuno Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.19177
INDEXED IN: DBLP
IN MY: DBLP
5
TITLE: Validating Formal Specifications with LLM-generated Test Cases
AUTHORS: Alcino Cunha ; Nuno Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.23350
INDEXED IN: DBLP
IN MY: DBLP
6
TITLE: Verifying Multiple TLA+ Configurations with Blast
AUTHORS: Somson, Paul; Cunha, Alcino ;
PUBLISHED: 2025, SOURCE: 13th International Conference on Formal Methods in Software Engineering-FORMALISE in 2025 IEEE/ACM 13TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
7
TITLE: Alloy Goes Fuzzy
AUTHORS: Silva, Pedro; Cunha, Alcino ; Macedo, Nuno ; Oliveira, Jose N. ;
PUBLISHED: 2024, SOURCE: 10th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2024, VOLUME: 14759
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
8
TITLE: Assessing the impact of hints in learning formal specification
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Campos, Jose Creissac ; Margolis, Iara; Sousa, Emanuel;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
9
TITLE: Designing Software with Complex Configurations
AUTHORS: Alcino Cunha ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.13633
INDEXED IN: DBLP
IN MY: DBLP
10
TITLE: Validating multiple variants of an automotive light system with Alloy 6  Full Text
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
Page 1 of 10. Total results: 92.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service