Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Confirmed Publications: 56



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

footer slogan

Useful Links

Get Help

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