Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Publicações Confirmadas: 56



31
TÍTULO: Property-Based Testing for the Robot Operating System
AUTORES: Santos, A ; Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2018, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID | CIÊNCIAVITAE
32
TÍTULO: Proposition of an Action Layer for Electrum
AUTORES: Brunel, J; Chemouil, D; Cunha, A ; Hujsa, T; Macedo, N ; Tawa, J;
PUBLICAÇÃO: 2018, FONTE: ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, VOLUME: 10817
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: CIÊNCIAVITAE
33
TÍTULO: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTORES: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proença, J ;
PUBLICAÇÃO: 2018, FONTE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, NÚMERO: ICFP
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
NO MEU: ORCID | CIÊNCIAVITAE
34
TÍTULO: The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications
AUTORES: Brunel, J; Chemouil, D; Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2018, FONTE: PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18)
INDEXADO EM: Scopus WOS DBLP CrossRef: 24
NO MEU: CIÊNCIAVITAE
35
TÍTULO: Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
AUTORES: Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2018, FONTE: ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, VOLUME: 10817
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
NO MEU: CIÊNCIAVITAE
36
TÍTULO: A Feature-Based Classification of Model Repair Approaches  Full Text
AUTORES: Macedo, N ; Jorge, T; Cunha, A ;
PUBLICAÇÃO: 2017, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 43, NÚMERO: 7
INDEXADO EM: Scopus WOS DBLP CrossRef: 46
NO MEU: CIÊNCIAVITAE
37
TÍTULO: Exploiting Partial Knowledge for Efficient Model Analysis
AUTORES: Macedo, N ; Cunha, A ; Pessoa, E;
PUBLICAÇÃO: 2017, FONTE: AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), VOLUME: 10482
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: CIÊNCIAVITAE
38
TÍTULO: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTORES: Halder, R; Proença, J ; Macedo, N ; Santos, A;
PUBLICAÇÃO: 2017, FONTE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 53
NO MEU: ORCID | CIÊNCIAVITAE
39
TÍTULO: Mining the Usage Patterns of ROS Primitives
AUTORES: Santos, A ; Cunha, A ; Macedo, N ; Arrais, R ; dos Santos, FN ;
PUBLICAÇÃO: 2017, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2017 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), VOLUME: 2017-September
INDEXADO EM: Scopus WOS DBLP CrossRef: 20 Handle
NO MEU: ORCID | CIÊNCIAVITAE
40
TÍTULO: A Framework for Quality Assessment of ROS Repositories
AUTORES: Santos, A ; Cunha, A ; Macedo, N ; Lourenço, C ;
PUBLICAÇÃO: 2016, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), VOLUME: 2016-November
INDEXADO EM: Scopus WOS DBLP CrossRef: 36
NO MEU: ORCID | CIÊNCIAVITAE
Página 4 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