Follow
João F. Ferreira
João F. Ferreira
Instituto Superior Técnico (Univ. Lisboa) & INESC-ID
Verified email at joaoff.com - Homepage
Title
Cited by
Cited by
Year
Empirical review of automated analysis tools on 47,587 ethereum smart contracts
T Durieux, JF Ferreira, R Abreu, P Cruz
Proceedings of the ACM/IEEE 42nd International conference on software …, 2020
2672020
Smartbugs: A framework to analyze solidity smart contracts
JF Ferreira, P Cruz, T Durieux, R Abreu
Proceedings of the 35th IEEE/ACM international conference on automated …, 2020
962020
Framer: Planning models from natural language action descriptions
A Lindsay, J Read, J Ferreira, T Hayton, J Porteous, P Gregory
Proceedings of the International Conference on Automated Planning and …, 2017
702017
JaSkel: A Java skeleton-based framework for structured cluster and grid computing
JF Ferreira, JL Sobral, AJ Proença
Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGRID …, 2006
622006
Linear logic programming for narrative generation
C Martens, AG Bosser, JF Ferreira, M Cavazza
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
412013
Automated verification of the FreeRTOS scheduler in Hip/Sleek
JF Ferreira, C Gherghina, G He, S Qin, WN Chin
International Journal on Software Tools for Technology Transfer 16, 381-397, 2014
382014
Generative story worlds as linear logic programs
C Martens, JF Ferreira, AG Bosser, M Cavazza
Seventh Intelligent Narrative Technologies Workshop, 2014
292014
Ecoandroid: An android studio plugin for developing energy-efficient java mobile applications
A Ribeiro, JF Ferreira, A Mendes
2021 IEEE 21st international conference on software quality, reliability and …, 2021
212021
On Euclid’s algorithm and elementary number theory
R Backhouse, JF Ferreira
Science of Computer Programming 76 (3), 160-180, 2011
212011
Certified password quality: a case study using Coq and Linux pluggable authentication modules
JF Ferreira, SA Johnson, A Mendes, PJ Brooke
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
182017
Storyframer: From input stories to output planning models
T Hayton, J Porteous, J Ferreira, A Lindsay, J Read
Workshop on Knowledge Engineering for Planning and Scheduling (KEPS). The …, 2017
172017
Recounting the rationals: twice!
R Backhouse, JF Ferreira
Mathematics of Program Construction: 9th International Conference, MPC 2008 …, 2008
172008
Reasoning about fences and relaxed atomics
M He, V Vafeiadis, S Qin, JF Ferreira
2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016
162016
Structure editing of handwritten mathematics: Improving the computer support for the calculational method
A Mendes, R Backhouse, JF Ferreira
Proceedings of the Ninth ACM International Conference on Interactive …, 2014
162014
Narrative planning model acquisition from text summaries and descriptions
T Hayton, J Porteous, J Ferreira, A Lindsay
Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1709-1716, 2020
142020
Students' feedback on teaching mathematics through the calculational method
JF Ferreira, A Mendes
2009 39th IEEE Frontiers in Education Conference, 1-6, 2009
142009
Which mathematics for the information society?
JF Ferreira, A Mendes, R Backhouse, LS Barbosa
Teaching Formal Methods: Second International Conference, TFM 2009 …, 2009
142009
Automated narrative planning model extension
J Porteous, JF Ferreira, A Lindsay, M Cavazza
Autonomous Agents and Multi-Agent Systems 35 (2), 19, 2021
132021
Logic training through algorithmic problem solving
JF Ferreira, A Mendes, A Cunha, C Baquero, P Silva, LS Barbosa, ...
Tools for Teaching Logic: Third International Congress, TICTTL 2011 …, 2011
132011
Skeptic: Automatic, justified and privacy-preserving password composition policy selection
S Johnson, JF Ferreira, A Mendes, J Cordry
Proceedings of the 15th ACM Asia Conference on Computer and Communications …, 2020
122020
The system can't perform the operation now. Try again later.
Articles 1–20