51
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
52
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
53
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
54
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
55
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
56
TITLE: Fast Distributed Computation of Distances in Networks  Full Text
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Alcino Cunha ;
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: 13
IN MY: ORCID | DBLP
57
TITLE: Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
58
TITLE: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
59
TITLE: Specifying UML Protocol State Machines in Alloy
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP
60
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: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
Page 6 of 9. Total results: 82.