| 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 |
| 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 |
| 2017 | ICSE | Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. | Raju Halder, Jos Proena, Nuno Macedo, Andr Santos |
| 2016 | IROS | A framework for quality assessment of ROS repositories. | Andr Santos, Alcino Cunha, Nuno Macedo, Cludio Loureno |
| 2016 | MEDI | Towards a Formal Validation of ETL Patterns Behaviour. | Bruno Oliveira, Orlando Belo, Nuno Macedo |
| 2015 | FASE | Exploring Scenario Exploration. | Nuno Macedo, Alcino Cunha, Tiago Guimares |
| 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 |