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
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2
TITLE: bGSL: An imperative language for specification and refinement of backtracking programs
AUTHORS: Dunne, Steve; Ferreira, Joao F.; Mendes, Alexandra ; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 130
AUTHORS: Dunne, Steve; Ferreira, Joao F.; Mendes, Alexandra ; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 130
3
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
4
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
INDEXED IN: Scopus WOS
Scopus WOS5
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
DBLP6
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
7
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
DBLP8
TITLE: Extending EcoAndroid with Automated Detection of Resource Leaks
AUTHORS: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui;
PUBLISHED: 2022, SOURCE: 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft) in 9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022
AUTHORS: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui;
PUBLISHED: 2022, SOURCE: 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft) in 9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP9
TITLE: A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
AUTHORS: Trinca, Miguel; Ferreira, Joao F.; Abreu, Rui;
PUBLISHED: 2022, SOURCE: 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2022)
AUTHORS: Trinca, Miguel; Ferreira, Joao F.; Abreu, Rui;
PUBLISHED: 2022, SOURCE: 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2022)
INDEXED IN: Scopus WOS
Scopus WOS10
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
INDEXED IN: Scopus WOS
Scopus WOS