Pre-prints


Nuno Macedo, Jorge Tiago, Alcino Cunha: A Feature-based Classification of Model Repair Approaches. IEEE Transactions on Software Engineering. To appear.

2016


Nuno Macedo, Alcino Cunha: Least-change bidirectional model transformation with QVT-R and ATL. Software and System Modeling 15(3): 783-810, 2016.

André Santos, Alcino Cunha, Nuno Macedo, Cláudio Lourenço: A Framework for Quality Assessment of ROS Repositories. In proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'16). To appear.

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg: Lightweight specification and analysis of dynamic systems with rich configurations. In proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'16), pages 373-383. ACM, 2016.

Luis Barbosa, Alcino Cunha, Alexandra Silva (editors): Articles dedicated to Prof. J. N. Oliveira on the occasion of his 60th birthday. Journal of Logical and Algebraic Methods in Programming 85(5). Elsevier, 2016.

Nuno Macedo, Alcino Cunha: Alloy meets TLA+: An exploratory study. CoRR abs/1603.03599, 2016.

2015



Alcino Cunha, Ana Gabriela Garis, Daniel Riesco: Translating between Alloy specifications and UML class diagrams annotated with OCL. Software and System Modeling 14(1): 5-25, 2015. Extended journal version of the SEFM'11 paper.

Nuno Macedo, Alcino Cunha, Tiago Guimarães: Exploring Scenario Exploration. In proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE'15), volume 9033 of LNCS, pages 301-315. Springer-Verlag, 2015.

Alcino Cunha, Ekkart Kindler (editors): Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015, L'Aquila, Italy, July 24, 2015. CEUR Workshop Proceedings 1396. CEUR-WS.org 2015

Nuno Macedo, Jorge Tiago, Alcino Cunha: A Feature-based Classification of Model Repair Approaches. CoRR abs/1504.03947, 2015.

2014


Alcino Cunha: Bounded Model Checking of Temporal Formulas with Alloy. In proceedings of the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ'14), volume 8477 of LNCS. Springer-Verlag 2014. Short paper. Also published as technical report CoRR abs/1207.2746. An additional example and evaluation can be found in the conference slides.

Alcino Cunha, Nuno Macedo, Tiago Guimarães: Target Oriented 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.

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 (BX'14), pages 71-74. CEUR Worshop Proceedings, 2014.

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

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), pages 161-168. IEEE, 2014.

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.

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.

Nuno Macedo, 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-Verlag, 2013.

Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer, A Generic Scheme and Properties of Bidirectional Transformations. CoRR abs/1306.4473, 2013.

2012


Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha, Fast Distributed Computation of Distances in Networks. In proceedings of the 51st IEEE Conference on Decision and Control, pages 5215-5220. IEEE, 2012.

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, volume 7560 of LNCS, pages 146-161. Springer-Verlag, 2012.

Hugo Pacheco, Alcino Cunha, and Zhenjiang Hu, Delta Lenses over Inductive Types. In proceedings of the 1st International Workshop on Bidirectional Transformations. ECEASST, 49. 2012.

Hugo Pacheco and Alcino Cunha. Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas. In proceedings of the 5th International Conference on Model Transformation, volume 7307 of LNCS, pages 89-104. Springer-Verlag, 2012.

Ana Garis, Ana C. R. Paiva, Alcino Cunha, and Daniel Riesco. Specifying UML Protocol State Machines in Alloy. In proceedings of the 9th International Conference on Integrated Formal Methods, volume 7321 of LNCS, pages 312-326. Springer-Verlag, 2012.

Iago Abal, Alcino Cunha, Joe Hurd, and Jorge Sousa Pinto. Using Term Rewriting to Solve Bit-Vector Arithmetic Problems (Poster Presentation). In proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, volume 7317 of LNCS, pages 493-495. Springer-Verlag, 2012.

Nuno Macedo, Alcino Cunha. Automatic Unbounded Verification of Alloy Specifications with Prover9. CoRR abs/1209.5773, 2012.

Alcino Cunha. Bounded Model Checking of Temporal Formulas with Alloy. CoRR abs/1207.2746, 2012.

2011

Alcino Cunha and Hugo Pacheco. Calculating with Lenses: Optimising Bidirectional Transformations. In proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pages 91-100. ACM Press, 2011.

