Alexandra Mendes

According to our database, Alexandra Mendes authored at least 30 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2024

DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring.

Rui Lima, João F. Ferreira, Alexandra Mendes, Carolina Carreira

Autom. Softw. Eng., June, 2024

Contract Usage and Evolution in Android Mobile Applications.

David R. Ferreira, Alexandra Mendes, João F. Ferreira

CoRR, 2024

Leveraging Large Language Models to Boost Dafny's Developers Productivity.

Álvaro Silva, Alexandra Mendes, João F. Ferreira

CoRR, 2024

2023

bGSL: An imperative language for specification and refinement of backtracking programs.

Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda

J. Log. Algebraic Methods Program., 2023

Patient-centric health data sovereignty: an approach using Proxy re-encryption.

Bruno Rodrigues, Ivone Amorim, Ivan Costa, Alexandra Mendes

CoRR, 2023

Polyglot Code Smell Detection for Infrastructure as Code with GLITCH.

Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Exploring Automatic Specification Repair in Dafny Programs.

Alexandre Abreu, Nuno Macedo, Alexandra Mendes

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 2023

Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption.

Bruno Rodrigues, Ivone Amorim, Ivan Silva, Alexandra Mendes

Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023

2022

Extending EcoAndroid with Automated Detection of Resource Leaks.

Ricardo B. Pereira, João F. Ferreira, Alexandra Mendes, Rui Abreu

Proceedings of the 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2022

Verified Password Generation from Password Composition Policies.

Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

Application of Machine Learning Techniques to Examine Social Service Needs Among Hispanic Family Caregivers of Persons with Dementia.

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

Proceedings of the Advances in Informatics, Management and Technology in Healthcare, 2022

2021

Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda.

Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin

Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications.

Ana Ribeiro, João F. Ferreira, Alexandra Mendes

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities.

Rui Lima, João F. Ferreira, Alexandra Mendes

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks.

David Pereira, João F. Ferreira, Alexandra Mendes

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection.

Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019

Logic, Algebra, and Geometry at the Foundation of Computer Science.

Tony Hoare, Alexandra Mendes, João F. Ferreira

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

Lost in Disclosure: On the Inference of Password Composition Policies.

Saul A. Johnson, João Ferreira, Alexandra Mendes, Julien Cordry

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

Open and Interactive Learning Resources for Algorithmic Problem Solving.

João F. Ferreira, Alexandra Mendes

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Towards Verified Handwritten Calculational Proofs - (Short Paper).

Alexandra Mendes, João F. Ferreira

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems.

Ali Almohammad, João F. Ferreira, Alexandra Mendes, Phil White

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules.

João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Mise-En-Scène of Narrative Action in Interactive Storytelling.

Jamie Matthews, Fred Charles, Julie Porteous, Alexandra Mendes

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling.

Jamie Matthews, Fred Charles, Julie Porteous, Alexandra Mendes

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra.

João F. Ferreira, Alexandra Mendes

J. Log. Algebraic Methods Program., 2016

2014

Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method.

Alexandra Mendes, Roland Carl Backhouse, João F. Ferreira

Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, 2014

The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks.

João F. Ferreira, Alexandra Mendes

Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

2012

Structured editing of handwritten mathematics.

Alexandra Mendes

PhD thesis, 2012

2011

Logic Training through Algorithmic Problem Solving.

João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

2009

Which Mathematics for the Information Society?

João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa

Proceedings of the Teaching Formal Methods, Second International Conference, 2009