Παρακολούθηση
Alexandra Mendes
Alexandra Mendes
Faculty of Engineering, University of Porto and HASLab, INESC TEC
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα fe.up.pt - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
372021
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
182014
Which mathematics for the information society?
JF Ferreira, A Mendes, R Backhouse, LS Barbosa
Teaching Formal Methods: Second International Conference, TFM 2009 …, 2009
162009
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
152011
Students' feedback on teaching mathematics through the calculational method
JF Ferreira, A Mendes
2009 39th IEEE Frontiers in Education Conference, 1-6, 2009
152009
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
142014
Does Every Computer Scientist Need to Know Formal Methods?
M Broy, A Brucker, A Fantechi, M Gleirscher, K Havelund, MA Kuppe, ...
Formal Aspects of Computing, 2024
132024
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
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
CAMILA revival: VDM meets Haskell
J Visser, JNF Oliveira, LS Barbosa, JF Ferreira, A Mendes
University of Newcastle TR series, 2005
102005
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
92022
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
92021
Open and Interactive Learning Resources for Algorithmic Problem Solving
JF Ferreira, A Mendes
9th International Workshop on Open Community approaches to Education …, 2019
9*2019
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
State of the Practice in Software Testing Teaching in Four European Countries
P Tramontana, B Marın, ACR Paiva, A Mendes, TEJ Vos, D Amalfitano, ...
17th IEEE International Conference on Software Testing, Verification and …, 2024
82024
Leveraging Large Language Models to Boost Dafny’s Developers Productivity
ÁF Silva, A Mendes, JF Ferreira
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal …, 2024
82024
Towards Verified Handwritten Calculational Proofs: (Short Paper)
A Mendes, JF Ferreira
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018
82018
Extending EcoAndroid with Automated Detection of Resource Leaks
RB Pereira, JF Ferreira, A Mendes, R Abreu
IEEE/ACM 9th International Conference on Mobile Software Engineering and …, 2022
72022
Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
JF Ferreira, A Mendes, C Menghi
7*2021
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20