◀ Click to filter

Total displayed: 52

Order by:
  • Automated Detection of Errors and Security Vulnerabilities in Infrastructure as Code Scripts
    Martim Monis
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2025
  • Automatic Verification of SystemC using Boogie
    Nuno Dendas
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2025
  • Learning-Based Automated Repair of Infrastructure as Code Programs
    Adriana Nunes
    João F. Ferreira (advisor)
    Alexandra Mendes (FEUP) (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2024
  • Machine Learning Techniques for Reliable Infrastructure Code
    Sancha Barroso
    João F. Ferreira (advisor)
    Alberto Abad (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2023
  • Automated Detection of Errors and Security Vulnerabilities in Infrastructure as Code Scripts"
    Simão Fonseca
    João F. Ferreira (advisor)
    Alexandra Mendes (FEUP) (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2022
  • Automatic Source Code Summarization using Transformers
    Bernardo Lourenço
    Alberto Abad (advisor)
    João F. Ferreira (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2022
  • Automated Program Repair of Persistent Programs (Working title)
    Rodrigo Antunes
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2022
  • Automatic Detection of Code Smells in Docker (Working title)
    Miguel Henriques
    João F. Ferreira (advisor)
    Alexandra Mendes (FEUP) (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2022
  • Automatic Detection of Code Smells in Terraform (Working title)
    João Gonçalves
    João F. Ferreira (advisor)
    Alexandra Mendes (FEUP) (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2022
  • Extending EcoAndroid with Automated Energy Profiling (Working title)
    Miguel Jardim
    João F. Ferreira (advisor)
    Alexandra Mendes (FEUP) (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2022
  • RPTester: Randomized Persistency Testing of File-Manipulating Programs (Working title)
    André Figueiredo
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2022
  • Studying Contract Usage in Android Mobile Applications (Working title)
    David Ferreira
    Alexandra Mendes (advisor)
    João F. Ferreira (coadvisor)
    Faculdade de Engenharia da Universidade do Porto
    2022
  • An Investigation Into User Expectations for Formal Verification (Working title)
    Mariana Soares
    Alexandra Mendes (advisor)
    João F. Ferreira (coadvisor)
    Faculdade de Engenharia da Universidade do Porto
    2022
  • Towards Formal Verification of Variational Quantum Algorithms (Working title)
    Marcelo Mouta
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2021
  • A Comparative Study of Self-Supervised Learning Techniques for Functional Program Repair
    André Nunes Silva
    João F. Ferreira (advisor)
    Martin Monperrus, KTH Royal Institute of Technology (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2021
  • Automated Program Repair of Dafny Programs: Repairing Arithmetic Programs
    Hugo Rafael Fecha Martins
    João F. Ferreira (advisor)
    Alexandra Mendes (FEUP) (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2021
  • Automatic Bug Prioritization of SmartBugs Reports using Machine Learning
    João Dinis
    João F. Ferreira (advisor)
    Rui Abreu (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2021
  • Extending the Concert Framework to Verify Solana Programs
    João Gomes
    João F. Ferreira (advisor)
    Pedro Adão (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2021
  • GLITCH: Polyglot Code Smell Detection for Infrastructure as Code
    Nuno Saavedra
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2021
  • Reasoning About Persistent and Concurrent Data Structures: Evaluating the Persistent Owicki-Gries Program Logic Through the Verification of a Persistent Queue
    Francisco Mendes
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2021
  • A Study on Generating Q# Quantum Programs using a Sequence-To-Sequence Machine Learning model
    Miguel Trinca
    João F. Ferreira (advisor)
    Rui Abreu (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2021
  • Persistence of Passwords in Bitwarden's Browser Extension: Unnecessary Retention and Solutions
    Rafael Prates
    João F. Ferreira (advisor)
    Alexandra Mendes (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2020
  • Mechanizing Feng-Ying Quantum Hoare Logic in Coq for Formal Proofs of Programs with Quantum and Classical Variables
    Mustafa Khalil
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2020
  • Refining High-Level Specifications of Decentralized Finance Protocols to EVM bytecode using the K framework
    Tiago Barbosa
    João F. Ferreira (advisor)
    Alexandra Mendes (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2020
  • A Static Analysis-based Platform-as-Service to Improve the Quality of Smart Contracts
    Dinis Araújo
    João F. Ferreira (advisor)
    Rui Abreu (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2020
  • Development of a Multi-Platform Whiteboard Application
    Lucas Soares
    João F. Ferreira (advisor)
    Alexandra Mendes (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2020
  • Extending EcoAndroid with Automated Detection of Resource Leaks
    Ricardo Pereira
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2020
  • Formal Verification of Password Generation Algorithms used in Password Managers
    Miguel Grilo
    João F. Ferreira (advisor)
    José Bacelar Almeida (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2020
  • Migrating Smart Contracts Across Heterogeneous Blockchains
    Luís Abrunhosa
    João F. Ferreira (advisor)
    André Vasconcelos (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2020
  • On Usable Security and Verified Password Managers
    Carolina Carreira
    João F. Ferreira (advisor)
    Alexandra Mendes (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2020
  • SmartPasswords: Increasing Password Managers' Usability by Generating Compliant Passwords
    João Campos
    João F. Ferreira (advisor)
    Alexandra Mendes (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2020
  • Formal Verification of Pointer-Based Splay Trees in Iris
    Ricardo Ciríaco da Graça
    João F. Ferreira (advisor)
    Simão Melo de Sousa (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2020
  • Prioritizing Facebook´s Infer Static Analysis Tool Warnings
    João Francisco Roberto Martins
    João F. Ferreira (advisor)
    Rui Abreu (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2020
  • Persistent and Lock-Free Data Structures for Non-Volatile Memories (working title)
    André Martins
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2020
  • Verification of Auction-Based Smart Contracts using the ConCert Framework
    Diogo Patrício
    João F. Ferreira (advisor)
    Alexandra Mendes (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2019
  • Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
    Rui Lima
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2019
  • EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
    Ana Sofia Gonçalves Ribeiro
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2019
  • Towards Automated Checking of Input Data Usage with Facebook Infer
    Rui Ferreira
    João F. Ferreira (advisor)
    Rui Abreu (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2019
  • Practical Detection of JavaScript Concurrency Bugs using Callback Graphs
    Bernardo Vasconcelos Freitas de Almeida Furet
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2019
  • Evaluating Password Strength Meters and Password Composition Policies using Guessing Attacks
    David Filipe Borges Pereira
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2019
  • IntelliComment: An IDE Plugin to Improve Java Source Code Using Comments
    Francisco Machado Duarte
    João F. Ferreira (advisor)
    Alberto Abad (coadvisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2019
  • A Study of Static Analysis Tools for Ethereum Smart Contracts
    António Pedro Cruz Monteiro
    João F. Ferreira (advisor)
    Instituto Superior Técnico, Universidade de Lisboa
    2018

Keywords

Start Year

2018 - 2025

Type

All [off | on]
(5)
Doctoral Supervision
(43)
Master's Supervision
(2)
Graduation Supervision
(2)
Internship

State

All [off | on]
(8)
Ongoing
(44)
Concluded