Alcino Cunha and Hugo Pacheco, Algebraic Specialization of Generic Functions for Recursive Types. In proceedings of the 2nd Workshop on Mathematically Structured Functional Programming. ENTCS, 229(5):57-74. Elsevier, 2011.

Alcino Cunha and Joost Visser, Transformation of structure-shy programs with application to XPath queries and strategic functions. Science of Computer Programming, 76(6):516-539. Elsevier, 2011. Extended version of PEPM'07 paper.

João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo Silva, L. S. Barbosa, and J. N. Oliveira. Logic training through algorithmic problem solving. In proceedings of 3rd International Congress on Tools for Teaching Logic, volume 6680 of LNAI, pages 62-69. Springer-Verlag, 2011.

Ana Garis, Alcino Cunha, and Daniel Riesco, Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. In proceedings of the 9th International Conference on Software Engineering and Formal Methods, volume 7041 of LNCS, pages 221-236. Springer-Verlag, 2011.

Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha, Fast Distributed Computation of Distances in Networks. CoRR abs/1111.6087, 2011.

2010

Alcino Cunha and Hugo Pacheco, Generic Pointfree Lenses. In proceedings of the 10th International Conference on Mathematics of Program Construction, volume 6120 of LNCS, pages 331-352. Springer-Verlag, 2010.

2009

Alcino Cunha and Hugo Pacheco, Mapping between Alloy specifications and database implementations. In proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods, pages 285-294. IEEE Press, 2009.

2007

Alcino Cunha and Joost Visser, Transformation of Structure-Shy Programs - Applied to XPath Queries and Strategic Functions. In proceedings of the 16th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pages 11-20. ACM Press, 2007. Slides presented at PEPM'07.

Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, and Joost Visser. Coupled Schema Transformation and Data Conversion For XML and SQL. In M. Hanus, editor, proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, volume 4354 of LNCS, pages 290-304. Springer-Verlag, 2007.

Alcino Cunha and Joost Visser. Strongly Typed Rewriting For Coupled Software Transformation. In proceedings of the 7th International Workshop on Rule-Based Programming. ENTCS, 174(1):17-34. Elsevier, 2007.

2006

Alcino Cunha, José Nuno Oliveira, and Joost Visser. Type-safe Two-level Data Transformation. In J. Misra, T. Nipkow, and E. Sekerinski, editors, proceedings of the 14th International Symposium on Formal Methods, volume 4085 of LNCS, pages 284-299. Springer-Verlag, 2006. An extended version is published as Technical Report DI-PURe-06.03.01. Slides presented at FM'06.

Alcino Cunha, Jorge Sousa Pinto, and José Proença. A Framework for Point-free Program Transformation. In A. Butterfield, C. Grelck, and F. Huch, editors, selected papers of the 17th International Workshop on Implementation and Application of Functional Languages, volume 4015 of LNCS, pages 1-18. Springer-Verlag, 2006.

2005

Alcino Cunha. Point-free Program Calculation. PhD Thesis, Department of Informatics, University of Minho. June 2005.

Manuel Barbosa, Alcino Cunha, and Jorge Sousa Pinto. Recursion patterns and time-analysis. ACM SIGPLAN Notices, 40(5):45-54. ACM Press, 2005.

Alcino Cunha and Jorge Sousa Pinto. Point-free Program Transformation. Special issue on Program Transformation. Fundamenta Informaticae, 66(4):315-352. IOS Press, 2005. Also published as Technical Report DI-PURe-04.02.03.

Alcino Cunha, Jorge Sousa Pinto, and José Proença. Down with Variables. Technical Report DI-PURe-05.06.01, Department of Informatics, University of Minho. June 2005.

2004

Alcino Cunha and Jorge Sousa Pinto. Making the Point-free Calculus Less Pointless. In proceedings of the 2nd APPSEM II Workshop, pages 178-179. April 2004. Abstract.

2003

Alcino Cunha. Automatic Visualization of Recursion Trees: a Case Study on Generic Programming. Selected papers of the 12th International Workshop on Functional and (Constraint) Logic Programming. ENTCS, 86(3). Elsevier, 2003.

Alcino Cunha. Recursion Patterns as Hylomorphisms. Technical Report DI-PURe-03.11.01, Department of Informatics, University of Minho. November 2003.

Alcino Cunha and José Barros. Towards Utility-based Programming. Technical Report UMDITR2003.02, Department of Informatics, University of Minho. 2003.

