Publications

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.

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

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.

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.

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.

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.

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

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.

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.

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.

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.