João Fernando Peixoto Ferreira


AuthID: R-000-J08

Confirmed Publications: 38



11
TITLE: Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
AUTHORS: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
12
13
TITLE: Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
AUTHORS: David Pereira; João F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2020, SOURCE: ISSRE Workshops
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
14
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
15
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
16
TITLE: REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
AUTHORS: Almohammad, A; Ferreira, JF ; Mendes, A ; White, P;
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: 4
IN MY: ORCID | CIÊNCIAVITAE
17
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
18
TITLE: A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
AUTHORS: Ferreira, JF ; Mendes, A ;
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 | CIÊNCIAVITAE
19
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
20
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
Page 2 of 4. Total results: 38.

footer slogan

Useful Links

Get Help

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