João Fernando Peixoto Ferreira
AuthID: R-000-J08
21
TITLE: Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
AUTHORS: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: DBLP
DBLP22
TITLE: SmartBugs: A Framework to Analyze Solidity Smart Contracts
AUTHORS: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
AUTHORS: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP23
TITLE: Narrative Planning Model Acquisition from Text Summaries and Descriptions
AUTHORS: Thomas Hayton; Julie Porteous; João Fernando Ferreira; Alan Lindsay;
PUBLISHED: 2020, SOURCE: 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.
AUTHORS: Thomas Hayton; Julie Porteous; João Fernando Ferreira; Alan Lindsay;
PUBLISHED: 2020, SOURCE: 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.
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP24
TITLE: Extending Narrative Planning Domains with Linguistic Resources
AUTHORS: Julie Porteous; João F Ferreira; Alan Lindsay; Marc Cavazza;
PUBLISHED: 2020, SOURCE: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020
AUTHORS: Julie Porteous; João F Ferreira; Alan Lindsay; Marc Cavazza;
PUBLISHED: 2020, SOURCE: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP25
TITLE: Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
AUTHORS: David Pereira; João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2020, SOURCE: 31st IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 in 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
AUTHORS: David Pereira; João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2020, SOURCE: 31st IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 in 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
26
TITLE: SmartBugs. a framework to analyze solidity smart contracts
AUTHORS: João F Ferreira; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLISHED: 2020, SOURCE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
AUTHORS: João F Ferreira; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLISHED: 2020, SOURCE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
27
TITLE: Logic, Algebra, and Geometry at the Foundation of Computer Science
AUTHORS: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2019, SOURCE: 3rd International Workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019 in Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, VOLUME: 11758
AUTHORS: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2019, SOURCE: 3rd International Workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019 in Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, VOLUME: 11758
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP28
TITLE: Open and Interactive Learning Resources for Algorithmic Problem Solving
AUTHORS: João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2019, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II, VOLUME: 12233
AUTHORS: João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2019, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II, VOLUME: 12233
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP29
TITLE: Empirical Review of Automated Analysis Tools on 47, 587 Ethereum Smart Contracts PDF
AUTHORS: Thomas Durieux; João F Ferreira; Rui Abreu ; Pedro Cruz;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1910.10601
AUTHORS: Thomas Durieux; João F Ferreira; Rui Abreu ; Pedro Cruz;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1910.10601
INDEXED IN: DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP30
TITLE: Towards a Program Logic for C11 Release-Sequences
AUTHORS: Mengda D He; Shengchao C Qin; Joao F Ferreira;
PUBLISHED: 2018, SOURCE: International Symposium on Theoretical Aspects of Software Engineering (TASE) in PROCEEDINGS 2018 12TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2018), VOLUME: 2018-January
AUTHORS: Mengda D He; Shengchao C Qin; Joao F Ferreira;
PUBLISHED: 2018, SOURCE: International Symposium on Theoretical Aspects of Software Engineering (TASE) in PROCEEDINGS 2018 12TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2018), VOLUME: 2018-January
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP