Publications

Manfred Broy, Achim D. Brucker, Alessandro Fantechi, Mario Gleirscher, Klaus Havelund, Markus Kuppe, Alexandra Mendes, André Platzer, Jan Oliver Ringert, Allison Sullivan (2024). Does Every Computer Scientist Need to Know Formal Methods?. In Formal Aspects of Computing, 2024.

Porfirio Tramontana, Beatriz Marín, Ana C. R. Paiva, Alexandra Mendes, Tanja E. J. Vos, Domenico Amalfitano, Felix Cammaerts, Monique Snoeck, Anna Rita Fasolino (2024). State of the Practice in Software Testing Teaching in Four European Countries. In ICST 2024. CORE A conference.

Álvaro Silva, Alexandra Mendes, João F. Ferreira (2024). Leveraging Large Language Models to Boost Dafny’s Developers Productivity. In FormaliSE 2024, co-located with ICSE 2024.

David Ferreira, Alexandra Mendes, João F. Ferreira (2024). How are Contracts Used in Android Mobile Applications?. In ICSE 2024. CORE A* conference.

Rui Lima, João F. Ferreira, Alexandra Mendes, Carolina Carreira (2024). DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring. In Autom Softw Eng, 31(1), 2024. Q2 journal.

Bruno Rodrigues, Ivone Amorin, Ivan Silva, Alexandra Mendes (2023). Patient-centric health data sovereignty: an approach using proxy re-encryption. In DPM 2023.

Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes (2023). Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. In ASE 2023. CORE A* conference.

Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda (2022). bGSL: An Imperative Language for Specification and Refinement of Backtracking Programs. In JLAMP. Q2 journal.

Ricardo Pereira, João F. Ferreira, Alexandra Mendes, Rui Abreu (2022). Extending EcoAndroid with Automated Detection of Resource Leaks. 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems 2022 (MobileSoft 2022), co-located with ICSE 2022.

Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes (2022). Verified password generation from password composition policies. In iFM 2022. Invited to ACM Formal Aspects of Computing special issue on iFM 2022. CORE B conference.

Alexandre Abreu, Nuno Macedo, Alexandra Mendes (2022). Exploring Automatic Specification Repair in Dafny Programs. In ASYDE 2023.

Ana Ribeiro, João F. Ferreira, Alexandra Mendes (2021). EcoAndroid: An Android Studio Plugin for Developing Energy-efficient Java Mobile Applications. In QRS 2021. CORE B conference.

Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicholas Christin (2021). Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda. In AppFM 2021 published as a volume of EPTCS.

Rui Lima, João F. Ferreira, Alexandra Mendes (2021). Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities. In IWOR 2021.

Carolina Carreira, João F. Ferreira, Alexandra Mendes (2021). Towards Improving the Usability of Password Managers. In INForum 2021.

David Pereira, João F. Ferreira, Alexandra Mendes (2020). Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks. In ISSREW 2020 (RSDA 2020).

Saul Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry (2020). Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. In AsiaCCS 2020. CORE A conference.

João F. Ferreira, Alexandra Mendes (2019). Open and Interactive Learning Resources for Algorithmic Problem Solving. In OpenCert 2019.

Saul Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry (2019). Lost in Disclosure: On The Inference of Password Composition Policies. In ISSREW 2019 (RSDA 2019).

Tony Hoare, Alexandra Mendes, João F. Ferreira (2019). Logic, Algebra, and Geometry at the Foundation of Computer Science. In FMTea 2019.

Alexandra Mendes, João F. Ferreira (2018). Towards Verified Handwritten Calculational Proofs. In ITP 2018. CORE A conference.

Ali Almohammad, João F. Ferreira, Alexandra Mendes, Phil White (2017). ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems. In RET 2017.

João F. Ferreira, Saul Johnson, Alexandra Mendes, Phil Brooke (2017). Certified Password Quality: A Case Study Using Coq and Linux Pluggable Authentication Modules. In iFM 2017. CORE B conference.

Jamie Matthews, Fred Charles, Julie Porteous, Alexandra Mendes (2017). MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling. In AAMAS 2017. CORE A* conference.

Jamie Matthews, Fred Charles, Julie Porteous, Alexandra Mendes (2017). Mise-En-Scène of Narrative Action in Interactive Storytelling. In AAMAS 2017. CORE A* conference.

João F. Ferreira, Alexandra Mendes (2016). A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra. In JLAMP, 85(5), pp.906-920. Q2 journal.

Alexandra Mendes, Roland Backhouse, João F. Ferreira (2014). Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method. In ITS 2014. CORE A conference.

PDF Project Project

João F. Ferreira, Alexandra Mendes (2014). The Magic of Algorithm Design and Analysis: Teaching Algorithmic Skills using Magic Card Tricks. In ITiCSE 2014. CORE A conference.

Alexandra Mendes (2012). Structure Editing of Handwritten Mathematics. PhD Thesis.

PDF Project Project

João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo Silva, Luis Soares Barbosa, José Nuno Oliveira (2011). Logic Training through Algorithmic Problem Solving. In TICTTL 2011.

João F. Ferreira, Alexandra Mendes, Roland Backhouse, Luis Soares Barbosa (2009). Which Mathematics for the Information Society?. In TFM 2009.

PDF Project Slides

João F. Ferreira, Alexandra Mendes (2009). Students' Feedback on Teaching Mathematics Through The Calculational Method. In FiE 2009.

Alexandra Mendes (2008). Work in Progress - Structure Editing of Handwritten Mathematics. In FiE 2008.

PDF Project Project

Joost Visser, José Nuno Oliveira, João F. Ferreira, Alexandra Mendes (2005). Camila Revival: VDM meets Haskell. In Overture Workshop 2005.