Automatic Repair of Behavioural Specifications

Author Jorge Gabriel Alves Cerqueira

Degree MSc

Year 2022

Institution UM

Assessing IoT self healing limits using PBT driven chaos-engineering

Author Guilherme José Ferreira do Couto Fonseca da Silva

Degree MSc

Year 2022

Institution UP-FEUP

Designing out stigma in an online-based sexual health promotion programme

Author Diogo Renato Barreira Coutinho

Degree MSc

Year 2022

Institution UP-FEUP

Real time activation of ancillary services in the transmission network: Enabling providers from the distribution system using a linear model predictive control

Author Fernando José Moutinho Ribeiro

Degree MSc

Year 2022

Institution UP-FEUP

Development of an Electric-Vehicle Charging Management System with Smart Scheduling for Existing Condominiums Using Available Power in Real-Time

Author Salvador Moreira Paes Carvalhosa

Degree MSc

Year 2022

Institution UP-FEUP

A sustainable energy system approach for the wastewater sector

Author Alda Almendra Henriques

Degree MSc

Year 2022

Institution UP-FEUP

Towards the industrialized AGVS with stringent safety requirements for the cooperative setting

Author PEDRO ALEXANDRE AFONSO NETO

Degree MSc

Year 2022

Institution IPP-ISEP

New Models for Adaptive Neurostimulation in Epilepsy

Author Madalena Gomes Conde Pimentel

Degree MSc

Year 2022

Institution UP-FEUP

Rate Adaptation Algorithm using Reinforcement Learning for Delay Minimisation in a Wi-Fi Link

Author José Manuel de Sousa Magalhães

Degree MSc

Year 2022

Development of an Electric-Vehicle Charging Management System with Smart Scheduling for Existing Condominiums Using Available Power in Real-Time

Author Salvador Moreira Paes Carvalhosa

Degree MSc

Year 2022

Institution UP-FEUP

Formalização da reconfiguração de protocolos de consenso usando Alloy

Author Cecília da Conceição de Oliveira Soares

Degree MSc

Year 2022

Institution UM

Deep learning for bin picking object segmentation

Author ARTUR JOSÉ VILARES CORDEIRO

Degree MSc

Year 2022

Institution IPP-ISEP