João Fernando Peixoto Ferreira
AuthID: R-000-J08
11
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
DBLP12
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
DBLP13
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
DBLP14
TÃTULO: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: FMTea, VOLUME: 13122
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: FMTea, VOLUME: 13122
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP15
TÃTULO: Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
AUTORES: Lima, Rui; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021)
AUTORES: Lima, Rui; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021)
16
TÃTULO: EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
AUTORES: Ribeiro, Ana; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 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)
AUTORES: Ribeiro, Ana; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 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)
17
TÃTULO: The Impact of Autonomous Vehicles' Active Feedback on Trust
AUTORES: Mackay, A; Fortes, I; Santos, C; Machado, D; Barbosa, P; Boas, VV; Ferreira, JP; Costa, N; Silva, C; Sousa, E;
PUBLICAÇÃO: 2020, FONTE: 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
AUTORES: Mackay, A; Fortes, I; Santos, C; Machado, D; Barbosa, P; Boas, VV; Ferreira, JP; Costa, N; Silva, C; Sousa, E;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: Scopus 
WOS
Scopus WOS18
TÃTULO: Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
AUTORES: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2020, FONTE: 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020 in ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020
AUTORES: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2020, FONTE: 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020 in ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP19
TÃTULO: SmartBugs: A Framework to Analyze Solidity Smart Contracts
AUTORES: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
AUTORES: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP20
TÃTULO: Narrative Planning Model Acquisition from Text Summaries and Descriptions
AUTORES: Thomas Hayton; Julie Porteous; João Fernando Ferreira; Alan Lindsay;
PUBLICAÇÃO: 2020, FONTE: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.
AUTORES: Thomas Hayton; Julie Porteous; João Fernando Ferreira; Alan Lindsay;
PUBLICAÇÃO: 2020, FONTE: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP