Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Publicações Confirmadas: 87



21
TÍTULO: Merging Cloned Alloy Models with Colorful Refactorings
AUTORES: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2020, FONTE: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475
INDEXADO EM: DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
22
TÍTULO: Validating Multiple Variants of an Automotive Light System with Electrum
AUTORES: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
23
TÍTULO: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum  Full Text
AUTORES: Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2020, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
24
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: 1
NO MEU: ORCID | DBLP
25
TÍTULO: Sharing and Learning Alloy on the Web PDF
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 arXiv
NO MEU: ORCID | DBLP
26
TÍTULO: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTORES: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
27
TÍTULO: Simulation under Arbitrary Temporal Logic Constraints PDF  Full Text
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus DBLP arXiv CrossRef: 2
NO MEU: ORCID | DBLP
28
TÍTULO: Static-time Extraction and Analysis of the ROS Computation Graph
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
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: 2
NO MEU: ORCID | DBLP
29
TÍTULO: Improving the Visualization of Alloy Instances PDF  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 arXiv CrossRef: 3
NO MEU: ORCID | DBLP
30
TÍTULO: Property-Based Testing for the Robot Operating System
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
Página 3 de 9. Total de resultados: 87.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service