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 | 3 | 2024 |
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 | 2 | 2024 |
Contract Usage and Evolution in Android Mobile Applications DR Ferreira, A Mendes, JF Ferreira In International Conference of Software Engineering, 2024 (ICSE Companion), 2024 | 1 | 2024 |
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring R Lima, JF Ferreira, A Mendes, C Carreira Automated Software Engineering 31 (1), 1, 2024 | | 2024 |
How are Contracts Used in Android Mobile Applications? DR Ferreira, A Mendes, JF Ferreira Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024 | | 2024 |
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 | 3 | 2024 |
Patient-centric health data sovereignty: an approach using Proxy re-encryption B Rodrigues, I Amorim, I Silva, A Mendes European Symposium on Research in Computer Security, 199-215, 2023 | 1 | 2023 |
Exploring automatic specification repair in dafny programs A Abreu, N Macedo, A Mendes 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 3 | 2023 |
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH N Saavedra, J Gonçalves, M Henriques, JF Ferreira, A Mendes 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 1 | 2023 |
bGSL: An imperative language for specification and refinement of backtracking programs S Dunne, JF Ferreira, A Mendes, C Ritchie, B Stoddart, F Zeyda Journal of Logical and Algebraic Methods in Programming 130, 100811, 2023 | 2 | 2023 |
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 |
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 |
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 | 29 | 2021 |
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 | 7 | 2021 |
Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings JF Ferreira, A Mendes, C Menghi | 7* | 2021 |
Towards improving the usability of password managers C Carreira, JF Ferreira, A Mendes InFORUM, 2021 | 4 | 2021 |
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 | 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 |
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 |
Lost in disclosure: On the inference of password composition policies S Johnson, J Ferreira, A Mendes, J Cordry 2019 IEEE International Symposium on Software Reliability Engineering …, 2019 | 5 | 2019 |