João Fernando Peixoto Ferreira
AuthID: R-000-J08
21
TÃTULO: Extending Narrative Planning Domains with Linguistic Resources
AUTORES: Julie Porteous; João F Ferreira; Alan Lindsay; Marc Cavazza;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020
AUTORES: Julie Porteous; João F Ferreira; Alan Lindsay; Marc Cavazza;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP22
TÃTULO: Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
AUTORES: David Pereira; João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2020, FONTE: 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
AUTORES: David Pereira; João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2020, FONTE: 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
23
TÃTULO: SmartBugs. a framework to analyze solidity smart contracts
AUTORES: João F Ferreira; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
AUTORES: João F Ferreira; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
24
TÃTULO: Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts PDF
AUTORES: Thomas Durieux; João F Ferreira; Rui Abreu ; Pedro Cruz;
PUBLICAÇÃO: 2020, FONTE: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020
AUTORES: Thomas Durieux; João F Ferreira; Rui Abreu ; Pedro Cruz;
PUBLICAÇÃO: 2020, FONTE: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020
INDEXADO EM: DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP25
TÃTULO: Logic, Algebra, and Geometry at the Foundation of Computer Science
AUTORES: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2019, FONTE: 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
AUTORES: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: 
Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP26
TÃTULO: Open and Interactive Learning Resources for Algorithmic Problem Solving
AUTORES: João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2019, FONTE: 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
AUTORES: João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP27
TÃTULO: Towards a Program Logic for C11 Release-Sequences
AUTORES: Mengda D He; Shengchao C Qin; Joao F Ferreira;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Mengda D He; Shengchao C Qin; Joao F Ferreira;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: Scopus 
WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP28
TÃTULO: Towards Verified Handwritten Calculational Proofs
AUTORES: Alexandra Mendes ; Joao F Ferreira;
PUBLICAÇÃO: 2018, FONTE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895
AUTORES: Alexandra Mendes ; Joao F Ferreira;
PUBLICAÇÃO: 2018, FONTE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895
INDEXADO EM: WOS DBLP
WOS DBLP NO MEU: DBLP
DBLP29
TÃTULO: GPS $$+$$ + : Reasoning About Fences and Relaxed Atomics
AUTORES: Mengda He; Viktor Vafeiadis; Shengchao Qin; João F Ferreira;
PUBLICAÇÃO: 2018, FONTE: Int. J. Parallel Program., VOLUME: 46, NÚMERO: 6
AUTORES: Mengda He; Viktor Vafeiadis; Shengchao Qin; João F Ferreira;
PUBLICAÇÃO: 2018, FONTE: Int. J. Parallel Program., VOLUME: 46, NÚMERO: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP30
TÃTULO: REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
AUTORES: Ali Almohammad; Joao F Ferreira; Alexandra Mendes ; Phil White;
PUBLICAÇÃO: 2017, FONTE: 25th IEEE International Requirements Engineering Conference Workshops (REW) in 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW)
AUTORES: Ali Almohammad; Joao F Ferreira; Alexandra Mendes ; Phil White;
PUBLICAÇÃO: 2017, FONTE: 25th IEEE International Requirements Engineering Conference Workshops (REW) in 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW)
