João F. Ferreira

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 23

Top Topics

Automated Detection

Symbolic Execution

Dermoscopy Images

Top Venues

J. Log. Algebraic Methods Program.

Publications

Rui Lima, João F. Ferreira, Alexandra Mendes, Carolina Carreira
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring. Autom. Softw. Eng. 31 (1) (2024)
Álvaro Silva, Alexandra Mendes, João F. Ferreira
Leveraging Large Language Models to Boost Dafny's Developers Productivity. CoRR (2024)
Álvaro F. Silva, Alexandra Mendes, João F. Ferreira
Leveraging Large Language Models to Boost Dafny's Developers Productivity. FormaliSE@ICSE (2024)
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First
CoqPyt: Proof Navigation in Python in the Era of LLMs. SIGSOFT FSE Companion (2024)
Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer
Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study. Empir. Softw. Eng. 29 (2) (2024)
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First
CoqPyt: Proof Navigation in Python in the Era of LLMs. CoRR (2024)
David R. Ferreira, Alexandra Mendes, João F. Ferreira
Contract Usage and Evolution in Android Mobile Applications. CoRR (2024)
David R. Ferreira, Alexandra Mendes, João F. Ferreira
How are Contracts Used in Android Mobile Applications? ICSE Companion (2024)
Henrique Botelho Guerra, João F. Ferreira, João Costa Seco
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution. ECOOP (2023)
Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda
bGSL: An imperative language for specification and refinement of backtracking programs. J. Log. Algebraic Methods Program. 130 (2023)
Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. CoRR (2023)
Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts. ASE (2023)
Henrique Botelho Guerra, João F. Ferreira, João Costa Seco
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer
Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study. CoRR (2023)
Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. ASE (2023)
Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts. CoRR (2023)
Miguel Trinca, João F. Ferreira, Rui Abreu
A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing. ICST Workshops (2022)
Ricardo B. Pereira, João F. Ferreira, Alexandra Mendes, Rui Abreu
Extending EcoAndroid with Automated Detection of Resource Leaks. MOBILESoft (2022)
Nuno Saavedra, João F. Ferreira
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code. ASE (2022)
Nuno Saavedra, João F. Ferreira
GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts. CoRR (2022)
Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes
Verified Password Generation from Password Composition Policies. IFM (2022)
Raffaele Della Corte, Marta Catillo, João F. Ferreira, Guanpeng Li
Message from the RSDA 2022 Workshop Chairs. ISSRE Workshops (2022)
Ana Ribeiro, João F. Ferreira, Alexandra Mendes
EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications. QRS (2021)