| 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 | 31 | 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 |
| Which mathematics for the information society? JF Ferreira, A Mendes, R Backhouse, LS Barbosa Teaching Formal Methods: Second International Conference, TFM 2009 …, 2009 | 15 | 2009 |
| 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 | 14 | 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 |
| 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 |
| 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 | 12 | 2024 |
| 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 |
| 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 |
| Open and Interactive Learning Resources for Algorithmic Problem Solving JF Ferreira, A Mendes 9th International Workshop on Open Community approaches to Education …, 2019 | 8* | 2019 |
| 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 | 7 | 2024 |
| Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings JF Ferreira, A Mendes, C Menghi | 7* | 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 | 7 | 2020 |
| Towards Verified Handwritten Calculational Proofs: (Short Paper) A Mendes, JF Ferreira Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018 | 7 | 2018 |
| 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 | 6 | 2024 |
João F. FerreiraInstituto Superior Técnico (Univ. Lisboa) & INESC-IDVerified email at joaoff.com
