| 2026 | MSR | An Empirical Study of Policy as Code: Adoption, Purpose, and Maintenance. | Ruben Opdebeeck, Mahmoud Alfadel, Akond Rahman, Yutaro Kashiwa, Joo F. Ferreira, Raula Gaikovina Kula, Coen De Roover |
| 2025 | ECOOP | Contract Usage and Evolution in Android Mobile Applications. | David R. Ferreira, Alexandra Mendes, Joo F. Ferreira, Carolina Carreira |
| 2025 | ICSE | Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. | Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, Joo F. Ferreira, Sorin Lerner, Emily First |
| 2025 | ISSTA | InfraFix: Technology-Agnostic Repair of Infrastructure as Code. | Nuno Saavedra, Joo F. Ferreira, Alexandra Mendes |
| 2025 | SEFM | Are Users More Willing to Use Formally Verified Password Managers? | Carolina Carreira, Joo F. Ferreira, Alexandra Mendes, Nicolas Christin |
| 2024 | ICSE | How are Contracts Used in Android Mobile Applications? | David R. Ferreira, Alexandra Mendes, Joo F. Ferreira |
| 2023 | ECOOP | Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution. | Henrique Botelho Guerra, Joo F. Ferreira, Joo Costa Seco |
| 2022 | ICST | A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing. | Miguel Trinca, Joo F. Ferreira, Rui Abreu |
| 2022 | IFM | Verified Password Generation from Password Composition Policies. | Miguel Grilo, Joo Campos, Joo F. Ferreira, Jos Bacelar Almeida, Alexandra Mendes |
| 2022 | ISSRE | Message from the RSDA 2022 Workshop Chairs. | Raffaele Della Corte, Marta Catillo, Joo F. Ferreira, Guanpeng Li |
| 2021 | QRS | EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications. | Ana Ribeiro, Joo F. Ferreira, Alexandra Mendes |
| 2020 | AAAI | Narrative Planning Model Acquisition from Text Summaries and Descriptions. | Thomas Hayton, Julie Porteous, Joo F. Ferreira, Alan Lindsay |
| 2020 | CCS | Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. | Saul A. Johnson, Joo F. Ferreira, Alexandra Mendes, Julien Cordry |
| 2020 | ICSE | Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts. | Thomas Durieux, Joo F. Ferreira, Rui Abreu, Pedro Cruz |
| 2020 | ISSRE | Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks. | David Pereira, Joo F. Ferreira, Alexandra Mendes |
| 2019 | FM | Open and Interactive Learning Resources for Algorithmic Problem Solving. | Joo F. Ferreira, Alexandra Mendes |
| 2019 | ISSRE | Lost in Disclosure: On the Inference of Password Composition Policies. | Saul A. Johnson, Joo F. Ferreira, Alexandra Mendes, Julien Cordry |
| 2018 | ITP | Towards Verified Handwritten Calculational Proofs - (Short Paper). | Alexandra Mendes, Joo F. Ferreira |
| 2018 | TASE | Towards a Program Logic for C11 Release-Sequences. | Mengda He, Shengchao Qin, Joo F. Ferreira |
| 2017 | IFM | Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules. | Joo F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke |
| 2017 | RE | ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems. | Ali Almohammad, Joo F. Ferreira, Alexandra Mendes, Phil White |
| 2016 | FlAIRS | Supporting Social Skills Rehabilitation with Virtual Storytelling. | Cindy Even, Anne-Gwenn Bosser, Joo F. Ferreira, Cdric Buche, Florian Stphan, Marc Cavazza, Christine L. Lisetti |
| 2016 | PDP | Reasoning about Fences and Relaxed Atomics. | Mengda He, Viktor Vafeiadis, Shengchao Qin, Joo F. Ferreira |
| 2014 | ITiCSE | The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. | Joo F. Ferreira, Alexandra Mendes |
| 2013 | ICFEM | Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. | Yanhong Huang, Joo F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He |
| 2013 | LPNMR | Linear Logic Programming for Narrative Generation. | Chris Martens, Anne-Gwenn Bosser, Joo F. Ferreira, Marc Cavazza |
| 2012 | SEW | A Timed CSP Model for the Time-Triggered Language Giotto. | Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, Joo F. Ferreira |
| 2012 | TASE | Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. | Joo F. Ferreira, Guanhua He, Shengchao Qin |
| 2010 | MPC | The Algorithmics of Solitaire-Like Games. | Roland Carl Backhouse, Wei Chen, Joo F. Ferreira |
| 2010 | MPC | Designing an Algorithmic Proof of the Two-Squares Theorem. | Joo F. Ferreira |
| 2008 | MPC | Recounting the Rationals: Twice!. | Roland Carl Backhouse, Joo F. Ferreira |
| 2006 | CCGRID | JaSkel: A Java Skeleton-Based Framework for Structured Cluster and Grid Computing. | Joo F. Ferreira, Joo Lus Sobral, Alberto Jos Proena |