João Fernando Peixoto Ferreira
AuthID: R-000-J08
1
TÃTULO: DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
AUTORES: Lima, Rui ; Ferreira, Joao F.; Mendes, Alexandra ; Carreira, Carolina;
PUBLICAÇÃO: 2024, FONTE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, NÚMERO: 1
AUTORES: Lima, Rui ; Ferreira, Joao F.; Mendes, Alexandra ; Carreira, Carolina;
PUBLICAÇÃO: 2024, FONTE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, NÚMERO: 1
2
TÃTULO: Leveraging Large Language Models to Boost Dafny's Developers Productivity
AUTORES: Silva, Alvaro; Mendes, Alexandra ; Ferreira, Joao F.;
PUBLICAÇÃO: 2024, FONTE: IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) in PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024
AUTORES: Silva, Alvaro; Mendes, Alexandra ; Ferreira, Joao F.;
PUBLICAÇÃO: 2024, FONTE: IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) in PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024
3
TÃTULO: How are Contracts Used in Android Mobile Applications?
AUTORES: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2024, FONTE: 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 in Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024
AUTORES: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2024, FONTE: 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 in Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024
4
TÃTULO: CoqPyt: Proof Navigation in Python in the Era of LLMs
AUTORES: Carrott, Pedro; Saavedra, Nuno; Thompson, Kyle; Lerner, Sorin; Ferreira, Joao F.; First, Emily;
PUBLICAÇÃO: 2024, FONTE: 32nd ACM International Conference on the Foundations of Software Engineering (FSE) in COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024
AUTORES: Carrott, Pedro; Saavedra, Nuno; Thompson, Kyle; Lerner, Sorin; Ferreira, Joao F.; First, Emily;
PUBLICAÇÃO: 2024, FONTE: 32nd ACM International Conference on the Foundations of Software Engineering (FSE) in COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024
5
TÃTULO: Improved SWMM Modeling for Rapid Pipe Filling Incorporating Air Behavior in Intermittent Water Supply Systems Full Text
AUTORES: Ferreira, Joao P.; Ferras, David; Covas, Didia I. C. ; Kapelan, Zoran;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF HYDRAULIC ENGINEERING, VOLUME: 149, NÚMERO: 4
AUTORES: Ferreira, Joao P.; Ferras, David; Covas, Didia I. C. ; Kapelan, Zoran;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF HYDRAULIC ENGINEERING, VOLUME: 149, NÚMERO: 4
6
TÃTULO: SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
AUTORES: di Angelo, Monika; Durieux, Thomas; Ferreira, Joao F.; Salzer, Gernot;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
AUTORES: di Angelo, Monika; Durieux, Thomas; Ferreira, Joao F.; Salzer, Gernot;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
7
TÃTULO: Integration of an Artificial Perception System for Identification of Live Flammable Material in Forestry Robotics
AUTORES: Eduarda E Andrada; João F Ferreira; David Portugal; Micael S Couceiro;
PUBLICAÇÃO: 2022, FONTE: IEEE/SICE International Symposium on System Integration, SII 2022, Narvik, Norway, January 9-12, 2022
AUTORES: Eduarda E Andrada; João F Ferreira; David Portugal; Micael S Couceiro;
PUBLICAÇÃO: 2022, FONTE: IEEE/SICE International Symposium on System Integration, SII 2022, Narvik, Norway, January 9-12, 2022
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP8
TÃTULO: Verified Password Generation from Password Composition Policies
AUTORES: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274
AUTORES: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274
9
TÃTULO: GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts
AUTORES: Nuno Saavedra; João F Ferreira;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2205.14371
AUTORES: Nuno Saavedra; João F Ferreira;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2205.14371
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP10
TÃTULO: GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
AUTORES: Saavedra, Nuno; Ferreira, Joao F.;
PUBLICAÇÃO: 2022, FONTE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022
AUTORES: Saavedra, Nuno; Ferreira, Joao F.;
PUBLICAÇÃO: 2022, FONTE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022
