1
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;
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, PUBLISHED: 2020
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
2
TITLE: Validating Multiple Variants of an Automotive Light System with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ; Chong Liu;
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, PUBLISHED: 2020
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum  Full Text
AUTHORS: Alcino Cunha ; Nuno Macedo ;
SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, ISSUE: 3, PUBLISHED: 2020
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
4
TITLE: ROSY: An elegant language to teach the pure reactive nature of robot programming PDF
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
SOURCE: CoRR, VOLUME: abs/1911.03262, PUBLISHED: 2019
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
5
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;
SOURCE: CoRR, VOLUME: abs/1907.02275, PUBLISHED: 2019
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
6
TITLE: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
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, PUBLISHED: 2019
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: Simulation under Arbitrary Temporal Logic Constraints PDF  Full Text
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
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, PUBLISHED: 2019
INDEXED IN: Scopus DBLP arXiv CrossRef
IN MY: ORCID | DBLP
8
TITLE: Static-time Extraction and Analysis of the ROS Computation Graph
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
SOURCE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
9
TITLE: Improving the Visualization of Alloy Instances PDF  Full Text
AUTHORS: Rui Couto ; Jose C Campos ; Nuno Macedo ; Alcino Cunha ;
SOURCE: 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, ISSUE: 284, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP arXiv CrossRef
IN MY: ORCID | DBLP
10
TITLE: Property-Based Testing for the Robot Operating System
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
SOURCE: 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), PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 4. Total results: 34.