Publications

2016

Model inference for spreadsheets. Jácome Cunha, Martin Erwig, Jorge Mendes, João Saraiva. In Automated Software Engineering 23(3): 361-392 (2016)
Evaluating refactorings for spreadsheet models. Jácome Cunha, João Paulo Fernandes, Pedro Martins, Jorge Mendes, Rui Pereira, João Saraiva. In Journal of Systems and Software 118: 234-250 (2016).
User-friendly spreadsheet querying: an empirical study. Rui Pereira, João Saraiva, Jácome Cunha, João Paulo Fernandes:31st Annual ACM Symposium on Applied Computing (SAC 2016), track on Human Computer Interaction, Pisa, Italy, pages 202-204, April 2016.

2015

Embedding, Evolution, and Validation of Model-Driven Spreadsheets. Jácome Cunha, João Paulo Fernandes, Jorge Mendes and João Saraiva. In the IEEE Transactions on Software Engineering, 41, 3: pages 241-263, 2015.
Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets. Pedro Maia, Jorge Mendes, Jácome Cunha, Henrique Rebêlo, João Saraiva. . (Felienne Hermans, Richard F. Paige, Peter Sestof, Ed.). In Proceedings of the 2nd Workshop on Software Engineering methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015), 2015.
Spreadsheet Engineering. Jácome Cunha, João Paulo Fernandes, Jorge Mendes and João Saraiva. In the proceedings of Revised Selected Papers of the Central European Functional Programming School, 5th Summer School, CEFP 2013, pages 246-299, Cluj-Napoca, Romania, July 8-20, 2013. LNCS, 8606.
Design and Implementation of Queries for Model-Driven Spreadsheets. Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Rui Pereira and João Saraiva. In the proceedings of Revised Selected Papers of the Central European Functional Programming School, 5th Summer School, CEFP 2013, pages 459-478, Cluj-Napoca, Romania, July 8-20, 2013. LNCS, 8606.

2014

Model inference for spreadsheets, Jácome Cunha, Martin Erwig, Jorge Mendes, João Saraiva. Automated Software Engineering, 0: 1 - 32, 2014.
ES-SQL: Visually querying spreadsheets, Jácome Cunha, João P. Fernandes, Jorge Mendes, Rui Pereira, João Saraiva.In Proceedings of the 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Melbourne, Australia, 2014.
Smelling Faults in Spreadsheets,Rui Abreu, Jácome Cunha, João Paulo Fernandes, Pedro Martins, Alexandre Perez, and João Saraiva,ICSME2014, Victoria, Canada. September 2014.
Refactoring meets Model-Driven Spreadsheet Evolution, Jácome Cunha, João Paulo Fernandes, Pedro Martins, Rui Pereira, and João Saraiva, QUATIC 2014, Guimarães, Portugal, September 2014.
Embedding Model-Driven Spreadsheet Queries in Spreadsheet Systems,Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Rui Pereira, João Saraiva, VL/HCC 2014, Melbourne, Australia. July 2014.
MDSheet - Model-Driven Spreadsheets, Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Rui Pereira, João Saraiva, SEMS 2014, Deflt, The Netherlands. June 2014.
On the Empirical Evaluation of Similarity Coefficients for Spreadsheets Fault Localization, Birgit Hofer, Alexandre Perez, Rui Abreu, Franz Wotawa, Journal of Automated Software Engineering, Springer, 2014 (to appear).
Model-based Programming Environments for Spreadsheets (preprint PDF, web version @ ScienceDirect, DOI), Jácome Cunha, Jorge Mendes, João Saraiva, Joost Visser, Journal of Science of Computer Programming, Elsevier, 2014.
Graphical Querying of Model-Driven Spreadsheets (preprint PDF), Jácome Cunha, João Paulo Fernandes, Rui Pereira, João Saraiva, In the Proceedings of the 16th Human-Computer Interaction International Conference, Crete, Greece, June 2014 (to appear).

2013

