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 | 27 | 2021 |
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 | 18 | 2017 |
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 | 17 | 2014 |
Students' feedback on teaching mathematics through the calculational method JF Ferreira, A Mendes 2009 39th IEEE Frontiers in Education Conference, 1-6, 2009 | 14 | 2009 |
Which mathematics for the information society? JF Ferreira, A Mendes, R Backhouse, LS Barbosa Teaching Formal Methods: Second International Conference, TFM 2009 …, 2009 | 14 | 2009 |
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 | 13 | 2017 |
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 | 13 | 2011 |
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 | 12 | 2020 |
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 | 12 | 2014 |
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 | 9 | 2017 |
CAMILA revival: VDM meets Haskell J Visser, JNF Oliveira, LS Barbosa, JF Ferreira, A Mendes University of Newcastle TR series, 2005 | 9 | 2005 |
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 | 8 | 2022 |
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 | 8 | 2021 |
Towards Verified Handwritten Calculational Proofs: (Short Paper) A Mendes, JF Ferreira Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018 | 7 | 2018 |
Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings JF Ferreira, A Mendes, C Menghi | 6* | 2021 |
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 | 6 | 2020 |
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 | 6 | 2012 |
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 | 5 | 2022 |
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 | 5 | 2021 |