Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Confirmed Publications: 90



41
TITLE: Exploiting Partial Knowledge for Efficient Model Analysis
AUTHORS: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
PUBLISHED: 2017, SOURCE: 15th International Conference on Automated Technology for Verification and Analysis, ATVA 2017 in Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, VOLUME: 10482
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
42
TITLE: Mining the Usage Patterns of ROS Primitives
AUTHORS: Santos, A ; Cunha, A ; Macedo, N ; Arrais, R ; dos Santos, FN ;
PUBLISHED: 2017, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2017 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), VOLUME: 2017-September
INDEXED IN: Scopus WOS DBLP CrossRef: 20 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
43
TITLE: A Framework for Quality Assessment of ROS Repositories
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Claudio Lourenco ;
PUBLISHED: 2016, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), VOLUME: 2016-November
INDEXED IN: Scopus WOS DBLP CrossRef: 36
IN MY: ORCID | DBLP | CIÊNCIAVITAE
44
TITLE: Alloy meets TLA+: An exploratory study PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1603.03599
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP | CIÊNCIAVITAE
45
TITLE: Least-change bidirectional model transformation with QVT-R and ATL  Full Text
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2016, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 27
IN MY: ORCID | DBLP | CIÊNCIAVITAE
46
TITLE: Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
AUTHORS: Nuno Macedo ; Julien Brunel; David Chemouil; Alcino Cunha ; Denis Kuperberg;
PUBLISHED: 2016, SOURCE: 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) in FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, VOLUME: 13-18-November-2016
INDEXED IN: Scopus WOS DBLP CrossRef: 41
IN MY: ORCID | DBLP | CIÊNCIAVITAE
47
TITLE: Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira
AUTHORS: Luís Soares Barbosa ; Alcino Cunha ; Alexandra Silva ;
PUBLISHED: 2016, SOURCE: J. Log. Algebr. Meth. Program., VOLUME: 85, ISSUE: 5
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
48
TITLE: An ORCID based synchronization framework for a national CRIS ecosystem
AUTHORS: João Mendes Moreira ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2015, SOURCE: F1000Research, VOLUME: 4, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 9 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
49
TITLE: Exploring Scenario Exploration
AUTHORS: Nuno Macedo ; Alcino Cunha ; Tiago Guimaraes;
PUBLISHED: 2015, SOURCE: 18th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2015, VOLUME: 9033
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | DBLP | CIÊNCIAVITAE
50
Page 5 of 9. Total results: 90.

footer slogan

Useful Links

Get Help

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