Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Confirmed Publications: 92



51
TITLE: Exploring Scenario Exploration
AUTHORS: Macedo, N ; Cunha, A ; Guimaraes, T;
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: 16
IN MY: ORCID | CIÊNCIAVITAE
52
53
TITLE: Translating between Alloy specifications and UML class diagrams annotated with OCL  Full Text
AUTHORS: Cunha, A ; Garis, A; Riesco, D;
PUBLISHED: 2015, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 41
IN MY: ORCID | CIÊNCIAVITAE
54
TITLE: BenchmarX
AUTHORS: Anthony Anjorin; Alcino Cunha ; Holger Giese; Frank Hermann; Arend Rensink; Andy Schürr;
PUBLISHED: 2014, SOURCE: EDBT/ICDT Workshops, VOLUME: 1133
INDEXED IN: Scopus DBLP
IN MY: ORCID | CIÊNCIAVITAE
55
TITLE: Bidirectional Spreadsheet Formulas
AUTHORS: Macedo, N ; Pacheco, H ; Sousa, NR; Cunha, A ;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
56
TITLE: Bounded Model Checking of Temporal Formulas with Alloy
AUTHORS: Alcino Cunha ;
PUBLISHED: 2014, SOURCE: 4th International Conference on Abstract State Machines, Alloy, B, TLA,VDM, and Z (ABZ) in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, VOLUME: 8477
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | DBLP | CIÊNCIAVITAE
57
TITLE: Target Oriented Relational Model Finding
AUTHORS: Alcino Cunha ; Nuno Macedo ; Tiago Guimarães;
PUBLISHED: 2014, SOURCE: FASE, VOLUME: 8411 LNCS
INDEXED IN: Scopus DBLP CrossRef: 20
IN MY: ORCID | CIÊNCIAVITAE
58
TITLE: Towards a Framework for Multidirectional Model Transformations
AUTHORS: Nuno Macedo ; Alcino Cunha ; Hugo Pacheco ;
PUBLISHED: 2014, SOURCE: EDBT/ICDT Workshops, VOLUME: 1133
INDEXED IN: Scopus DBLP
IN MY: ORCID | CIÊNCIAVITAE
59
TITLE: A Generic Scheme and Properties of Bidirectional Transformations
AUTHORS: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1306.4473
INDEXED IN: DBLP
IN MY: ORCID | CIÊNCIAVITAE
60
TITLE: Composing Least-change Lenses
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 57
INDEXED IN: Scopus DBLP
IN MY: ORCID | CIÊNCIAVITAE
Page 6 of 10. Total results: 92.

footer slogan

Useful Links

Get Help

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