Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Publicações Confirmadas: 92



21
TÍTULO: Verification of Railway Network Models with EVEREST
AUTORES: Martins, J; Fonseca, JM; Costa, R ; Campos, JC ; Cunha, A ; Macedo, N ; Oliveira, JN ;
PUBLICAÇÃO: 2022, FONTE: PROCEEDINGS OF THE 25TH INTERNATIONAL ACM/IEEE CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
22
TÍTULO: Experiences on teaching alloy with an automated assessment platform  Full Text
AUTORES: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLICAÇÃO: 2021, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
NO MEU: ORCID | CIÊNCIAVITAE
23
TÍTULO: The High-Assurance ROS Framework
AUTORES: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLICAÇÃO: 2021, FONTE: 3rd IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2021)
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID | CIÊNCIAVITAE
24
TÍTULO: alurity, a toolbox for robot cybersecurity
AUTORES: 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;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2010.07759
INDEXADO EM: DBLP
NO MEU: ORCID | CIÊNCIAVITAE
25
TÍTULO: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTORES: Macedo, N ; Cunha, A ; Pereira, J ; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLICAÇÃO: 2020, FONTE: RIGOROUS STATE-BASED METHODS, ABZ 2020, VOLUME: 12071
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
26
TÍTULO: Merging Cloned Alloy Models with Colorful Refactorings
AUTORES: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2020, FONTE: SBMF
INDEXADO EM: DBLP CrossRef Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
27
TÍTULO: Validating Multiple Variants of an Automotive Light System with Electrum
AUTORES: Cunha, A ; Macedo, N ; Liu, C;
PUBLICAÇÃO: 2020, FONTE: RIGOROUS STATE-BASED METHODS, ABZ 2020, VOLUME: 12071
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
28
TÍTULO: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum  Full Text
AUTORES: Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2020, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 22, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
29
TÍTULO: Verification of system-wide safety properties of ROS applications
AUTORES: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLICAÇÃO: 2020, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS)
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: ORCID | CIÊNCIAVITAE
30
TÍTULO: Sharing and Learning Alloy on the Web
AUTORES: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.02275
INDEXADO EM: DBLP
NO MEU: ORCID | CIÊNCIAVITAE
Página 3 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