João Fernando Peixoto Ferreira
AuthID: R-000-J08
1
TITLE: Improved SWMM Modeling for Rapid Pipe Filling Incorporating Air Behavior in Intermittent Water Supply Systems Full Text
AUTHORS: Ferreira, Joao P.; Ferras, David; Covas, Didia I. C. ; Kapelan, Zoran;
PUBLISHED: 2023, SOURCE: JOURNAL OF HYDRAULIC ENGINEERING, VOLUME: 149, ISSUE: 4
AUTHORS: Ferreira, Joao P.; Ferras, David; Covas, Didia I. C. ; Kapelan, Zoran;
PUBLISHED: 2023, SOURCE: JOURNAL OF HYDRAULIC ENGINEERING, VOLUME: 149, ISSUE: 4
2
TITLE: Integration of an Artificial Perception System for Identification of Live Flammable Material in Forestry Robotics
AUTHORS: Eduarda E Andrada; João F Ferreira; David Portugal; Micael S Couceiro;
PUBLISHED: 2022, SOURCE: IEEE/SICE International Symposium on System Integration, SII 2022, Narvik, Norway, January 9-12, 2022
AUTHORS: Eduarda E Andrada; João F Ferreira; David Portugal; Micael S Couceiro;
PUBLISHED: 2022, SOURCE: IEEE/SICE International Symposium on System Integration, SII 2022, Narvik, Norway, January 9-12, 2022
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts
AUTHORS: Nuno Saavedra; João F Ferreira;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2205.14371
AUTHORS: Nuno Saavedra; João F Ferreira;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2205.14371
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP4
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
DBLP5
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
DBLP6
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 WOS7
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
DBLP8
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
DBLP9
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
DBLP10
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: 2020, SOURCE: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020
AUTHORS: Thomas Durieux; João F Ferreira; Rui Abreu ; Pedro Cruz;
PUBLISHED: 2020, SOURCE: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020
INDEXED IN: DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP