João Fernando Peixoto Ferreira
AuthID: R-000-J08
1
TÃTULO: Do Experts Agree About Smelly Infrastructure? Full Text
AUTORES: Masoumzadeh, Sogol; Saavedra, Nuno; Maipradit, Rungroj; Wei, Lili; Ferreira, Joao F.; Varro, Daniel; McIntosh, Shane;
PUBLICAÇÃO: 2025, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 51, NÚMERO: 5
AUTORES: Masoumzadeh, Sogol; Saavedra, Nuno; Maipradit, Rungroj; Wei, Lili; Ferreira, Joao F.; Varro, Daniel; McIntosh, Shane;
PUBLICAÇÃO: 2025, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 51, NÚMERO: 5
2
TÃTULO: InfraFix: Technology-Agnostic Repair of Infrastructure as Code
AUTORES: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: 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
AUTORES: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: 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
TÃTULO: GLITCH: Polyglot Code Smell Detection in Infrastructure as Code
AUTORES: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2024, FONTE: ERCIM NEWS, VOLUME: 139, NÚMERO: 139
AUTORES: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2024, FONTE: ERCIM NEWS, VOLUME: 139, NÚMERO: 139
INDEXADO EM: 
WOS 
DBLP
WOS DBLP4
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
5
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
DBLP6
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
7
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
DBLP8
TÃTULO: Automated narrative planning model extension
AUTORES: Julie Porteous; João F Ferreira; Alan Lindsay; Marc Cavazza;
PUBLICAÇÃO: 2021, FONTE: Auton. Agents Multi Agent Syst., VOLUME: 35, NÚMERO: 2
AUTORES: Julie Porteous; João F Ferreira; Alan Lindsay; Marc Cavazza;
PUBLICAÇÃO: 2021, FONTE: Auton. Agents Multi Agent Syst., VOLUME: 35, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP9
TÃTULO: Towards Formal Verification of Password Generation Algorithms used in Password Managers
AUTORES: Miguel Grilo; João F Ferreira; José Bacelar Almeida ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2106.03626
AUTORES: Miguel Grilo; João F Ferreira; José Bacelar Almeida ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2106.03626
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP10
TÃTULO: Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2021, FONTE: 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
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2021, FONTE: 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
INDEXADO EM: 
Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP