| # | Name / Author | Supervisor / Affiliation | Status |
|---|---|---|---|
| 16 | Establishing trust and confidence among entities in distributed networks
Author: Francis Nwebonyi Nwebonyi |
Supervisor: Manuel Eduardo Carvalho Duarte Correia Cosupervisor: Rolando da Silva Martins UP - FCUP - DCC / CRACS - INESC TEC |
Concluded 2016 - 2020 |
| 17 | Adaptive Computation Offloading in Mobile Edge Clouds
Author: Joaquim Magalhães Esteves da Silva |
Supervisor: Fernando Manuel Augusto da Silva Cosupervisor: Eduardo R B Marques UP - FCUP - DCC / CRACS - INESC TEC |
Concluded 2016 - 2021 |
| 18 | Safety verification for ROS software
Author: André Filipe Faria dos Santos |
Supervisor: Manuel Alcino Pereira Cunha UM - DI / HASLab - INESC TEC |
Concluded 2016 - 2021 |
| 19 | Beyond Distributed Transactions through Exactly-once Exchanges
Author: Ziad Kassam |
Supervisor: Ali Shoker Cosupervisor: Paulo Sérgio Soares de Almeida UM - DI / HASLab - INESC TEC |
Submitted 2016 - ... |
| 20 | Extending Conflict Free Replicated Data Types Fault Models
Author: Houssam Yactine |
Supervisor: Ali Shoker UM - DI / HASLab - INESC TEC |
In progress 2016 - ... |
| 21 | Mechanisms to Improve Network resilience and Robustness in Vehicular Networks
Author: Muhammad Awais Khan |
Supervisor: Jonathan Rodriguez Gonzalez Cosupervisor: Shahid Mumtaz UA - DETI / IT - Aveiro branch |
In progress 2016 - ... |
Events
Check incoming events
FAQ
For incoming Students
Check FAQ's for incoming students for answers to commonly asked questions.
FAQ
For current Students
Mailing List
Subscription