Follow
Alexandra Mendes
Alexandra Mendes
Faculty of Engineering, University of Porto and HASLab, INESC TEC
Verified email at fe.up.pt - Homepage
Title
Cited by
Cited by
Year
Ecoandroid: An android studio plugin for developing energy-efficient java mobile applications
A Ribeiro, JF Ferreira, A Mendes
2021 IEEE 21st international conference on software quality, reliability and …, 2021
212021
Certified password quality: a case study using Coq and Linux pluggable authentication modules
JF Ferreira, SA Johnson, A Mendes, PJ Brooke
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
182017
Structure editing of handwritten mathematics: Improving the computer support for the calculational method
A Mendes, R Backhouse, JF Ferreira
Proceedings of the Ninth ACM International Conference on Interactive …, 2014
162014
Students' feedback on teaching mathematics through the calculational method
JF Ferreira, A Mendes
2009 39th IEEE Frontiers in Education Conference, 1-6, 2009
142009
Which mathematics for the information society?
JF Ferreira, A Mendes, R Backhouse, LS Barbosa
Teaching Formal Methods: Second International Conference, TFM 2009 …, 2009
142009
MISER: Mise-En-Scene Region Support For Staging Narrative Actions In Interactive Storytelling
J Matthews, F Charles, J Porteous, A Mendes.
Autonomous Agents and MultiAgent Systems (AAMAS), 782–790, 2017
132017
Logic training through algorithmic problem solving
JF Ferreira, A Mendes, A Cunha, C Baquero, P Silva, LS Barbosa, ...
Tools for Teaching Logic: Third International Congress, TICTTL 2011 …, 2011
132011
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
S Johnson, JF Ferreira, A Mendes, J Cordry
ACM ASIA Conference on Computer and Communications Security (ASIACCS 2020), 2020
122020
The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks
JF Ferreira, A Mendes
Proceedings of the 2014 conference on Innovation & technology in computer …, 2014
122014
Reqcap: Hierarchical requirements modeling and test generation for industrial control systems
A Almohammad, JF Ferreira, A Mendes, P White
2017 IEEE 25th International Requirements Engineering Conference Workshops …, 2017
92017
CAMILA revival: VDM meets Haskell
J Visser, JNF Oliveira, LS Barbosa, JF Ferreira, A Mendes
University of Newcastle TR series, 2005
92005
Verified password generation from password composition policies
M Grilo, J Campos, JF Ferreira, JB Almeida, A Mendes
International Conference on Integrated Formal Methods, 271-288, 2022
82022
Exploring usable security to improve the impact of formal verification: a research agenda
C Carreira, JF Ferreira, A Mendes, N Christin
arXiv preprint arXiv:2111.08209, 2021
82021
Towards Verified Handwritten Calculational Proofs: (Short Paper)
A Mendes, JF Ferreira
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018
72018
Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
D Pereira, JF Ferreira, A Mendes
In the 2020 IEEE International Symposium on Software Reliability Engineering …, 2020
62020
Open and Interactive Learning Resources for Algorithmic Problem Solving
JF Ferreira, A Mendes
9th International Workshop on Open Community approaches to Education …, 2019
6*2019
Structured editing of handwritten mathematics
A Mendes, R Backhouse, JF Ferreira
University of Nottingham, 2012
62012
Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
JF Ferreira, A Mendes, C Menghi
5*2021
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
R Lima, JF Ferreira, A Mendes
In International Workshop on Refactoring (IWOR), 1-8, 2021
52021
Lost in disclosure: On the inference of password composition policies
S Johnson, J Ferreira, A Mendes, J Cordry
2019 IEEE International Symposium on Software Reliability Engineering …, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20