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