Publications

Articles

International Journal Articles: 3

2022

- Sérgio Guerreiro and João F. Ferreira and Tiago Fonseca and Miguel Correia, Integrating an academic management system with blockchain: A case study, article in Blockchain: Research and Applications vol. 3 (4), Dec. 2022, Elsevier [bibTex]
- Steve Dunne and João F. Ferreira and Alexandra Mendes and Campbell Ritchie and Bill Stoddart and Frank Zeyda, bGSL: An Imperative Language for Specification and Refinement of Backtracking Programs, article in Journal of Logical and Algebraic Methods in Programming vol. 130, Sep. 2022 [DOI Article link] [Supplementary Material] [bibTex]

2021

- Julie Porteous and João F. Ferreira and Alan Lindsay and Marc Cavazza, Automated narrative planning model extension, article in Autonomous Agents and Multi-Agent Systems vol. 35 (19) pp. 1-29, May. 2021, Springer [DOI Article link] [bibTex]

International Conferences: 7

2022

- Miguel Trinca and João F. Ferreira and Rui Abreu, A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing, presented at 2nd International Workshop on Artificial Intelligence in Software Testing (AIST'22), to appear on 2022 [bibTex] [PDF]
- Ricardo Pereira and João F. Ferreira and Alexandra Mendes and Rui Abreu, Extending EcoAndroid with Automated Detection of Resource Leaks, presented at 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems 2022, to appear on 2022 [bibTex]
- Miguel Grilo and João Campos and João F. Ferreira and José Bacelar Almeida and Alexandra Mendes, Verified Password Generation from Password Composition Policies, presented at 17th International Conference on integrated Formal Methods (iFM), to appear on 2022 [bibTex] [PDF]
- Nuno Saavedra and João F. Ferreira, GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code, presented at 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), Jul. 2022 [bibTex] [PDF]

2021

- Ana Sofia Gonçalves Ribeiro and João F. Ferreira and Alexandra Mendes, EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications, presented at 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS), Dec. 2021 [DOI Article link] [bibTex] [PDF]
- Rui Lima and João F. Ferreira and Alexandra Mendes, Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities, presented at International Workshop on Refactoring (IWoR 21), Nov. 2021 [bibTex]
- Carolina Carreira and João F. Ferreira and Alexandra Mendes and Nicolas Christin, Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda, presented at 1st International Workshop on Applicable Formal Methods (appFM), Nov. 2021 [bibTex] [PDF]

as Editors

Edited Proceedings: 1

2021

- João F. Ferreira and Alexandra Mendes and Claudio Menghi, editors, Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings, LNCS 13122, Nov. 2021, Springer [bibTex]