1
TITLE: Merging cloned Alloy models with colorful refactorings  Full Text
AUTHORS: Liu, Chong; Macedo, Nuno ; Cunha, Alcino ;
PUBLISHED: 2022, SOURCE: 23rd Brazilian Symposium on Formal Methods (SBMF) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 220
INDEXED IN: WOS CrossRef
IN MY: ORCID
2
TITLE: Schema-guided Testing of Message-oriented Systems
AUTHORS: André Santos; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2022, SOURCE: Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, Online Streaming, April 25-26, 2022.
INDEXED IN: DBLP
IN MY: ORCID | DBLP
3
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
IN MY: ORCID | DBLP
4
TITLE: The High-Assurance ROS Framework
AUTHORS: André Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2021, SOURCE: 3rd IEEE/ACM International Workshop on Robotics Software Engineering, RoSE 2021 in 3rd IEEE/ACM International Workshop on Robotics Software Engineering, RoSE@ICSE 2021, Madrid, Spain, June 2, 2021
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
5
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
IN MY: ORCID | DBLP
6
TITLE: Merging Cloned Alloy Models with Colorful Refactorings
AUTHORS: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2020, SOURCE: 23rd Brazilian Symposium on Formal Methods, SBMF 2020 in Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
7
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
8
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
9
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
10
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
Page 1 of 5. Total results: 41.