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 Alcino Cunha

Mining hints for fixing formal specifications

Author Henrique Gabriel dos Santos Neto

Degree MSc

Year 2023

Institution UM

An HAROS extension for Variability Aware ROS Code Analysis

Author Ricardo Ribeiro Pereira

Degree MSc

Year 2022

Institution UM

Codificação e análise de grafos de computação ROS variacionais

Author Pedro Rafael Paiva Moura

Degree MSc

Year 2022

Institution UM

Formalizing ROS2 security configuration with Alloy

Author Luís Mário Macedo Ribeiro

Degree MSc

Year 2022

Institution UM

Automatic Repair of Behavioural Specifications

Author Jorge Gabriel Alves Cerqueira

Degree MSc

Year 2022

Institution UM

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

Safety Verification for ROS Applications

Author André Filipe Faria dos Santos

Degree MSc

Year 2021

Institution UM

Lightweight Trustworthy High-level Software Design

Author Chong Liu

Degree MSc

Year 2021

Institution UM

Estudo empírico da variabilidade em sistemas ROS

Author Sara Maria Barreira Melo

Degree MSc

Year 2021

Institution UM

Safety Verification for ROS Applications

Author André Filipe Faria dos Santos

Degree MSc

Year 2020

Institution UM

Lightweight Trustworthy High-level Software Design

Author Chong Liu

Degree MSc

Year 2020

Institution UM

Safety Verification for ROS Applications

Author André Filipe Faria dos Santos

Degree MSc

Year 2019

Institution UM

  • 1
  • 3