Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Confirmed Publications: 89



31
TITLE: Improving the Visualization of Alloy Instances PDF  Full Text
AUTHORS: Couto, R ; Campos, JC ; Macedo, N ; Cunha, A ;
PUBLISHED: 2018, SOURCE: 4th Workshop on Formal Integrated Development Environment (F-IDE) held as a Satellite Workshop of FLoC in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 284, ISSUE: 284
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
32
TITLE: Property-Based Testing for the Robot Operating System
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2018, SOURCE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18)
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID | DBLP | CIÊNCIAVITAE
33
TITLE: Proposition of an Action Layer for Electrum
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Thomas Hujsa; Nuno Macedo ; Jeanne Tawa;
PUBLISHED: 2018, SOURCE: 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, VOLUME: 10817
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
34
TITLE: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTHORS: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, J ;
PUBLISHED: 2018, SOURCE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, ISSUE: ICFP
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | DBLP | CIÊNCIAVITAE
35
TITLE: The electrum analyzer: model checking relational first-order temporal specifications
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2018, SOURCE: 33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018
INDEXED IN: Scopus DBLP CrossRef: 20
IN MY: ORCID | DBLP | CIÊNCIAVITAE
36
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2018, SOURCE: 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, VOLUME: 10817
INDEXED IN: Scopus DBLP CrossRef: 17
IN MY: ORCID | DBLP | CIÊNCIAVITAE
37
TITLE: A Feature-Based Classification of Model Repair Approaches  Full Text
AUTHORS: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
PUBLISHED: 2017, SOURCE: IEEE Trans. Software Eng., VOLUME: 43, ISSUE: 7
INDEXED IN: Scopus DBLP CrossRef: 44
IN MY: ORCID | DBLP | CIÊNCIAVITAE
38
TITLE: Bidirectional Transformations (BX 2015) Editorial  Full Text
AUTHORS: Alcino Cunha ; Ekkart Kindler;
PUBLISHED: 2017, SOURCE: Journal of Object Technology, VOLUME: 16, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
39
TITLE: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTHORS: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLISHED: 2017, SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123
INDEXED IN: WOS DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
40
TITLE: Exploiting Partial Knowledge for Efficient Model Analysis
AUTHORS: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
PUBLISHED: 2017, SOURCE: 15th International Conference on Automated Technology for Verification and Analysis, ATVA 2017 in Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, VOLUME: 10482
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 4 of 9. Total results: 89.

footer slogan

Useful Links

Get Help

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