![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Alexandra Mendes
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j3]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): 1 (2024) - [c26]David R. Ferreira
, Alexandra Mendes
, João F. Ferreira
:
How are Contracts Used in Android Mobile Applications? ICSE Companion 2024: 400-401 - [c25]Álvaro F. Silva
, Alexandra Mendes
, João F. Ferreira
:
Leveraging Large Language Models to Boost Dafny's Developers Productivity. FormaliSE@ICSE 2024: 138-142 - [c24]Porfirio Tramontana, Beatriz Marín, Ana C. R. Paiva, Alexandra Mendes, Tanja E. J. Vos, Domenico Amalfitano, Felix Cammaerts, Monique Snoeck, Anna Rita Fasolino:
State of the Practice in Software Testing Teaching in Four European Countries. ICST 2024: 59-69 - [i6]Álvaro F. Silva, Alexandra Mendes, João F. Ferreira:
Leveraging Large Language Models to Boost Dafny's Developers Productivity. CoRR abs/2401.00963 (2024) - [i5]David R. Ferreira, Alexandra Mendes, João F. Ferreira:
Contract Usage and Evolution in Android Mobile Applications. CoRR abs/2401.14244 (2024) - 2023
- [j2]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: 100811 (2023) - [c23]Bruno Rodrigues
, Ivone Amorim
, Ivan Silva
, Alexandra Mendes
:
Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption. ESORICS Workshops (1) 2023: 199-215 - [c22]Alexandre Abreu, Nuno Macedo
, Alexandra Mendes
:
Exploring Automatic Specification Repair in Dafny Programs. ASEW 2023: 105-112 - [c21]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: 2042-2045 - [i4]Bruno Rodrigues, Ivone Amorim, Ivan Costa, Alexandra Mendes:
Patient-centric health data sovereignty: an approach using Proxy re-encryption. CoRR abs/2307.01175 (2023) - [i3]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 abs/2308.09458 (2023) - 2022
- [c20]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: 507-510 - [c19]Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida
, Alexandra Mendes:
Verified Password Generation from Password Composition Policies. IFM 2022: 271-288 - [c18]Ricardo B. Pereira, João F. Ferreira, Alexandra Mendes, Rui Abreu:
Extending EcoAndroid with Automated Detection of Resource Leaks. MOBILESoft 2022: 17-27 - 2021
- [c17]Rui Lima, João F. Ferreira, Alexandra Mendes:
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities. ASE Workshops 2021: 1-8 - [c16]Ana Ribeiro, João F. Ferreira, Alexandra Mendes:
EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications. QRS 2021: 62-69 - [c15]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: 77-84 - [e1]João F. Ferreira
, Alexandra Mendes
, Claudio Menghi
:
Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings. Lecture Notes in Computer Science 13122, Springer 2021, ISBN 978-3-030-91549-0 [contents] - 2020
- [c14]Saul A. Johnson
, João F. Ferreira, Alexandra Mendes, Julien Cordry:
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. AsiaCCS 2020: 101-115 - [c13]David Pereira, João F. Ferreira
, Alexandra Mendes
:
Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks. ISSRE Workshops 2020: 237-242 - [i2]Saul A. Johnson, João Ferreira, Alexandra Mendes, Julien Cordry:
Lost in Disclosure: On The Inference of Password Composition Policies. CoRR abs/2003.05846 (2020) - [i1]Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry:
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. CoRR abs/2007.03809 (2020)
2010 – 2019
- 2019
- [c12]João F. Ferreira, Alexandra Mendes:
Open and Interactive Learning Resources for Algorithmic Problem Solving. FM Workshops (2) 2019: 200-208 - [c11]Saul A. Johnson
, João Ferreira, Alexandra Mendes
, Julien Cordry:
Lost in Disclosure: On the Inference of Password Composition Policies. ISSRE Workshops 2019: 264-269 - [c10]Tony Hoare, Alexandra Mendes, João F. Ferreira:
Logic, Algebra, and Geometry at the Foundation of Computer Science. FMTea 2019: 3-20 - 2018
- [c9]Alexandra Mendes, João F. Ferreira:
Towards Verified Handwritten Calculational Proofs - (Short Paper). ITP 2018: 432-440 - 2017
- [c8]Jamie Matthews, Fred Charles, Julie Porteous, Alexandra Mendes:
MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling. AAMAS 2017: 782-790 - [c7]Jamie Matthews, Fred Charles, Julie Porteous, Alexandra Mendes:
Mise-En-Scène of Narrative Action in Interactive Storytelling. AAMAS 2017: 1799-1801 - [c6]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: 407-421 - [c5]Ali Almohammad, João F. Ferreira
, Alexandra Mendes
, Phil White:
ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems. RE Workshops 2017: 351-358 - 2016
- [j1]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): 906-920 (2016) - 2014
- [c4]João F. Ferreira, Alexandra Mendes
:
The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. ITiCSE 2014: 75-80 - [c3]Alexandra Mendes
, Roland Carl Backhouse
, João F. Ferreira:
Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method. ITS 2014: 139-148 - 2012
- [b1]Alexandra Mendes:
Structured editing of handwritten mathematics. University of Nottingham, UK, 2012 - 2011
- [c2]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: 62-69
2000 – 2009
- 2009
- [c1]João F. Ferreira
, Alexandra Mendes
, Roland Carl Backhouse
, Luís Soares Barbosa
:
Which Mathematics for the Information Society? TFM 2009: 39-56
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-07 00:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint