Teses - INESC TEC

Teses
supervisionadas

Teses supervisionadas por João Bispo

Automatic Streaming for RISC-V via Source-to-Source Compilation

Autor Luís Miguel Pedrosa de Moura Oliveira Henriques

Grau MSc

Ano 2022

E-APK: Energy Pattern Detection in Decompiled Android Applications

Autor Nelson Alexandre Saraiva Gregório

Grau MSc

Ano 2022

Analysis and Aggregation of Vulnerability Databases with Code-Level Data

Autor Pedro Leite Galvão

Grau MSc

Ano 2022

AST-Based Large-Scale Vulnerability Analysis for C/C++

Autor Diogo Ferreira de Sousa

Grau MSc

Ano 2022

Fully asynchronous Java APIs for web applications

Autor Daniel Pereira da Silva

Grau MSc

Ano 2021

On the Lookout for Malware in Browser Extensions

Autor Bernardo Manuel Costa Barbosa

Grau MSc

Ano 2021

Multi-Language Software Metrics

Autor Gil Dinis Magalhães Teixeira

Grau MSc

Ano 2021

Automatic Service Containerization with Docker

Autor João Carlos Cardoso Maduro

Grau MSc

Ano 2021

An Exploration of FPGAs as Accelerators for Graph Analysis via High-Level Synthesis

Autor Pedro Filipe Vilhena de Campos Oliveira e Silva

Grau MSc

Ano 2021

Cost Reduction Technique for Mutation Testing

Autor Francisco Bernardo Azevedo

Grau MSc

Ano 2020

Generating Hardware Modules via Binary Translation of RISC-V Binaries

Autor João Miguel Curado Conceição

Grau MSc

Ano 2020

Scalable and Configurable Event Processing Engine

Autor Edgar de Lemos Passos

Grau MSc

Ano 2020