João Fernando Peixoto Ferreira


AuthID: R-000-J08

Confirmed Publications: 35



11
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
INDEXED IN: CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
12
TITLE: Framer: Planning models from natural language action descriptions
AUTHORS: Lindsay, A; Read, J; Ferreira, JF ; Hayton, T; Porteous, J; Gregory, P;
PUBLISHED: 2017, SOURCE: 27th International Conference on Automated Planning and Scheduling, ICAPS 2017 in Proceedings International Conference on Automated Planning and Scheduling, ICAPS
INDEXED IN: Scopus
13
TITLE: REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
AUTHORS: Ali Almohammad; Joao F Ferreira ; Alexandra Mendes ; Phil White;
PUBLISHED: 2017, SOURCE: 25th IEEE International Requirements Engineering Conference Workshops (REW) in 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
14
TITLE: Visualization of Patient Behavior from Natural Language Recommendations
AUTHORS: Jonathan Siddle; Alan Lindsay; João F Ferreira ; Julie Porteous; Jonathon Read; Fred Charles; Marc Cavazza; Gersende Georg;
PUBLISHED: 2017, SOURCE: 9th International Conference on Knowledge Capture, K-CAP 2017 in Proceedings of the Knowledge Capture Conference, K-CAP 2017, Austin, TX, USA, December 4-6, 2017
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
15
TITLE: A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
AUTHORS: Joao F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
16
TITLE: An adapted double threshold protocol for spastic muscles
AUTHORS: Vieira, PM; Ferreira, JF ; Gomes, PR ; Lima, CS;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2016 in Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS, VOLUME: 2016-October
INDEXED IN: Scopus CrossRef: 1 Handle
17
TITLE: Reasoning about Fences and Relaxed Atomics
AUTHORS: He, MD; Vafeiadis, V; Qin, SC; Ferreira, JF ;
PUBLISHED: 2016, SOURCE: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
18
TITLE: Supporting social skills rehabilitation with virtual storytelling
AUTHORS: Even, C; Bosser, AG; Ferreira, JF ; Buche, C; Stephan, F; Cavazza, M; Lisetti, C;
PUBLISHED: 2016, SOURCE: 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016 in Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016
INDEXED IN: Scopus
19
TITLE: On Euclid's Algorithm and Elementary Number Theory PDF
AUTHORS: Roland Carl Backhouse; João F Ferreira ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1506.05981
INDEXED IN: DBLP arXiv
IN MY: DBLP
20
TITLE: Automated verification of the FreeRTOS scheduler in HIP/SLEEK  Full Text
AUTHORS: Ferreira, JF ; Gherghina, C; He, GH; Qin, SC; Chin, WN;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 16, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
Page 2 of 4. Total results: 35.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service