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) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Handle
IN MY: DBLP
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