Resource Allocation on Agent Meta-Societies. - Alcino Cunha; Orlando Belo (EPIA, 1997)

A Game-Theoretic Approach to the Socialization of Utility-Based Agents. - Alcino Cunha; José Neves (ICMAS, 1998)

Automatic visualization of recursion trees: a case study on generic programming. - Alcino Cunha (WFLP, 2003)

A Framework for Point-Free Program Transformation. - Alcino Cunha; Jorge Sousa Pinto; José Proença (IFL, 2005)

Point-free Program Transformation. - Alcino Cunha; Jorge Sousa Pinto (Fundam. Informaticae, 2005)

Recursion patterns and time-analysis. - Manuel Barbosa; Alcino Cunha; Jorge Sousa Pinto (ACM SIGPLAN Notices, 2005)

Point-free program calculation - Alcino Cunha (2005)

Type-Safe Two-Level Data Transformation. - Alcino Cunha; José Nuno Oliveira; Joost Visser 001 (FM, 2006)

Strongly Typed Rewriting For Coupled Software Transformation. - Alcino Cunha; Joost Visser 001 (RULE@FLoC, 2006)

Coupled Schema Transformation and Data Conversion for XML and SQL. - Pablo Berdaguer; Alcino Cunha; Hugo Pacheco 001; Joost Visser 001 (PADL, 2007)

Transformation of structure-shy programs: applied to XPath queries and strategic functions. - Alcino Cunha; Joost Visser 001 (PEPM, 2007)

Algebraic Specialization of Generic Functions for Recursive Types. - Alcino Cunha; Hugo Pacheco 001 (MSFP@ICALP, 2008)

Mapping between Alloy Specifications and Database Implementations. - Alcino Cunha; Hugo Pacheco 001 (SEFM, 2009)

Generic Point-free Lenses. - Hugo Pacheco 001; Alcino Cunha (MPC, 2010)

Calculating with lenses: optimising bidirectional transformations. - Hugo Pacheco 001; Alcino Cunha (PEPM, 2011)

Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. - Ana Gabriela Garis; Alcino Cunha; Daniel Riesco (SEFM, 2011)

Logic Training through Algorithmic Problem Solving. - João F. Ferreira 001; Alexandra Mendes; Alcino Cunha; Carlos Baquero; Paulo F. Silva 001; Luís Soares Barbosa; José Nuno Oliveira (TICTTL, 2011)

Transformation of structure-shy programs with application to XPath queries and strategic functions. - Alcino Cunha; Joost Visser 001 (Sci. Comput. Program., 2011)

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. - Nuno Macedo 001; Hugo Pacheco 001; Alcino Cunha (RAMiCS, 2012)

Fast distributed computation of distances in networks. - Paulo Sérgio Almeida; Carlos Baquero; Alcino Cunha (CDC, 2012)

Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas. - Hugo Pacheco 001; Alcino Cunha (ICMT@TOOLS, 2012)

Specifying UML Protocol State Machines in Alloy. - Ana Gabriela Garis; Ana C. R. Paiva; Alcino Cunha; Daniel Riesco (IFM, 2012)

Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). - Iago Abal; Alcino Cunha; Joe Hurd; Jorge Sousa Pinto (SAT, 2012)

Automatic Unbounded Verification of Alloy Specifications with Prover9 - Nuno Macedo 001; Alcino Cunha (CoRR, 2012)

