| 2025 | ECIR | MedLink: Retrieval and Ranking of Case Reports to Assist Clinical Decision Making. | Lus Filipe Cunha, Nuno Guimares, Alexandra Mendes, Ricardo Campos, Alpio Jorge |
| 2025 | ECOOP | Contract Usage and Evolution in Android Mobile Applications. | David R. Ferreira, Alexandra Mendes, Joo F. Ferreira, Carolina Carreira |
| 2025 | ISSRE | What Challenges Do Developers Face When Using Verification-Aware Programming Languages? | Francisco Oliveira, Alexandra Mendes, Carolina Carreira |
| 2025 | ISSTA | InfraFix: Technology-Agnostic Repair of Infrastructure as Code. | Nuno Saavedra, Joo F. Ferreira, Alexandra Mendes |
| 2025 | PROFES | Software Testing Education and Industry Needs - Report from the ENACTEST EU Project. | Mehrdad Saadatmand, Abbas Khan, Beatriz Marn, Ana C. R. Paiva, Nele Van Asch, Graham Moran, Felix Cammaerts, Monique Snoeck, Alexandra Mendes |
| 2025 | SEFM | Are Users More Willing to Use Formally Verified Password Managers? | Carolina Carreira, Joo F. Ferreira, Alexandra Mendes, Nicolas Christin |
| 2025 | SEFM | Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny. | Carolina Carreira, lvaro F. Silva, Alexandre Abreu, Alexandra Mendes |
| 2025 | SEFM | Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs. | Valentina Wu, Alexandra Mendes, Alexandre Abreu |
| 2025 | SLE | Detecting Resource Leaks on Android with Alpakka. | Gustavo Santos, Joo Bispo, Alexandra Mendes |
| 2024 | ICSE | How are Contracts Used in Android Mobile Applications? | David R. Ferreira, Alexandra Mendes, Joo F. Ferreira |
| 2024 | ICST | State of the Practice in Software Testing Teaching in Four European Countries. | Porfirio Tramontana, Beatriz Marn, Ana C. R. Paiva, Alexandra Mendes, Tanja E. J. Vos, Domenico Amalfitano, Felix Cammaerts, Monique Snoeck, Anna Rita Fasolino |
| 2023 | ESORICS | Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption. | Bruno Rodrigues, Ivone Amorim, Ivan Silva, Alexandra Mendes |
| 2022 | IFM | Verified Password Generation from Password Composition Policies. | Miguel Grilo, Joo Campos, Joo F. Ferreira, Jos Bacelar Almeida, Alexandra Mendes |
| 2021 | QRS | EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications. | Ana Ribeiro, Joo F. Ferreira, Alexandra Mendes |
| 2020 | CCS | Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. | Saul A. Johnson, Joo F. Ferreira, Alexandra Mendes, Julien Cordry |
| 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 |
| 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 |
| 2014 | ITiCSE | The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. | Joo F. Ferreira, Alexandra Mendes |