Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Publicações Confirmadas: 56



21
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
22
TÍTULO: ROSY: An elegant language to teach the pure reactive nature of robot programming PDF
AUTORES: Pacheco, H ; Macedo, N ;
PUBLICAÇÃO: 2020, FONTE: 2020 FOURTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2020)
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef
NO MEU: CIÊNCIAVITAE
23
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
NO MEU: CIÊNCIAVITAE
24
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
NO MEU: CIÊNCIAVITAE
25
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
26
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
27
TÍTULO: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTORES: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2019, FONTE: SETTA, VOLUME: 11951 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
28
TÍTULO: Simulation under Arbitrary Temporal Logic Constraints  Full Text
AUTORES: Brunel, J; Chemouil, D; Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2019, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 310, NÚMERO: 310
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: CIÊNCIAVITAE
29
TÍTULO: Static-time Extraction and Analysis of the ROS Computation Graph
AUTORES: Santos, A ; Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2019, FONTE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019)
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
NO MEU: ORCID | CIÊNCIAVITAE
30
TÍTULO: Improving the Visualization of Alloy Instances  Full Text
AUTORES: Couto, R ; Campos, JC ; Macedo, N ; Cunha, A ;
PUBLICAÇÃO: 2018, FONTE: 4th Workshop on Formal Integrated Development Environment (F-IDE) held as a Satellite Workshop of FLoC in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 284, NÚMERO: 284
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | CIÊNCIAVITAE
Página 3 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