Alexandra Mendes
Alexandra Mendes
Home
Publications
Funded Projects & Service
Research Opportunities
Contact
Teaching
Projects
Publications
Type
Conference paper
Journal article
Thesis
Date
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2014
2012
2011
2009
2008
2005
Gustavo Santos
,
João Bispo
,
Alexandra Mendes
(2025).
Detecting Resource Leaks on Android with Alpakka
. In
SLE 2025
.
CORE B conference
.
PDF
Code
Nuno Saavedra
,
João F. Ferreira
,
Alexandra Mendes
(2025).
InfraFix: Technology-Agnostic Repair of Infrastructure as Code
. In
ISSTA 2025, Tool Demonstrations Track
.
CORE A conference
.
PDF
Code
Video
David Ferreira
,
Alexandra Mendes
,
João F. Ferreira
,
Carolina Carreira
(2025).
Contract Usage and Evolution in Android Mobile Applications
. In
ECOOP 2025
.
CORE A conference
.
PDF
Code
Mateus Silva
,
Ana C. R. Paiva
,
Alexandra Mendes
(2025).
GAMFLEW: Serious game to teach white-box testing
. In
Software Quality Journal, 2025
.
Q2 Journal
.
PDF
DOI
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
.
PDF
DOI
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
.
PDF
Á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
.
PDF
David Ferreira
,
Alexandra Mendes
,
João F. Ferreira
(2024).
How are Contracts Used in Android Mobile Applications?
. In
ICSE 2024
.
CORE A* conference
.
PDF
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
.
PDF
DOI
Bruno Rodrigues
,
Ivone Amorin
,
Ivan Silva
,
Alexandra Mendes
(2023).
Patient-centric health data sovereignty: an approach using proxy re-encryption
. In
DPM 2023
.
PDF
DOI
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
.
PDF
DOI
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
.
PDF
DOI
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.
PDF
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
.
PDF
Code
Alexandre Abreu
,
Nuno Macedo
,
Alexandra Mendes
(2022).
Exploring Automatic Specification Repair in Dafny Programs
. In
ASYDE 2023
.
PDF
DOI
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
.
PDF
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.
PDF
Project
Rui Lima
,
João F. Ferreira
,
Alexandra Mendes
(2021).
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
. In IWOR 2021.
PDF
Carolina Carreira
,
João F. Ferreira
,
Alexandra Mendes
(2021).
Towards Improving the Usability of Password Managers
. In INForum 2021.
PDF
Project
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)
.
PDF
Project
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
.
PDF
Project
João F. Ferreira
,
Alexandra Mendes
(2019).
Open and Interactive Learning Resources for Algorithmic Problem Solving
. In
OpenCert 2019
.
PDF
Project
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)
.
PDF
Project
Tony Hoare
,
Alexandra Mendes
,
João F. Ferreira
(2019).
Logic, Algebra, and Geometry at the Foundation of Computer Science
. In
FMTea 2019
.
PDF
Project
Alexandra Mendes
,
João F. Ferreira
(2018).
Towards Verified Handwritten Calculational Proofs
. In
ITP 2018
.
CORE A conference
.
PDF
Project
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
.
PDF
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
.
PDF
Project
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
.
PDF
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
.
PDF
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
.
PDF
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
.
PDF
Project
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
.
PDF
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
.
PDF
Project
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
.
PDF
Slides
Cite
×