Alexandra Mendes
Orcid: 0000-0001-8060-5920
According to our database1,
Alexandra Mendes
authored at least 36 papers
between 2009 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
9
1
3
2
1
3
3
3
3
2
3
1
4
2
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
2024
Autom. Softw. Eng., June, 2024
Course mapping dataset for the paper "State of the Practice in Software Testing Teaching in Four European Countries".
Dataset, January, 2024
Course mapping dataset for the paper "State of the Practice in Software Testing Teaching in Four European Countries".
Dataset, January, 2024
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024
2023
bGSL: An imperative language for specification and refinement of backtracking programs.
J. Log. Algebraic Methods Program., 2023
CoRR, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 2023
Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023
2022
Proceedings of the 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2022
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.
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.
Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021
EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
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.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection.
Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020
2019
Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
2017
ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017
Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
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.
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.
J. Log. Algebraic Methods Program., 2016
2014
Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method.
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.
Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014
2012
2011
Proceedings of the Tools for Teaching Logic - Third International Congress, 2011
2009
Proceedings of the Teaching Formal Methods, Second International Conference, 2009