João Fernando Peixoto Ferreira
AuthID: R-000-J08
1
TITLE: Do Experts Agree About Smelly Infrastructure? Full Text
AUTHORS: Masoumzadeh, Sogol; Saavedra, Nuno; Maipradit, Rungroj; Wei, Lili; Ferreira, Joao F.; Varro, Daniel; McIntosh, Shane;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 51, ISSUE: 5
AUTHORS: Masoumzadeh, Sogol; Saavedra, Nuno; Maipradit, Rungroj; Wei, Lili; Ferreira, Joao F.; Varro, Daniel; McIntosh, Shane;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 51, ISSUE: 5
2
TITLE: InfraFix: Technology-Agnostic Repair of Infrastructure as Code
AUTHORS: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025
AUTHORS: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025
3
TITLE: GLITCH: Polyglot Code Smell Detection in Infrastructure as Code
AUTHORS: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: ERCIM NEWS, VOLUME: 139, ISSUE: 139
AUTHORS: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: ERCIM NEWS, VOLUME: 139, ISSUE: 139
INDEXED IN: 
WOS 
DBLP
WOS DBLP4
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
5
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: Automated narrative planning model extension
AUTHORS: Julie Porteous; João F Ferreira; Alan Lindsay; Marc Cavazza;
PUBLISHED: 2021, SOURCE: Auton. Agents Multi Agent Syst., VOLUME: 35, ISSUE: 2
AUTHORS: Julie Porteous; João F Ferreira; Alan Lindsay; Marc Cavazza;
PUBLISHED: 2021, SOURCE: Auton. Agents Multi Agent Syst., VOLUME: 35, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP9
TITLE: Towards Formal Verification of Password Generation Algorithms used in Password Managers
AUTHORS: Miguel Grilo; João F Ferreira; José Bacelar Almeida ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2106.03626
AUTHORS: Miguel Grilo; João F Ferreira; José Bacelar Almeida ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2106.03626
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP10
TITLE: Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2021, SOURCE: 1st Workshop on Applicable Formal Methods, AppFM 2021 in Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021., VOLUME: 349
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2021, SOURCE: 1st Workshop on Applicable Formal Methods, AppFM 2021 in Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021., VOLUME: 349
INDEXED IN: 
Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP