João Fernando Peixoto Ferreira
AuthID: R-000-J08
11
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 WOS12
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
13
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
DBLP14
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
DBLP15
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
DBLP16
TITLE: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: FMTea, VOLUME: 13122
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: FMTea, VOLUME: 13122
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP17
TITLE: Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
AUTHORS: Lima, Rui; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021)
AUTHORS: Lima, Rui; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021)
18
TITLE: EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
AUTHORS: Ribeiro, Ana; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021)
AUTHORS: Ribeiro, Ana; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021)
19
TITLE: The Impact of Autonomous Vehicles' Active Feedback on Trust
AUTHORS: Mackay, A; Fortes, I; Santos, C; Machado, D; Barbosa, P; Boas, VV; Ferreira, JP; Costa, N; Silva, C; Sousa, E;
PUBLISHED: 2020, SOURCE: 10th International Conference on Applied Human Factors and Ergonomics (AHFE) / International Conference on Safety Management and Human Factors in ADVANCES IN SAFETY MANAGEMENT AND HUMAN FACTORS, VOLUME: 969
AUTHORS: Mackay, A; Fortes, I; Santos, C; Machado, D; Barbosa, P; Boas, VV; Ferreira, JP; Costa, N; Silva, C; Sousa, E;
PUBLISHED: 2020, SOURCE: 10th International Conference on Applied Human Factors and Ergonomics (AHFE) / International Conference on Safety Management and Human Factors in ADVANCES IN SAFETY MANAGEMENT AND HUMAN FACTORS, VOLUME: 969
INDEXED IN: Scopus WOS
Scopus WOS20
TITLE: Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts PDF
AUTHORS: Durieux, T; Ferreira, JF; Abreu, R ; Cruz, P;
PUBLISHED: 2020, SOURCE: 42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) in 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020)
AUTHORS: Durieux, T; Ferreira, JF; Abreu, R ; Cruz, P;
PUBLISHED: 2020, SOURCE: 42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) in 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020)
