Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoão F. Ferreira 0001
Person information
- affiliation: University of Lisbon, Instituto Superior Técnico, Portugal
- affiliation (2011 - 2018): Teesside University, Middlesbrough, UK
- affiliation (PhD 2010): University of Nottingham, UK
Other persons with the same name
- João Filipe Ferreira
![[0000-0002-2510-2412]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-2510-2412")
(aka: João F. Ferreira 0002) — Nottingham Trent University, Clifton Campus, UK (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j10]Rui Lima, João F. Ferreira, Alexandra Mendes, Carolina Carreira:
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring. Autom. Softw. Eng. 31(1): 1 (2024)- [j9]Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer:
Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study. Empir. Softw. Eng. 29(2): 41 (2024) - [i12]Álvaro Silva, Alexandra Mendes, João F. Ferreira:
Leveraging Large Language Models to Boost Dafny's Developers Productivity. CoRR abs/2401.00963 (2024) - [i11]David R. Ferreira, Alexandra Mendes, João F. Ferreira:
Contract Usage and Evolution in Android Mobile Applications. CoRR abs/2401.14244 (2024) - 2023
- [j8]Henrique Botelho Guerra, João F. Ferreira, João Costa Seco:
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact). Dagstuhl Artifacts Ser. 9(2): 20:1-20:3 (2023) - [j7]Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda:
bGSL: An imperative language for specification and refinement of backtracking programs. J. Log. Algebraic Methods Program. 130: 100811 (2023) - [c41]Henrique Botelho Guerra, João F. Ferreira, João Costa Seco:
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution. ECOOP 2023: 4:1-4:28 - [c40]Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes:
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. ASE 2023: 2042-2045 - [c39]Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer:
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts. ASE 2023: 2102-2105 - [i10]Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer:
Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study. CoRR abs/2303.10517 (2023) - [i9]André Silva, João F. Ferreira, He Ye, Martin Monperrus:
MUFIN: Improving Neural Repair Models with Back-Translation. CoRR abs/2304.02301 (2023) - [i8]Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer:
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts. CoRR abs/2306.05057 (2023) - [i7]Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes:
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. CoRR abs/2308.09458 (2023) - 2022
- [c38]Miguel Trinca, João F. Ferreira, Rui Abreu:
A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing. ICST Workshops 2022: 118-121 - [c37]Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes:
Verified Password Generation from Password Composition Policies. IFM 2022: 271-288 - [c36]Raffaele Della Corte, Marta Catillo, João F. Ferreira, Guanpeng Li:
Message from the RSDA 2022 Workshop Chairs. ISSRE Workshops 2022: xxix - [c35]Nuno Saavedra, João F. Ferreira:
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code. ASE 2022: 47:1-47:12 - [c34]Ricardo B. Pereira, João F. Ferreira, Alexandra Mendes, Rui Abreu:
Extending EcoAndroid with Automated Detection of Resource Leaks. MOBILESoft 2022: 17-27 - [i6]Nuno Saavedra, João F. Ferreira:
GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts. CoRR abs/2205.14371 (2022) - 2021
- [j6]Julie Porteous, João F. Ferreira, Alan Lindsay, Marc Cavazza:
Automated narrative planning model extension. Auton. Agents Multi Agent Syst. 35(2): 19 (2021) - [c33]Rui Lima, João F. Ferreira, Alexandra Mendes:
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities. ASE Workshops 2021: 1-8 - [c32]Ana Ribeiro, João F. Ferreira, Alexandra Mendes:
EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications. QRS 2021: 62-69 - [c31]Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin:
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda. AppFM@FM 2021: 77-84 - [e1]João F. Ferreira, Alexandra Mendes, Claudio Menghi:
Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings. Lecture Notes in Computer Science 13122, Springer 2021, ISBN 978-3-030-91549-0 [contents] - [i5]Miguel Grilo, João F. Ferreira, José Bacelar Almeida:
Towards Formal Verification of Password Generation Algorithms used in Password Managers. CoRR abs/2106.03626 (2021) - 2020
- [c30]Thomas Hayton, Julie Porteous, João F. Ferreira, Alan Lindsay:
Narrative Planning Model Acquisition from Text Summaries and Descriptions. AAAI 2020: 1709-1716 - [c29]Julie Porteous, João F. Ferreira, Alan Lindsay, Marc Cavazza:
Extending Narrative Planning Domains with Linguistic Resources. AAMAS 2020: 1081-1089 - [c28]Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry:
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. AsiaCCS 2020: 101-115 - [c27]Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz:
Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts. ICSE 2020: 530-541 - [c26]David Pereira, João F. Ferreira, Alexandra Mendes:
Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks. ISSRE Workshops 2020: 237-242 - [c25]João F. Ferreira, Pedro Cruz, Thomas Durieux, Rui Abreu:
SmartBugs: A Framework to Analyze Solidity Smart Contracts. ASE 2020: 1349-1352 - [i4]Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry:
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. CoRR abs/2007.03809 (2020) - [i3]João F. Ferreira, Pedro Cruz, Thomas Durieux, Rui Abreu:
SmartBugs: A Framework to Analyze Solidity Smart Contracts. CoRR abs/2007.04771 (2020)
2010 – 2019
- 2019
- [c24]João F. Ferreira, Alexandra Mendes:
Open and Interactive Learning Resources for Algorithmic Problem Solving. FM Workshops (2) 2019: 200-208 - [c23]Tony Hoare, Alexandra Mendes, João F. Ferreira:
Logic, Algebra, and Geometry at the Foundation of Computer Science. FMTea 2019: 3-20 - [i2]Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz:
Empirical Review of Automated Analysis Tools on 47, 587 Ethereum Smart Contracts. CoRR abs/1910.10601 (2019) - 2018
- [j5]Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira:
GPS+: Reasoning About Fences and Relaxed Atomics. Int. J. Parallel Program. 46(6): 1157-1183 (2018) - [c22]Alexandra Mendes, João F. Ferreira:
Towards Verified Handwritten Calculational Proofs - (Short Paper). ITP 2018: 432-440 - [c21]Mengda He, Shengchao Qin, João F. Ferreira:
Towards a Program Logic for C11 Release-Sequences. TASE 2018: 28-35 - 2017
- [c20]Alan Lindsay, Jonathon Read, João F. Ferreira, Thomas Hayton, Julie Porteous, Peter Gregory:
Framer: Planning Models from Natural Language Action Descriptions. ICAPS 2017: 434-442 - [c19]João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke:
Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules. IFM 2017: 407-421 - [c18]Jonathan Siddle, Alan Lindsay, João F. Ferreira, Julie Porteous, Jonathon Read, Fred Charles, Marc Cavazza, Gersende Georg:
Visualization of Patient Behavior from Natural Language Recommendations. K-CAP 2017: 25:1-25:4 - [c17]Ali Almohammad, João F. Ferreira, Alexandra Mendes, Phil White:
ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems. RE Workshops 2017: 351-358 - 2016
- [j4]João F. Ferreira, Alexandra Mendes:
A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra. J. Log. Algebraic Methods Program. 85(5): 906-920 (2016) - [c16]Pedro M. Vieira, João F. Ferreira, Pedro R. Gomes, Carlos S. Lima:
An adapted double threshold protocol for spastic muscles. EMBC 2016: 3630-3633 - [c15]Cindy Even, Anne-Gwenn Bosser, João F. Ferreira, Cédric Buche, Florian Stéphan, Marc Cavazza, Christine L. Lisetti:
Supporting Social Skills Rehabilitation with Virtual Storytelling. FLAIRS 2016: 329-334 - [c14]Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira:
Reasoning about Fences and Relaxed Atomics. PDP 2016: 520-527 - 2015
- [i1]Roland Carl Backhouse, João F. Ferreira:
On Euclid's Algorithm and Elementary Number Theory. CoRR abs/1506.05981 (2015) - 2014
- [j3]João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin:
Automated verification of the FreeRTOS scheduler in Hip/Sleek. Int. J. Softw. Tools Technol. Transf. 16(4): 381-397 (2014) - [c13]João F. Ferreira, Alexandra Mendes:
The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. ITiCSE 2014: 75-80 - [c12]Alexandra Mendes, Roland Carl Backhouse, João F. Ferreira:
Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method. ITS 2014: 139-148 - 2013
- [j2]Roland Carl Backhouse, Wei Chen, João F. Ferreira:
The algorithmics of solitaire-like games. Sci. Comput. Program. 78(11): 2029-2046 (2013) - [c11]Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He:
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. ICFEM 2013: 165-181 - [c10]Chris Martens, Anne-Gwenn Bosser, João F. Ferreira, Marc Cavazza:
Linear Logic Programming for Narrative Generation. LPNMR 2013: 427-432 - 2012
- [c9]Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira:
A Timed CSP Model for the Time-Triggered Language Giotto. SEW 2012: 110-119 - [c8]João F. Ferreira, Guanhua He, Shengchao Qin:
Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. TASE 2012: 51-58 - 2011
- [j1]Roland Carl Backhouse, João F. Ferreira:
On Euclid's algorithm and elementary number theory. Sci. Comput. Program. 76(3): 160-180 (2011) - [c7]João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira:
Logic Training through Algorithmic Problem Solving. TICTTL 2011: 62-69 - 2010
- [c6]Roland Carl Backhouse, Wei Chen, João F. Ferreira:
The Algorithmics of Solitaire-Like Games. MPC 2010: 1-18 - [c5]João F. Ferreira:
Designing an Algorithmic Proof of the Two-Squares Theorem. MPC 2010: 140-156
2000 – 2009
- 2009
- [c4]João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa:
Which Mathematics for the Information Society? TFM 2009: 39-56 - 2008
- [c3]Roland Carl Backhouse, João F. Ferreira:
Recounting the Rationals: Twice!. MPC 2008: 79-91 - 2006
- [c2]João F. Ferreira, João Luís Sobral, Alberto José Proença:
JaSkel: A Java Skeleton-Based Framework for Structured Cluster and Grid Computing. CCGRID 2006: 301-304 - 2005
- [c1]João Fernando Ferreira, João Luís Sobral:
ParC#: Parallel Computing with C# in .Net. PaCT 2005: 239-248
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-16 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
