Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Confirmed Publications: 92



31
TITLE: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: SETTA, VOLUME: 11951 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
32
TITLE: Simulation under Arbitrary Temporal Logic Constraints  Full Text
AUTHORS: Brunel, J; Chemouil, D; Cunha, A ; Macedo, N ;
PUBLISHED: 2019, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 310, ISSUE: 310
INDEXED IN: Scopus WOS DBLP CrossRef: 5
33
TITLE: Static-time Extraction and Analysis of the ROS Computation Graph
AUTHORS: Santos, A ; Cunha, A ; Macedo, N ;
PUBLISHED: 2019, SOURCE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019)
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID | CIÊNCIAVITAE
34
TITLE: Improving the Visualization of Alloy Instances  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 CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
35
TITLE: Property-Based Testing for the Robot Operating System
AUTHORS: Santos, A ; Cunha, A ; Macedo, N ;
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 | CIÊNCIAVITAE
36
TITLE: Proposition of an Action Layer for Electrum
AUTHORS: Brunel, J; Chemouil, D; Cunha, A ; Hujsa, T; Macedo, N ; Tawa, J;
PUBLISHED: 2018, SOURCE: ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, VOLUME: 10817
INDEXED IN: Scopus WOS DBLP CrossRef: 4
37
TITLE: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTHORS: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proença, 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: 14
IN MY: ORCID | CIÊNCIAVITAE
38
TITLE: The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications
AUTHORS: Brunel, J; Chemouil, D; Cunha, A ; Macedo, N ;
PUBLISHED: 2018, SOURCE: PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18)
INDEXED IN: Scopus WOS DBLP CrossRef: 24
39
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
AUTHORS: Cunha, A ; Macedo, N ;
PUBLISHED: 2018, SOURCE: ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, VOLUME: 10817
INDEXED IN: Scopus WOS DBLP CrossRef: 17
40
TITLE: A Feature-Based Classification of Model Repair Approaches  Full Text
AUTHORS: Macedo, N ; Jorge, T; Cunha, A ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 43, ISSUE: 7
INDEXED IN: Scopus WOS DBLP CrossRef: 46
Page 4 of 10. Total results: 92.

footer slogan

Useful Links

Get Help

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