Spreadsheet Engineering, Jácome Cunha, João Paulo Fernandes, João Saraiva, Invited tutorial at the Summer School on Domain Specific Languages, the Proceedings of the DSL’13</span>, July 8-20, 2013. Cluj, Romania (LNCS Tutorials,to appear.)
Querying Model-Driven Spreadsheets (PDF), Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Rui Pereira, João Saraiva, In the Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC ’13), September 15-19, 2012. San Jose, CA, USA.
QuerySheet: A Bidirectional Query Environment for Model-Driven Spreadsheets (PDF), Orlando Belo, Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Rui Pereira, João Saraiva, In the Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC ’13), September 15-19, 2012. San Jose, CA, USA.
A Framework for Modular and Customizable Software Analysis (PDF),José João Almeida, Nuno Carvalho, João Paulo Fernandes, Pedro Martins, João Saraiva. In proceedings of the The 13th International Conference on Computational Science and Its Applications (ICCSA 2013), Ho Chi Minh City, Vietnam, June 24-27, 2013.
Complexity Metrics for ClassSheet Models (PDF), Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva. In proceedings of the The 13th International Conference on Computational Science and Its Applications (ICCSA 2013);, Ho Chi Minh City, Vietnam, June 24-27, 2013.
On the empirical evaluation of fault localization techniques for spreadsheets, B Hofer, A Riboira, F Wotawa, R Abreu, E Getzner. Fundamental Approaches to Software Engineering - FASE 2013, LNCS, Springer. March 2013.

2012

Evolution of Model-Driven Spreadsheets (PDF), Jorge Mendes, MSc thesis, Departamento de Informática, Universidade do Minho, September 2012.
SmellSheet Detective: A Tool for Detecting Bad Smells in Spreadsheets (PDF), Jácome Cunha, João Paulo Fernandes, Pedro Martins, Jorge Mendes and João Saraiva. In proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2012) (tool demo), Innsbruck, Austria, pages 243–244, September/October 2012.
Model-Driven Spreadsheets in a Multi-User Environment (PDF), Jorge Mendes. In proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2012) (Graduate Consortium), Innsbruck, Austria, pages 231–232, September/October 2012.
Model-based Programming Environments for Spreadsheets, Jácome Cunha, João Saraiva, Joost Visser, 16th Brazilian Symposium on Programming Languages (SBLP 2012), pages 117-133, Natal, Brazil, September 2012.
Extension and Implementation of ClassSheet Models (PDF),Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva, 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2012), Innsbruck, Austria, pages 19–22, September/October 2012.
Governance of Spreadsheets through Spreadsheet Change Reviews,Miguel A. Ferreira, Joost Visser, In proceedings of the 13th Annual Conference of the European Spreadsheet Risks Interest Group EuSpRIG 12, Manchester, UK, July 2012.
A Quality Model for Spreadsheets (PDF), Jácome Cunha, João Paulo Fernandes, Christophe Peixoto, João Saraiva, In the Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, Quality in ICT Evolution Track, pages 231-236, Lisbon, Portugal, 3 to 6 September 2012.
Benchmark-based Software Product Quality Evaluation, Tiago Alves, PhD thesis, May 2012.
Towards an Evaluation of Bidirectional Model-driven Spreadsheets (PDF), Jácome Cunha, João Paulo Fernandes, Jorge Mendes and João Saraiva. User evaluation for Software Engineering Researchers (USER 2012), an ICSE 2012 Workshop, Zurich, Switzerland, pages 25-28, June 5, 2012.
Extended abstract + Poster: A Bidirectional Model-driven Spreadsheet Environment (PDF), Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva. 34th Internactional Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, pages 1443-1444, June 2012.
Towards a Catalog of Spreadsheet Smells (PDF), Jácome Cunha, João Paulo Fernandes, Hugo Ribeiro, João Saraiva. The 12th International Conference on Computational Science and Its Applications (ICCSA 2012), vol. 7336 of LNCS, pages 202–216, Springer.Salvador de Bahia, Brazil, June 2012.
Model-based Spreadsheet Engineering: Using Relational Models to Improve Spreadsheets, Jácome Cunha, Ed. Shahanaz Soogah, LAP LAMBERT Academic Publishing, ISBN 978-3-8484-3036-9. The book publishes a revised version of the PhD thesis.
Bidirectional Transformation of Model-Driven Spreadsheets (PDF), Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva and Hugo Pacheco. 5th International Conference on Model Transformation (ICMT 2012), Prague, Czech Republic, pages 105-120, May 2012.
Constraint-based Debugging of Spreadsheets (PDF), Rui Abreu, André Riboira, and Franz Wotawa, XV Ibero-American Conference on Software Engineering (CibSE12), Buenos Aires, Argentina, April 2012.
MDSheet: A Framework for Model-driven Spreadsheet Engineering (PDF), Jácome Cunha, João Paulo Fernandes, Jorge Mendes and João Saraiva.34th Internactional Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, pages 1395-1398, June 2012. A tool demo video is available here.
Coupled Evolution of Model-driven Spreadsheets (PDF), Jorge Mendes. Extended Abstract for the Student Research Competition at 34th Internactional Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, pages 1616–1618, June 2012.
From Relational ClassSheets to UML+OCL (PDF), Jácome Cunha, João Paulo Fernandes and João Saraiva. 27th Annual ACM Symposium on Applied Computing (SAC 2012), track on Software Engineering, Trento, Italy, pages 1151-1158, March 2012.

