1
TITLE: The High-Assurance ROS Framework
AUTHORS: André Santos; Alcino Cunha ; Nuno Macedo ;
TYPE: Unpublished, PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2103.01603
INDEXED IN: DBLP
IN MY: ORCID | DBLP
2
TITLE: alurity, a toolbox for robot cybersecurity
AUTHORS: Víctor Mayoral Vilches; Irati Abad Fernández; Martin Pinzger; Stefan Rass; Bernhard Dieber; Alcino Cunha ; Francisco J Rodríguez Lera; Giovanni Lacava; Angelica Marotta; Fabio Martinelli; Endika Gil Uriarte;
TYPE: Unpublished, PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.07759
INDEXED IN: DBLP
IN MY: ORCID | DBLP
3
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;
TYPE: Proceedings Paper, 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
4
TITLE: Merging Cloned Alloy Models with Colorful Refactorings
AUTHORS: Chong Liu; Nuno Macedo ; Alcino Cunha ;
TYPE: Proceedings Paper, 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
5
TITLE: Validating Multiple Variants of an Automotive Light System with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ; Chong Liu;
TYPE: Proceedings Paper, 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: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum  Full Text
AUTHORS: Alcino Cunha ; Nuno Macedo ;
TYPE: Article, PUBLISHED: 2020, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
7
TITLE: Verification of system-wide safety properties of ROS applications
AUTHORS: Renato Carvalho; Alcino Cunha ; Nuno Macedo ; André Santos;
TYPE: Proceedings Paper, PUBLISHED: 2020, SOURCE: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020 in IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
8
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;
TYPE: Unpublished, PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.02275
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
9
TITLE: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
TYPE: Proceedings Paper, 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
10
TITLE: Simulation under Arbitrary Temporal Logic Constraints PDF  Full Text
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
TYPE: Proceedings Paper, 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 1 of 7. Total results: 69.