Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Confirmed Publications: 92



61
TITLE: Implementing QVT-R Bidirectional Model Transformations Using Alloy
AUTHORS: Macedo, N ; Cunha, A ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793
INDEXED IN: Scopus WOS DBLP CrossRef: 32
IN MY: ORCID | CIÊNCIAVITAE
62
TITLE: Model Repair and Transformation with Echo
AUTHORS: Macedo, N ; Guimaraes, T; Cunha, A ;
PUBLISHED: 2013, SOURCE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE)
INDEXED IN: Scopus WOS DBLP CrossRef: 24
IN MY: ORCID | CIÊNCIAVITAE
63
TITLE: Automatic Unbounded Verification of Alloy Specifications with Prover9
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
INDEXED IN: DBLP
IN MY: ORCID | CIÊNCIAVITAE
64
TITLE: Bounded Model Checking of Temporal Formulas with Alloy PDF
AUTHORS: Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1207.2746
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP | CIÊNCIAVITAE
65
TITLE: Delta Lenses over Inductive Types
AUTHORS: Hugo Pacheco ; Alcino Cunha ; Zhenjiang Hu;
PUBLISHED: 2012, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 49
INDEXED IN: Scopus DBLP
IN MY: ORCID | CIÊNCIAVITAE
66
TITLE: Fast Distributed Computation of Distances in Networks
AUTHORS: Almeida, PS ; Baquero, C ; Cunha, A ;
PUBLISHED: 2012, SOURCE: 51st IEEE Annual Conference on Decision and Control (CDC) in 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC)
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | CIÊNCIAVITAE
67
TITLE: Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: ICMT@TOOLS, VOLUME: 7307 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
68
TITLE: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: RAMiCS, VOLUME: 7560 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
69
TITLE: Specifying UML Protocol State Machines in Alloy
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: IFM, VOLUME: 7321 LNCS
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | CIÊNCIAVITAE
70
TITLE: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
AUTHORS: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: SAT, VOLUME: 7317 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
Page 7 of 10. Total results: 92.

footer slogan

Useful Links

Get Help

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