Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Teses
supervisionadas

Teses supervisionadas por Alcino Cunha

Mining hints for fixing formal specifications

Autor Henrique Gabriel dos Santos Neto

Grau MSc

Ano 2023

Instituição UM

An HAROS extension for Variability Aware ROS Code Analysis

Autor Ricardo Ribeiro Pereira

Grau MSc

Ano 2022

Instituição UM

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

Autor Pedro Rafael Paiva Moura

Grau MSc

Ano 2022

Instituição UM

Formalizing ROS2 security configuration with Alloy

Autor Luís Mário Macedo Ribeiro

Grau MSc

Ano 2022

Instituição UM

Automatic Repair of Behavioural Specifications

Autor Jorge Gabriel Alves Cerqueira

Grau MSc

Ano 2022

Instituição UM

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

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

Grau MSc

Ano 2022

Instituição UM

Safety Verification for ROS Applications

Autor André Filipe Faria dos Santos

Grau MSc

Ano 2021

Instituição UM

Lightweight Trustworthy High-level Software Design

Autor Chong Liu

Grau MSc

Ano 2021

Instituição UM

Estudo empírico da variabilidade em sistemas ROS

Autor Sara Maria Barreira Melo

Grau MSc

Ano 2021

Instituição UM

Safety Verification for ROS Applications

Autor André Filipe Faria dos Santos

Grau MSc

Ano 2020

Instituição UM

Lightweight Trustworthy High-level Software Design

Autor Chong Liu

Grau MSc

Ano 2020

Instituição UM

Safety Verification for ROS Applications

Autor André Filipe Faria dos Santos

Grau MSc

Ano 2019

Instituição UM

  • 1
  • 3