Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Confirmed Publications: 47



11
TITLE: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
12
TITLE: Merging Cloned Alloy Models with Colorful Refactorings  Full Text
AUTHORS: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2020, SOURCE: Formal Methods: Foundations and Applications
INDEXED IN: Unpaywall
IN MY: ORCID
13
TITLE: ROSY: An elegant language to teach the pure reactive nature of robot programming
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: 4th IEEE International Conference on Robotic Computing, IRC 2020 in Fourth IEEE International Conference on Robotic Computing, IRC 2020, Taichung, Taiwan, November 9-11, 2020
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
14
TITLE: Validating Multiple Variants of an Automotive Light System with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
15
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum  Full Text
AUTHORS: Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
16
TITLE: Verification of system-wide safety properties of ROS applications
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
17
TITLE: ROSY: An elegant language to teach the pure reactive nature of robot programming PDF
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.03262
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
18
TITLE: Sharing and Learning Alloy on the Web PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.02275
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
19
TITLE: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
20
TITLE: Simulation under Arbitrary Temporal Logic Constraints PDF  Full Text
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310
INDEXED IN: Scopus DBLP arXiv CrossRef: 2
IN MY: ORCID | DBLP
Page 2 of 5. Total results: 47.

A place for researchers and their institutions

Useful Links

Get Help

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