Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Confirmed Publications: 92



21
TITLE: Verification of Railway Network Models with EVEREST
AUTHORS: Martins, J; Fonseca, JM; Costa, R ; Campos, JC ; Cunha, A ; Macedo, N ; Oliveira, JN ;
PUBLISHED: 2022, SOURCE: PROCEEDINGS OF THE 25TH INTERNATIONAL ACM/IEEE CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
22
TITLE: Experiences on teaching alloy with an automated assessment platform  Full Text
AUTHORS: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: ORCID | CIÊNCIAVITAE
23
TITLE: The High-Assurance ROS Framework
AUTHORS: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2021, SOURCE: 3rd IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2021)
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID | CIÊNCIAVITAE
24
TITLE: alurity, a toolbox for robot cybersecurity
AUTHORS: Víctor Mayoral Vilches; Irati Abad Fernández; Martin Pinzger; Stefan Rass; Bernhard Dieber; Alcino Cunha ; Francisco J Rodríguez Lera; Giovanni Lacava; Angelica Marotta; Fabio Martinelli; Endika Gil Uriarte;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.07759
INDEXED IN: DBLP
IN MY: ORCID | CIÊNCIAVITAE
25
TITLE: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTHORS: Macedo, N ; Cunha, A ; Pereira, J ; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLISHED: 2020, SOURCE: RIGOROUS STATE-BASED METHODS, ABZ 2020, VOLUME: 12071
INDEXED IN: Scopus WOS DBLP CrossRef: 8
26
TITLE: Merging Cloned Alloy Models with Colorful Refactorings
AUTHORS: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2020, SOURCE: SBMF
INDEXED IN: DBLP CrossRef Unpaywall
IN MY: ORCID | CIÊNCIAVITAE
27
TITLE: Validating Multiple Variants of an Automotive Light System with Electrum
AUTHORS: Cunha, A ; Macedo, N ; Liu, C;
PUBLISHED: 2020, SOURCE: RIGOROUS STATE-BASED METHODS, ABZ 2020, VOLUME: 12071
INDEXED IN: Scopus WOS DBLP CrossRef: 4
28
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum  Full Text
AUTHORS: Cunha, A ; Macedo, N ;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 22, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 17
29
TITLE: Verification of system-wide safety properties of ROS applications
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS)
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: ORCID | CIÊNCIAVITAE
30
TITLE: Sharing and Learning Alloy on the Web
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.02275
INDEXED IN: DBLP
IN MY: ORCID | CIÊNCIAVITAE
Page 3 of 10. Total results: 92.

footer slogan

Useful Links

Get Help

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