Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Confirmed Publications: 87



51
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: 6
IN MY: ORCID | DBLP
52
TITLE: Target Oriented Relational Model Finding
AUTHORS: Alcino Cunha ; Nuno Macedo ; Tiago Guimarães;
PUBLISHED: 2014, SOURCE: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, VOLUME: 8411
INDEXED IN: Scopus DBLP CrossRef: 11
IN MY: ORCID | DBLP
53
TITLE: Towards a framework for multidirectional model transformations PDF
AUTHORS: Macedo, N ; Cunha, A ; Pacheco, H ;
PUBLISHED: 2014, SOURCE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in CEUR Workshop Proceedings, VOLUME: 1133
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
54
TITLE: A Generic Scheme and Properties of Bidirectional Transformations PDF
AUTHORS: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1306.4473
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
55
TITLE: Composing Least-change Lenses
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 57
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
56
TITLE: Implementing QVT-R Bidirectional Model Transformations Using Alloy
AUTHORS: Nuno Macedo ; Alcino Cunha ;
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: 23
IN MY: ORCID | DBLP
57
TITLE: Model Repair and Transformation with Echo
AUTHORS: Nuno Macedo ; Tiago Guimaraes; Alcino Cunha ;
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: 13
IN MY: ORCID | DBLP
58
TITLE: Automatic Unbounded Verification of Alloy Specifications with Prover9 PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
59
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
60
TITLE: Delta Lenses over Inductive Types
AUTHORS: Hugo Pacheco ; Alcino Cunha ; Zhenjiang Hu;
PUBLISHED: 2012, SOURCE: ECEASST, VOLUME: 49
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
Page 6 of 9. Total results: 87.

A place for researchers and their institutions

Useful Links

Get Help

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