Alexandra Mendes

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 30

Top Venues

CoRR

J. Log. Algebraic Methods Program.

IFM

AAMAS

University of Nottingham, UK (PHD)

Education History

University of Nottingham, UK

PHD

Publications

Rui Lima, João F. Ferreira, Alexandra Mendes, Carolina Carreira
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring. Autom. Softw. Eng. 31 (1) (2024)
Álvaro Silva, Alexandra Mendes, João F. Ferreira
Leveraging Large Language Models to Boost Dafny's Developers Productivity. CoRR (2024)
Álvaro F. Silva, Alexandra Mendes, João F. Ferreira
Leveraging Large Language Models to Boost Dafny's Developers Productivity. FormaliSE@ICSE (2024)
David R. Ferreira, Alexandra Mendes, João F. Ferreira
Contract Usage and Evolution in Android Mobile Applications. CoRR (2024)
David R. Ferreira, Alexandra Mendes, João F. Ferreira
How are Contracts Used in Android Mobile Applications? ICSE Companion (2024)
Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda
bGSL: An imperative language for specification and refinement of backtracking programs. J. Log. Algebraic Methods Program. 130 (2023)
Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. CoRR (2023)
Alexandre Abreu, Nuno Macedo, Alexandra Mendes
Exploring Automatic Specification Repair in Dafny Programs. ASEW (2023)
Bruno Rodrigues, Ivone Amorim, Ivan Costa, Alexandra Mendes
Patient-centric health data sovereignty: an approach using Proxy re-encryption. CoRR (2023)
Bruno Rodrigues, Ivone Amorim, Ivan Silva, Alexandra Mendes
Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption. ESORICS Workshops (1) (2023)
Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. ASE (2023)
Ricardo B. Pereira, João F. Ferreira, Alexandra Mendes, Rui Abreu
Extending EcoAndroid with Automated Detection of Resource Leaks. MOBILESoft (2022)
Sunmoo Yoon, Alexandra Mendes, Louis Burgio, Mary Mittelman, Ilana Dunner, Jed A. Levine, Carolina Hoyos, Dante Tipiani, Mildred Ramirez, Jeanne A. Teresi, José A. Luchsinger
Application of Machine Learning Techniques to Examine Social Service Needs Among Hispanic Family Caregivers of Persons with Dementia. ICIMTH (2022)
Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes
Verified Password Generation from Password Composition Policies. IFM (2022)
Rui Lima, João F. Ferreira, Alexandra Mendes
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities. ASE Workshops (2021)
Ana Ribeiro, João F. Ferreira, Alexandra Mendes
EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications. QRS (2021)
Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda. AppFM@FM (2021)
Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. CoRR (2020)
David Pereira, João F. Ferreira, Alexandra Mendes
Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks. ISSRE Workshops (2020)
Saul A. Johnson, João Ferreira, Alexandra Mendes, Julien Cordry
Lost in Disclosure: On The Inference of Password Composition Policies. CoRR (2020)
Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. AsiaCCS (2020)
João F. Ferreira, Alexandra Mendes
Open and Interactive Learning Resources for Algorithmic Problem Solving. FM Workshops (2) (2019)
Saul A. Johnson, João Ferreira, Alexandra Mendes, Julien Cordry
Lost in Disclosure: On the Inference of Password Composition Policies. ISSRE Workshops (2019)
Tony Hoare, Alexandra Mendes, João F. Ferreira
Logic, Algebra, and Geometry at the Foundation of Computer Science. FMTea (2019)
Alexandra Mendes, João F. Ferreira
Towards Verified Handwritten Calculational Proofs - (Short Paper). ITP (2018)
João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke
Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules. IFM (2017)
Jamie Matthews, Fred Charles, Julie Porteous, Alexandra Mendes
MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling. AAMAS (2017)
Jamie Matthews, Fred Charles, Julie Porteous, Alexandra Mendes
Mise-En-Scène of Narrative Action in Interactive Storytelling. AAMAS (2017)
Ali Almohammad, João Fernando Ferreira, Alexandra Mendes, Phil White
ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems. RE Workshops (2017)
João F. Ferreira, Alexandra Mendes
A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra. J. Log. Algebraic Methods Program. 85 (5) (2016)
João F. Ferreira, Alexandra Mendes
The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. ITiCSE (2014)
Alexandra Mendes, Roland Carl Backhouse, João Fernando Ferreira
Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method. ITS (2014)
João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira
Logic Training through Algorithmic Problem Solving. TICTTL (2011)
João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa
Which Mathematics for the Information Society? TFM (2009)

Alexandra Mendes.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexandra Mendes