2002

Alcino Cunha, José Barros, and João Saraiva. Deriving Animations from Recursive Definitions. Draft proceedings of the 14th International Workshop on the Implementation of Functional Languages, pages 113-128, Technical Report 127-02, Departamento de Sistemas Informáticos y Programación, Universidade Complutense de Madrid. September, 2002.

2001

Alcino Cunha. Programação com Funções de Utilidade. PAPCC, Departamento de Informática. Universidade do Minho. 2001.

2000

Luís Gomes da Costa, A. Sérgio Miguel, Mónica P. Barroso, Pedro M. Arezes, Patrício Cordeiro, Alcino Cunha, and João L. Sobral. Anthropometric Survey of the Portuguese Population. In proceedings of the 2nd Congresso de Ergonomia da Associação Portuguesa de Ergonomia. April 2000.

1999

Alcino Cunha and Orlando Belo. Integrating Agent Based Information Outsourcing Techniques on Data Warehousing Systems. In proceedings of the IEEE Systems, Man, and Cybernetics Conference, pages 1025-1030, vol 1. IEEE Press, 1999.

Orlando Belo and Alcino Cunha. Definição de Contratos de Informação em Sistemas de Data Warehousing Baseados em Agentes. Nas actas das Jornadas de Engenharia de Telecomunicações e Computadores. 1999.

1998

Alcino Cunha, Orlando Belo, and Alexandre Santos. Modeling Intelligent Decision Making on Electronic Mail Distribution Systems. In proceedings of the 3rd International Congress of the Federation of EUROpean SIMulation Societies. 1998.

Alcino Cunha and José Neves. A Game-theoretic Approach to the Socialization of Utility-Based Agents. In proceedings of the 3rd International Conference on Multi-Agent Systems, pages 413-414. IEEE Press, 1998. Poster.

Alcino Cunha and Orlando Belo. Intelligent Work Allocation Modeling on a Hardmetal Production Plant. In P. Kopacek and I. Rudas, editors, proceedings of the IEEE International Conference on Intelligent Engineering Systems, pages 297-301. 1998.

António Ribeiro, Alcino Cunha and Orlando Belo. Simulating a Gas Distribution Network in a Distributed Object Oriented System. In proceedings of the the 10th European Simulation Symposium. 1998.

1997

Alcino Cunha and Orlando Belo. A Multi-Agent Approach for Load Distribution in Multi-Enterprise Environments. In proceedings of the 15th IASTED International Conference on Applied Informatics, pages 306-309. 1997.

Alcino Cunha and Orlando Belo. An Electronic Commerce Framework for Resource Allocation Among Multi-Agent Enterprises. In proceedings of the 10th International FLAIRS Conference. 1997.

Alcino Cunha, Carlos Biscaia, Mário Torres, Luís Sobral, and Orlando Belo. Parallel Neural Network Recognition - A Multi-Agent System Approach. In H. Power and J.J. Casares Long, editors, Applications of High Performance Computing in Engineering V. 1997. WIT Press.

Alcino Cunha. Aprendizagem de DCGs Utilizando Algoritmos Genéticos. Nas actas do Terceiro Encontro Nacional do Colégio de Engenharia Electrotécnica. 1997.

Alcino Cunha, Luís Santos, and Orlando Belo. Simulador de Estratégias de Distribuição de Carga. Nas actas do Terceiro Encontro Nacional do Colégio de Engenharia Electrotécnica. 1997.

Alcino Cunha and Orlando Belo. Resource Allocation on Agent Meta-Societies. In E. Costa and A. Cardoso, editors, Progress in Artificial Intelligence, volume 1323 of LNAI, pages 343-348. Springer-Verlag, 1997. Poster.

Alcino Cunha, Luís Santos, and Orlando Belo. Enhancing Load Distribution Strategies Through Simulation. In proceedings of the 9th European Simulation Symposium. 1997.

1996

Alcino Cunha, Carlos Biscaia, Mário Torres, Luís Sobral, and Orlando Belo. Simulating the Use of Autonomous Intelligent Agents on Cellular Manufacturing Plant Floors. In proceedings of the 8th European Simulation Symposium. 1996.

Alcino Cunha. Aplicação da Tecnologia de Agentes a Problemas de Distribuição de Carga em Sistemas Distribuídos. Departamento de Informática, Universidade do Minho. 1996.