Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Publicações Confirmadas: 56



11
TÍTULO: Pardinus: A Temporal Relational Model Finder  Full Text
AUTORES: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 66, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 10 Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
12
TÍTULO: Quantitative Relational Modelling with QALLOY
AUTORES: Silva, P; Oliveira, JN ; Macedo, N ; Cunha, A ;
PUBLICAÇÃO: 2022, FONTE: PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2022
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Unpaywall
NO MEU: CIÊNCIAVITAE
13
TÍTULO: Schema-guided Testing of Message-oriented Systems
AUTORES: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
14
TÍTULO: Timely Specification Repair for Alloy 6
AUTORES: Cerqueira, Jorge; Cunha, Alcino ; Macedo, Nuno ;
PUBLICAÇÃO: 2022, FONTE: 20th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, VOLUME: 13550
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | CIÊNCIAVITAE
15
TÍTULO: Variability Analysis for Robot Operating System Applications
AUTORES: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLICAÇÃO: 2022, FONTE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
16
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
NO MEU: CIÊNCIAVITAE
17
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
18
TÍTULO: Rosy: An elegant language to teach the pure reactive nature of robot programming
AUTORES: Hugo Pacheco ; Nuno Macedo ;
PUBLICAÇÃO: 2021, FONTE: International Journal of Robotic Computing, VOLUME: 3, NÚMERO: 1
INDEXADO EM: CrossRef
NO MEU: CIÊNCIAVITAE
19
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
20
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
NO MEU: CIÊNCIAVITAE
Página 2 de 6. Total de resultados: 56.

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