| 2026 | CAV | HyperLasso: Bounded Model Checking of ∀ | Alcino Cunha, Hugo Pacheco, Nuno Macedo |
| 2026 | FM | Validating Formal Specifications with LLM-Generated Test Cases. | Alcino Cunha, Nuno Macedo |
| 2024 | FM | Alloy Repair Hint Generation Based on Historical Data. | Ana Barros, Henrique Neto, Alcino Cunha, Nuno Macedo, Ana C. R. Paiva |
| 2024 | ICSE | Assessing the impact of hints in learning formal specification. | Alcino Cunha, Nuno Macedo, Jos Creissac Campos, Iara Margolis, Emanuel Sousa |
| 2023 | FORTE | An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises. | Manuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, Jos Pereira, Paulo Srgio Almeida |
| 2022 | ENASE | Schema-guided Testing of Message-oriented Systems. | Andr Santos, Alcino Cunha, Nuno Macedo |
| 2022 | MODELS | Verification of railway network models with EVEREST. | Joo Martins, Jos M. Fonseca, Rafael Costa, Jos Creissac Campos, Alcino Cunha, Nuno Macedo, Jos N. Oliveira |
| 2022 | SEFM | Timely Specification Repair for Alloy 6. | Jorge Cerqueira, Alcino Cunha, Nuno Macedo |
| 2020 | IROS | Verification of system-wide safety properties of ROS applications. | Renato Carvalho, Alcino Cunha, Nuno Macedo, Andr Santos |
| 2019 | SETTA | Simplifying the Analysis of Software Design Variants with a Colorful Alloy. | Chong Liu, Nuno Macedo, Alcino Cunha |
| 2017 | ATVA | Exploiting Partial Knowledge for Efficient Model Analysis. | Nuno Macedo, Alcino Cunha, Eduardo Pessoa |
| 2017 | IROS | Mining the usage patterns of ROS primitives. | Andr Santos, Alcino Cunha, Nuno Macedo, Rafael Arrais, Filipe Neves dos Santos |
| 2016 | IROS | A framework for quality assessment of ROS repositories. | Andr Santos, Alcino Cunha, Nuno Macedo, Cludio Loureno |
| 2015 | FASE | Exploring Scenario Exploration. | Nuno Macedo, Alcino Cunha, Tiago Guimares |
| 2014 | EDBT | BenchmarX. | Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schrr |
| 2014 | EDBT | Towards a Framework for Multidirectional Model Transformations. | Nuno Macedo, Alcino Cunha, Hugo Pacheco |
| 2014 | FASE | Target Oriented Relational Model Finding. | Alcino Cunha, Nuno Macedo, Tiago Guimares |
| 2013 | FASE | Implementing QVT-R Bidirectional Model Transformations Using Alloy. | Nuno Macedo, Alcino Cunha |
| 2012 | IFM | Specifying UML Protocol State Machines in Alloy. | Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco |
| 2012 | SAT | Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). | Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto |
| 2011 | PEPM | Calculating with lenses: optimising bidirectional transformations. | Hugo Pacheco, Alcino Cunha |
| 2011 | SEFM | Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. | Ana Gabriela Garis, Alcino Cunha, Daniel Riesco |
| 2010 | MPC | Generic Point-free Lenses. | Hugo Pacheco, Alcino Cunha |
| 2009 | SEFM | Mapping between Alloy Specifications and Database Implementations. | Alcino Cunha, Hugo Pacheco |
| 2007 | PADL | Coupled Schema Transformation and Data Conversion for XML and SQL. | Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser |
| 2007 | PEPM | Transformation of structure-shy programs: applied to XPath queries and strategic functions. | Alcino Cunha, Joost Visser |
| 2006 | FM | Type-Safe Two-Level Data Transformation. | Alcino Cunha, Jos Nuno Oliveira, Joost Visser |
| 1997 | EPIA | Resource Allocation on Agent Meta-Societies. | Alcino Cunha, Orlando Belo |