Teses - INESC TEC

Teses
supervisionadas

Teses supervisionadas por Laboratório de Software Confiável

Extending Conflict Free Replicated Data Types Fault Models

Autor Houssam Ahmad Yactine

Grau PhD

Ano 2020

Instituição UP-FCUP

Peer-production and Technology-enhanced Collaborative Teaching and Learning (Models, Methods and Framework)

Autor sara dos Santos Fernandes

Grau PhD

Ano 2020

Instituição UP-FCUP

TrustZone based Attestation in Secure Runtime Verification for Embbeded Systems

Autor Miguel Miranda Quaresma

Grau MSc

Ano 2020

Instituição UM

Suporte ao desenvolvimento de aplicações críticas em sistemas embebidos

Autor Lisandra Maria Pereira da Silva

Grau MSc

Ano 2020

Instituição UM

Prototipagem de Interfaces

Autor Rafael Braga Gomes da Costa

Grau MSc

Ano 2020

Instituição UM

Lightweight Trustworthy High-level Software Design

Autor Chong Liu

Grau PhD

Ano 2020

Instituição UP-FCUP

Analysis of Message Passing Software Using Electrum

Autor Bruno Renato Fernandes Carvalho

Grau MSc

Ano 2020

Instituição UM

Augmented Reality over Maps

Autor Miguel Jorge da Lomba Magalhães

Grau MSc

Ano 2020

Instituição UM

Monitoring and Real-time Simulation of an Industrial Production Pipeline

Autor José Diogo Lago Viana

Grau MSc

Ano 2020

Instituição UM

Fault Tolerant Decentralized Deep Neural Networks

Autor João Carlos Faria Padrão

Grau MSc

Ano 2020

Instituição UM

Energy Debt - Applying Technical Debt to Energy Consumption

Autor Daniel Fernandes Veiga Maia

Grau MSc

Ano 2020

Instituição UM

Implementation and Evaluation of Tagged Causal Multicast as a Rust Library

Autor Carlos Duarte Afonso Pereira

Grau MSc

Ano 2020

Instituição UM