Publications

Journal papers

• Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva: Embedding, Evolution, and Validation of Model-Driven Spreadsheets. To appear in IEEE Transactions on Software Engineering.

• Nuno Macedo, Alcino Cunha: Least-change Bidirectional Model Transformation with QVT-R and ATL. To appear in Software and Systems Modeling.

• Alcino Cunha, Ana Garis, Daniel Riesco: Translating between Alloy specifications and UML Class Diagrams annotated with OCL. Software and Systems Modeling. June, 2013.

International conference papers

• Nuno Macedo, Hugo Pacheco, Nuno Rocha Sousa, Alcino Cunha: Bidirectional Spreadsheet Formulas. In proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC '14). IEEE, 2014. To appear.

• Nuno Macedo, Alcino Cunha, Hugo Pacheco: Towards a Framework for Multidirectional Model Transformations. In proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference: 3rd International Workshop on Bidirectional Transformations (BX'14), pages 71-74. CEUR Worshop Proceedings, 2014.

• Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Shürr: BenchmarX. In proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference: 3rd International Workshop on Bidirectional Transformations (BX'14), pages 82-86. CEUR Worshop Proceedings, 2014.

• Alcino Cunha, Nuno Macedo and Tiago Guimarães: Target oriented relational model finding. In proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE'14), volume 8411 of LNCS, pages 17-31. Springer-Verlag, 2014.

• Pedro Martins, João Saraiva, João Paulo Fernandes and Eric van Wyk: Generating Attribute Grammar-based Bidirectional Transformations from Rewrite Rules. In proceedings of the 2014 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'14), pages 63-70. ACM, 2014. Short paper.

• Pedro Martins, João Paulo Fernandes and João Saraiva: Zipper-based Attribute Grammars and their Extensions. In proceedings of the 17th Brazilian Symposium on Programming Languages (SBLP'13), volume 8129 of LNCS, pages 135-149. Springer, 2013.

• Nuno Macedo, Tiago Guimarães, Alcino Cunha: Model Repair and Transformation with Echo. In proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13), pages 694-697. IEEE, 2013. Tool demo.

• Orlando Belo, Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Rui Pereira, João Saraiva: QuerySheet: A Bidirectional Query Environment for Model-Driven Spreadsheets. In proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC '13), pages 199-200. IEEE, 2013. Tool demo.

• Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Rui Pereira, João Saraiva: Querying Model-Driven Spreadsheets. In proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC '13), pages 83-86. IEEE, 2013. Short paper.

• Nuno Macedo, Hugo Pacheco, Alcino Cunha, and José Nuno Oliveira: Composing Least-change Lenses. In proceedings of the 2nd International Workshop on Bidirectional Transformations (BX'13). Electronic Communications of the EASST, 57. 2013. Alloy model and Isabelle theory used for the verification of the properties mentioned in the paper.

• Nuno Macedo and Alcino Cunha: Implementing QVT-R Bidirectional Model Transformations using Alloy. In proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE'13), volume 7793 of LNCS, pages 297-311. Springer, 2013.

• Nuno Macedo, Hugo Pacheco, and Alcino Cunha: Relations as executable specifications: taming partiality and non-determinism using invariants. In proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS'12), volume 7560 of LNCS, pages 146-161. Springer, 2012.

• Jácome Cunha, João Paulo Fernandes, Jorge Mendes, and João Saraiva: Towards an Evaluation of Bidirectional Model-driven Spreadsheets. In proceedings of the 1st International Workshop on User evaluation for Software Engineering Researchers (USER'12), pages 25-28. IEEE, 2012.

• Jácome Cunha, João Paulo Fernandes, Jorge Mendes, and João Saraiva: A Bidirectional Model-driven Spreadsheet Environment. In proceedings of the 34th International Conference on Software Engineering (ICSE'12), pages 1443-1444. IEEE, 2012. Poster.

• Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Hugo Pacheco, and João Saraiva: Bidirectional Transformation of Model-Driven Spreadsheets. In proceedings of the 5th International Conference on Theory and Practice of Model Transformations (ICMT'12), volume 7307 of LNCS, pages 105-120. Springer, 2012.

• Hugo Pacheco and Alcino Cunha: Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas. In proceedings of the 5th International Conference on Theory and Practice of Model Transformations (ICMT'12), volume 7307 of LNCS, pages 89-104. Springer, 2012.

• Hugo Pacheco, Alcino Cunha, and Zhenjiang Hu: Delta Lenses over Inductive Types. In proceeding of the 1st International Workshop on Bidirectional Transformations (BX'12). Electronic Communications of the EASST, 49. 2012.

Technical Reports

• Pedro Martins, João Paulo Fernandes, João Saraiva, Eric Van Wyk, Anthony Sloane: Embedding Attribute Grammars and their Extensions using Functional Zippers. 2014. Submitted to Science of Computer Programming.

• Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer: A Generic Scheme and Properties of Bidirectional Transformations. 2013.

• Nuno Macedo, Hugo Pacheco, Alcino Cunha, João Paulo Fernandes, Jácome Cunha, Jorge Mendes, and José Nuno Oliveira: Towards the Bidirectionalization of Spreadsheet Formulas. 2012.

Thesis

• Pedro Martins: Embedding Attribute Grammars and their Extensions using Functional Zippers. PhD, July 2014

• Nuno Macedo: A Relational Approach to Bidirectional Transformation. PhD, October 2014.

• Nuno Sousa: Bidirectional Distributed Data Aggregation. MSc, December 2014.