João Fernando Peixoto Ferreira


AuthID: R-000-J08

Publicações Confirmadas: 38



11
TÍTULO: Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
AUTORES: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
12
TÍTULO: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira ; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
13
TÍTULO: Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
AUTORES: David Pereira; João F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2020, FONTE: ISSRE Workshops
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
14
TÍTULO: SmartBugs. a framework to analyze solidity smart contracts
AUTORES: João F Ferreira ; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
INDEXADO EM: CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
15
TÍTULO: Framer: Planning models from natural language action descriptions
AUTORES: Lindsay, A; Read, J; Ferreira, JF ; Hayton, T; Porteous, J; Gregory, P;
PUBLICAÇÃO: 2017, FONTE: 27th International Conference on Automated Planning and Scheduling, ICAPS 2017 in Proceedings International Conference on Automated Planning and Scheduling, ICAPS
INDEXADO EM: Scopus
16
TÍTULO: REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
AUTORES: Almohammad, A; Ferreira, JF ; Mendes, A ; White, P;
PUBLICAÇÃO: 2017, FONTE: 25th IEEE International Requirements Engineering Conference Workshops (REW) in 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
17
TÍTULO: Visualization of Patient Behavior from Natural Language Recommendations
AUTORES: Jonathan Siddle; Alan Lindsay; João F Ferreira ; Julie Porteous; Jonathon Read; Fred Charles; Marc Cavazza; Gersende Georg;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
18
TÍTULO: A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
AUTORES: Ferreira, JF ; Mendes, A ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
19
TÍTULO: An Adapted Double Threshold Protocol for Spastic Muscles
AUTORES: Vieira, PM; Ferreira, JF ; Gomes, PR ; Lima, CS;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Handle
NO MEU: DBLP
20
TÍTULO: Reasoning about Fences and Relaxed Atomics
AUTORES: He, MD; Vafeiadis, V; Qin, SC; Ferreira, JF ;
PUBLICAÇÃO: 2016, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
Página 2 de 4. Total de resultados: 38.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service