Alexandra Mendes
Alexandra Mendes
Home
Projects
Publications
Teaching
Contact
Research Opportunities
Funded Projects & Service
Publications
Type
Conference paper
Journal article
Thesis
Date
2022
2021
2020
2019
2018
2017
2016
2014
2012
2011
2009
2008
2005
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
Ana Ribeiro
,
João F. Ferreira
,
Alexandra Mendes
(2021).
EcoAndroid: An Android Studio Plugin for Developing Energy-efficient Java Mobile Applications
. In
QRS 2021
.
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
.
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
.
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
.
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
.
PDF
Jamie Matthews
,
Fred Charles
,
Julie Porteous
,
Alexandra Mendes
(2017).
Mise-En-Scène of Narrative Action in Interactive Storytelling
. In
AAMAS 2017
.
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.
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
.
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
.
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
×