Delta Lenses over Inductive Types. - Hugo Pacheco 001; Alcino Cunha; Zhenjiang Hu (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Implementing QVT-R Bidirectional Model Transformations Using Alloy. - Nuno Macedo 001; Alcino Cunha (FASE, 2013)

Model repair and transformation with Echo. - Nuno Macedo 001; Tiago Guimarães; Alcino Cunha (ASE, 2013)

A Generic Scheme and Properties of Bidirectional Transformations. - Hugo Pacheco 001; Nuno Macedo 001; Alcino Cunha; Janis Voigtländer (CoRR, 2013)

Composing Least-change Lenses. - Nuno Macedo 001; Hugo Pacheco 001; Alcino Cunha; José Nuno Oliveira (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Bounded Model Checking of Temporal Formulas with Alloy. - Alcino Cunha (ABZ, 2014)

BenchmarX. - Anthony Anjorin; Alcino Cunha; Holger Giese; Frank Hermann 001; Arend Rensink; Andy Schürr (EDBT/ICDT Workshops, 2014)

Towards a Framework for Multidirectional Model Transformations. - Nuno Macedo 001; Alcino Cunha; Hugo Pacheco 001 (EDBT/ICDT Workshops, 2014)

Target Oriented Relational Model Finding. - Alcino Cunha; Nuno Macedo 001; Tiago Guimarães (FASE, 2014)

Bidirectional spreadsheet formulas. - Nuno Macedo 001; Hugo Pacheco 001; Nuno Rocha Sousa; Alcino Cunha (VL/HCC, 2014)

Exploring Scenario Exploration. - Nuno Macedo 001; Alcino Cunha; Tiago Guimarães (FASE, 2015)

An ORCID based synchronization framework for a national CRIS ecosystem. - João Mendes Moreira 002; Alcino Cunha; Nuno Macedo 001 (F1000Research, 2015)

Translating between Alloy specifications and UML class diagrams annotated with OCL. - Alcino Cunha; Ana Gabriela Garis; Daniel Riesco (Softw. Syst. Model., 2015)

A framework for quality assessment of ROS repositories. - André Santos 001; Alcino Cunha; Nuno Macedo 001; Cláudio Lourenço (IROS, 2016)

Lightweight specification and analysis of dynamic systems with rich configurations. - Nuno Macedo 001; Julien Brunel; David Chemouil; Alcino Cunha; Denis Kuperberg (SIGSOFT FSE, 2016)

Alloy meets TLA+: An exploratory study. - Nuno Macedo 001; Alcino Cunha (CoRR, 2016)

Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira. - Luís Soares Barbosa; Alcino Cunha; Alexandra Silva 001 (J. Log. Algebraic Methods Program., 2016)

Least-change bidirectional model transformation with QVT-R and ATL. - Nuno Macedo 001; Alcino Cunha (Softw. Syst. Model., 2016)

Exploiting Partial Knowledge for Efficient Model Analysis. - Nuno Macedo 001; Alcino Cunha; Eduardo Pessoa (ATVA, 2017)

Mining the usage patterns of ROS primitives. - André Santos 001; Alcino Cunha; Nuno Macedo 001; Rafael Arrais; Filipe Neves dos Santos (IROS, 2017)

Composition in State-based Replicated Data Types. - Carlos Baquero; Paulo Sérgio Almeida; Alcino Cunha; Carla Ferreira 001 (Bull. EATCS, 2017)

Bidirectional Transformations (BX 2015) Editorial. - Alcino Cunha; Ekkart Kindler (J. Object Technol., 2017)

A Feature-Based Classification of Model Repair Approaches. - Nuno Macedo 001; Jorge Tiago; Alcino Cunha (IEEE Trans. Software Eng., 2017)

Proposition of an Action Layer for Electrum. - Julien Brunel; David Chemouil; Alcino Cunha; Thomas Hujsa; Nuno Macedo 001; Jeanne Tawa (ABZ, 2018)

The electrum analyzer: model checking relational first-order temporal specifications. - Julien Brunel; David Chemouil; Alcino Cunha; Nuno Macedo 001 (ASE, 2018)

Property-based testing for the robot operating system. - André Santos 001; Alcino Cunha; Nuno Macedo 001 (A-TEST@ESEC/SIGSOFT FSE, 2018)

Improving the Visualization of Alloy Instances. - Rui Couto; José Creissac Campos; Nuno Macedo 001; Alcino Cunha (F-IDE@FLoC, 2018)

Teaching how to program using automated assessment and functional glossy games (experience report). - José Bacelar Almeida; Alcino Cunha; Nuno Macedo 001; Hugo Pacheco 001; José Proença (Proc. ACM Program. Lang., 2018)

Static-Time Extraction and Analysis of the ROS Computation Graph. - André Santos 001; Alcino Cunha; Nuno Macedo 001 (IRC, 2019)

Simplifying the Analysis of Software Design Variants with a Colorful Alloy. - Chong Liu; Nuno Macedo 001; Alcino Cunha (SETTA, 2019)

Sharing and Learning Alloy on the Web. - Nuno Macedo 001; Alcino Cunha; José Pereira 001; Renato Carvalho; Ricardo Silva; Ana C. R. Paiva; Miguel S. Ramalho; Daniel Castro Silva (CoRR, 2019)

Simulation under Arbitrary Temporal Logic Constraints. - Julien Brunel; David Chemouil; Alcino Cunha; Nuno Macedo 001 (F-IDE@FM, 2019)

Validating Multiple Variants of an Automotive Light System with Electrum. - Alcino Cunha; Nuno Macedo 001; Chong Liu (ABZ, 2020)

Experiences on Teaching Alloy with an Automated Assessment Platform. - Nuno Macedo 001; Alcino Cunha; José Pereira 001; Renato Carvalho; Ricardo Silva; Ana C. R. Paiva; Miguel Sozinho Ramalho; Daniel Castro Silva (ABZ, 2020)

Verification of system-wide safety properties of ROS applications. - Renato Carvalho; Alcino Cunha; Nuno Macedo 001; André Santos 001 (IROS, 2020)

alurity, a toolbox for robot cybersecurity. - Víctor Mayoral Vilches; Irati Abad-Fernández; Martin Pinzger 001; Stefan Rass; Bernhard Dieber; Alcino Cunha; Francisco J. Rodríguez-Lera; Giovanni Lacava; Angelica Marotta; Fabio Martinelli; Endika Gil-Uriarte (CoRR, 2020)

Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. - Alcino Cunha; Nuno Macedo 001 (Int. J. Softw. Tools Technol. Transf., 2020)

The High-Assurance ROS Framework. - André Santos 001; Alcino Cunha; Nuno Macedo 001 (RoSE@ICSE, 2021)

Experiences on teaching alloy with an automated assessment platform. - Nuno Macedo 001; Alcino Cunha; José Pereira 004; Renato Carvalho; Ricardo Silva; Ana C. R. Paiva; Miguel Sozinho Ramalho; Daniel Castro Silva (Sci. Comput. Program., 2021)

Schema-guided Testing of Message-oriented Systems. - André Santos 001; Alcino Cunha; Nuno Macedo 001 (ENASE, 2022)

Variability Analysis for Robot Operating System Applications. - André Santos 001; Alcino Cunha; Nuno Macedo 001; Sara Melo; Ricardo Pereira (IRC, 2022)

Verification of railway network models with EVEREST. - João Martins; José M. Fonseca 002; Rafael Costa; José Creissac Campos; Alcino Cunha; Nuno Macedo 001; José N. Oliveira (MoDELS, 2022)

Timely Specification Repair for Alloy 6. - Jorge Cerqueira; Alcino Cunha; Nuno Macedo 001 (SEFM, 2022)

Quantitative relational modelling with QAlloy. - Pedro Silva; José N. Oliveira; Nuno Macedo 001; Alcino Cunha (ESEC/SIGSOFT FSE, 2022)

Pardinus: A Temporal Relational Model Finder. - Nuno Macedo 001; Julien Brunel; David Chemouil; Alcino Cunha (J. Autom. Reason., 2022)

Merging cloned Alloy models with colorful refactorings. - Chong Liu; Nuno Macedo 001; Alcino Cunha (Sci. Comput. Program., 2022)

An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises. - Manuel Barros; Maria Ramos; Alexandre Gomes; Alcino Cunha; José Pereira 001; Paulo Sérgio Almeida (FORTE, 2023)

Adding Records to Alloy. - Julien Brunel; David Chemouil; Alcino Cunha; Nuno Macedo 001 (ABZ, 2023)

Task Model Design and Analysis with Alloy. - Alcino Cunha; Nuno Macedo 001; Eunsuk Kang (ABZ, 2023)

Verifying Temporal Relational Models with Pardinus. - Nuno Macedo 001; Julien Brunel; David Chemouil; Alcino Cunha (ABZ, 2023)

Alloy Repair Hint Generation Based on Historical Data. - Ana Barros; Henrique Neto; Alcino Cunha; Nuno Macedo 001; Ana C. R. Paiva (FM (2), 2024)

Assessing the impact of hints in learning formal specification. - Alcino Cunha; Nuno Macedo 001; José Creissac Campos; Iara Margolis; Emanuel Sousa (SEET@ICSE, 2024)

Alloy Goes Fuzzy. - Pedro Silva; Alcino Cunha; Nuno Macedo 001; José N. Oliveira (ABZ, 2024)

Designing Software with Complex Configurations. - Alcino Cunha (CoRR, 2024)

Validating multiple variants of an automotive light system with Alloy 6. - Alcino Cunha; Nuno Macedo 001; Chong Liu (Int. J. Softw. Tools Technol. Transf., 2024)

Specifying Distributed Hash Tables with Allen Temporal Logic. - Nuno Policarpo; José Fragoso Santos; Alcino Cunha; João Leitão 001; Pedro Ákos Costa (FormaliSE, 2025)

Verifying Multiple TLA+ Configurations with Blast. - Paul Somson; Alcino Cunha (FormaliSE, 2025)