default search action

combined dblp search
author search
venue search
publication search

ask others

João F. Ferreira 0001

João Fernando Ferreira

> Home > Persons

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

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ase/LimaFMC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/LimaFMC24
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ese/AngeloDFS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/AngeloDFS24
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)
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FerreiraM024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FerreiraM024
David R. Ferreira, Alexandra Mendes, João F. Ferreira:
How are Contracts Used in Android Mobile Applications? ICSE Companion 2024: 400-401
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/SilvaM024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/SilvaM024
Álvaro F. Silva, Alexandra Mendes, João F. Ferreira:
Leveraging Large Language Models to Boost Dafny's Developers Productivity. FormaliSE@ICSE 2024: 138-142
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/CarrottSTL0F24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/CarrottSTL0F24
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First:
CoqPyt: Proof Navigation in Python in the Era of LLMs. SIGSOFT FSE Companion 2024: 637-641
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-00963
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-00963
Álvaro F. Silva, Alexandra Mendes, João F. Ferreira:
Leveraging Large Language Models to Boost Dafny's Developers Productivity. CoRR abs/2401.00963 (2024)
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-14244
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-14244
David R. Ferreira, Alexandra Mendes, João F. Ferreira:
Contract Usage and Evolution in Android Mobile Applications. CoRR abs/2401.14244 (2024)
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-04282
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-04282
Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First:
CoqPyt: Proof Navigation in Python in the Era of LLMs. CoRR abs/2405.04282 (2024)
[i11]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/Saavedra0M24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/Saavedra0M24
Nuno Saavedra, João F. Ferreira, Alexandra Mendes:
GLITCH: Polyglot Code Smell Detection in Infrastructure as Code. ERCIM News 139(138) (2024)
2023
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/darts/Guerra0S23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/Guerra0S23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/DunneFMRSZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/DunneFMRSZ23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/Guerra0S23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Guerra0S23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/SaavedraGHFM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/SaavedraGHFM23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/AngeloDFS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/AngeloDFS23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-10517
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-10517
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-02301
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-02301
André Silva, João F. Ferreira, He Ye, Martin Monperrus:
MUFIN: Improving Neural Repair Models with Back-Translation. CoRR abs/2304.02301 (2023)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-05057
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-05057
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-09458
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-09458
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/TrincaFA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/TrincaFA22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/GriloCFAM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/GriloCFAM22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/CorteCFL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/CorteCFL22
Raffaele Della Corte, Marta Catillo, João F. Ferreira, Guanpeng Li:
Message from the RSDA 2022 Workshop Chairs. ISSRE Workshops 2022: xxix
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Saavedra022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Saavedra022
Nuno Saavedra, João F. Ferreira:
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code. ASE 2022: 47:1-47:12
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/mobilesoft/PereiraFMA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mobilesoft/PereiraFMA22
Ricardo B. Pereira, João F. Ferreira, Alexandra Mendes, Rui Abreu:
Extending EcoAndroid with Automated Detection of Resource Leaks. MOBILESoft 2022: 17-27
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-14371
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-14371
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]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/PorteousFLC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/PorteousFLC21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/0001FM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/0001FM21
Rui Lima, João F. Ferreira, Alexandra Mendes:
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities. ASE Workshops 2021: 1-8
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/RibeiroFM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/RibeiroFM21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2111-08209
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-08209
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/2021
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-03626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-03626
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/HaytonPFL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HaytonPFL20
Thomas Hayton, Julie Porteous, João F. Ferreira, Alan Lindsay:
Narrative Planning Model Acquisition from Text Summaries and Descriptions. AAAI 2020: 1709-1716
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/PorteousFLC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/PorteousFLC20
Julie Porteous, João F. Ferreira, Alan Lindsay, Marc Cavazza:
Extending Narrative Planning Domains with Linguistic Resources. AAMAS 2020: 1081-1089
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/JohnsonFMC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/JohnsonFMC20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DurieuxFAC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DurieuxFAC20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/PereiraFM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/PereiraFM20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/FerreiraCDA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/FerreiraCDA20
João F. Ferreira, Pedro Cruz, Thomas Durieux, Rui Abreu:
SmartBugs: A Framework to Analyze Solidity Smart Contracts. ASE 2020: 1349-1352
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/DurieuxFAC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DurieuxFAC20
Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz:
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts. Zenodo, 2020
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-03809
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-03809
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-04771
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-04771
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FerreiraM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FerreiraM19
João F. Ferreira, Alexandra Mendes:
Open and Interactive Learning Resources for Algorithmic Problem Solving. FM Workshops (2) 2019: 200-208
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/HoareMF99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/HoareMF99
Tony Hoare, Alexandra Mendes, João F. Ferreira:
Logic, Algebra, and Geometry at the Foundation of Computer Science. FMTea 2019: 3-20
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-10601
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-10601
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijpp/HeVQF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijpp/HeVQF18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/MendesF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/MendesF18
Alexandra Mendes, João F. Ferreira:
Towards Verified Handwritten Calculational Proofs - (Short Paper). ITP 2018: 432-440
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/HeQF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/HeQF18
Mengda He, Shengchao Qin, João F. Ferreira:
Towards a Program Logic for C11 Release-Sequences. TASE 2018: 28-35
2017
[c20]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/LindsayRFHPG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/LindsayRFHPG17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/FerreiraJMB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/FerreiraJMB17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kcap/SiddleLFPRCCG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kcap/SiddleLFPRCCG17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/re/AlmohammadFMW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/AlmohammadFMW17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/FerreiraM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/FerreiraM16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/embc/VieiraFGL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/embc/VieiraFGL16
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]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/EvenBFBSCL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/EvenBFBSCL16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/HeVQF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/HeVQF16
Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira:
Reasoning about Fences and Relaxed Atomics. PDP 2016: 520-527
2015
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BackhouseF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BackhouseF15
Roland Carl Backhouse, João F. Ferreira:
On Euclid's Algorithm and Elementary Number Theory. CoRR abs/1506.05981 (2015)
2014
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/FerreiraGHQC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FerreiraGHQC14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/FerreiraM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/FerreiraM14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tabletop/MendesBF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tabletop/MendesBF14
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Backhouse0F13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Backhouse0F13
Roland Carl Backhouse, Wei Chen, João F. Ferreira:
The algorithmics of solitaire-like games. Sci. Comput. Program. 78(11): 2029-2046 (2013)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/HuangFHQH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/HuangFHQH13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/MartensBFC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/MartensBFC13
Chris Martens, Anne-Gwenn Bosser, João F. Ferreira, Marc Cavazza:
Linear Logic Programming for Narrative Generation. LPNMR 2013: 427-432
2012
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/HuangZQHF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/HuangZQHF12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/FerreiraHQ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/FerreiraHQ12
João F. Ferreira, Guanhua He, Shengchao Qin:
Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. TASE 2012: 51-58
2011
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BackhouseF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BackhouseF11
Roland Carl Backhouse, João F. Ferreira:
On Euclid's algorithm and elementary number theory. Sci. Comput. Program. 76(3): 160-180 (2011)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ticttl/FerreiraMCBSBO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ticttl/FerreiraMCBSBO11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/BackhouseCF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/BackhouseCF10
Roland Carl Backhouse, Wei Chen, João F. Ferreira:
The Algorithmics of Solitaire-Like Games. MPC 2010: 1-18
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Ferreira10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Ferreira10
João F. Ferreira:
Designing an Algorithmic Proof of the Two-Squares Theorem. MPC 2010: 140-156

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/FerreiraMBB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/FerreiraMBB09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/BackhouseF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/BackhouseF08
Roland Carl Backhouse, João F. Ferreira:
Recounting the Rationals: Twice!. MPC 2008: 79-91
2006
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ccgrid/FerreiraSP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccgrid/FerreiraSP06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pact/FerreiraS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pact/FerreiraS05
João Fernando Ferreira, João Luís Sobral:
ParC#: Parallel Computing with C# in .Net. PaCT 2005: 239-248

Coauthor Index

see FAQ

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.