2011

A Quality Model for SpreadSheets (PDF), Christophe Peixoto, MSc thesis, Departamento de Informática, Universidade do Minho, December 2011.
Smells in Spreadsheets (PDF), Hugo Ribeiro, MSc thesis, Departamento de Informática, Universidade do Minho, December 2011.
ClassSheet-driven Spreadsheet Environments, Jorge Mendes. In proceedings of the Graduate Consortium of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2011), Pittsburgh, USA, pages 235-236, IEEE Computer Society, September 2011.
Embedding and Evolution of Spreadsheet Models in Spreadsheet Systems. Jácome Cunha, Jorge Mendes, João Paulo Fernandes and João Saraiva. In proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2011), Pittsburgh, USA, pages 179-186, IEEE Computer Society, September 2011.
HaExcel: A model-based Spreasheet evolution system.Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva. Poster at the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2011), Pittsburgh, USA, IEEE Computer Society, September 2011. (PNG)
An Empirical Study on End-users Productivity Using Model-based Spreadsheets, Jácome Cunha, Laura Beckwith, João Paulo Fernandes, João Saraiva, In proceedings of the EuSpRIG’11, London, UK, July 2011.
Shortcut Fusion Rules for the Derivation of Circular and Higher-order Programs, Alberto Pardo, João Paulo Fernandes, João Saraiva. Accepted for publication at the Journal Higher-Order and Symbolic Computation (HOSC), Springer.
End Users Productivity in Model-based Spreadsheets: An Empirical Study, Jácome Cunha, Laura Beckwith, João Paulo Fernandes, João Saraiva, In proceedings of the Third International Symposium on End-User Development - IS-EUD 2011, Torre Canne (Brindisi), Italy, June 2011.
Type-safe Evolution of Spreadsheets, Jácome Cunha, Joost Visser, Tiago Alves, João Saraiva, In proceedings of the Fundamental Approaches to Software Engineering - FASE 2011, Saarbrücken, Germany, volume 6603 of LNCS, pages 186-201, Springer. March 2011.
Model-based Spreadsheet Engineering, Jácome Cunha, PhD thesis, March 2011.
Strictification of Circular Programs, João Paulo Fernandes, João Saraiva, Daniel Seidel and Janis Voigtlander, In proceedings of the ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation, Austin, Texas, USA, January 2011.

2010

GUISurfer: A Generic Framework for Reverse Engineering of Graphical User Interfaces, João Carlos SIlva, PhD Thesis, December 2010.
GUI Inspection from Source Code Analysis, João Carlos Silva, José Campos, João Saraiva. In proceedings of the Fourth International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), volume 33, Electronic Communications of the EASST, 2010.
GUI Behavior from Source Code Analysis, João Carlos Silva, Carlos Silva, José Campos, João Saraiva. In 4a. Conferência Nacional em Interacção Humano-Computador (Interacção 2010), pages 81-88.
Automatically Inferring ClassSheet Models from Spreadsheets, Jácome Cunha, Martin Erwig, João Saraiva. In proceedings of the 2010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2010), Madrid, Spain, IEEE Computer Society, September 2010.
The GUISurfer tool: towards a language independent approach to reverse engineering GUI code, João Carlos Silva, Carlos Silva, Rui Gonçalo, João Saraiva, José Campos. In proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2010), Berlin, Germany, June 2010.

2009

SpreadSheets as a Programming Paradigm, João Saraiva. Invited talk at the XIII Brazilian Symposium on Programming Languages (SBLP 2009), extended asbtract, pages 3-4, 2009.
Discovery-based Edit Assistance for Spreadsheets, Jácome Cunha, João Saraiva, and Joost Visser. In proceedings of 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), pages 233-237, IEEE Computer Society, 2009. DOI
From Spreadsheets to Relational Databases and Back, Jácome Cunha, João Saraiva, and Joost Visser. In proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation (PEPM 2009), pages 179-188, ACM, 2009. DOI

Past

Design, Implementation and Animation of Spreadsheets in the Lrc System, João Saraiva. In proceedings of the International Workshop on the Foundations of Spreadsheets (FOS’04). Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers, Rome, Italy, September, 2004.
Generating Spreadsheet-like Tools from Strong Attribute Grammars, João Saraiva and Doaitse Swierstra. In proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE 2003), volume 2830 of LNCS, Springer.