Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Supervised
thesis

Supervised thesis by High-Assurance Software

Extending Conflict Free Replicated Data Types Fault Models

Author Houssam Ahmad Yactine

Degree PhD

Year 2020

Institution UP-FCUP

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

Author sara dos Santos Fernandes

Degree PhD

Year 2020

Institution UP-FCUP

TrustZone based Attestation in Secure Runtime Verification for Embbeded Systems

Author Miguel Miranda Quaresma

Degree MSc

Year 2020

Institution UM

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

Author Lisandra Maria Pereira da Silva

Degree MSc

Year 2020

Institution UM

Prototipagem de Interfaces

Author Rafael Braga Gomes da Costa

Degree MSc

Year 2020

Institution UM

Lightweight Trustworthy High-level Software Design

Author Chong Liu

Degree PhD

Year 2020

Institution UP-FCUP

Analysis of Message Passing Software Using Electrum

Author Bruno Renato Fernandes Carvalho

Degree MSc

Year 2020

Institution UM

Augmented Reality over Maps

Author Miguel Jorge da Lomba Magalhães

Degree MSc

Year 2020

Institution UM

Monitoring and Real-time Simulation of an Industrial Production Pipeline

Author José Diogo Lago Viana

Degree MSc

Year 2020

Institution UM

Fault Tolerant Decentralized Deep Neural Networks

Author João Carlos Faria Padrão

Degree MSc

Year 2020

Institution UM

Energy Debt - Applying Technical Debt to Energy Consumption

Author Daniel Fernandes Veiga Maia

Degree MSc

Year 2020

Institution UM

Implementation and Evaluation of Tagged Causal Multicast as a Rust Library

Author Carlos Duarte Afonso Pereira

Degree MSc

Year 2020

Institution UM

  • 1
  • 30