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 Nuno Moreira Macedo

Security Testing of Web APIs

Autor Gonçalo André Carneiro Teixeira

Grau MSc

Ano 2023

Instituição INESCTEC

Automatic Specification Repair in Contract Programming

Autor Alexandre Almeida de Abreu Filho

Grau MSc

Ano 2023

Instituição INESCTEC

Data-Driven Hint Generation for Alloy using Historial Student Submissions

Autor Ana Inês Oliveira de Barros

Grau MSc

Ano 2023

Instituição INESCTEC

Automatic Repair of Behavioural Specifications

Autor Jorge Gabriel Alves Cerqueira

Grau MSc

Ano 2022

Instituição INESCTEC

Verificação e descoberta de modelos probabilísticos no Alloy Analyser.

Autor Pedro Faria Durães da Silva

Grau MSc

Ano 2022

Instituição INESCTEC

Safety Verification for ROS Applications

Autor André Filipe Faria dos Santos

Grau MSc

Ano 2021

Instituição INESCTEC

Lightweight Trustworthy High-level Software Design

Autor Chong Liu

Grau MSc

Ano 2021

Instituição INESCTEC

Graph databases for HR relationships

Autor Rafael Araújo Moura

Grau MSc

Ano 2021

Instituição INESCTEC

Analysis of Message Passing Software Using Electrum

Autor Bruno Renato Fernandes Carvalho

Grau MSc

Ano 2020

Instituição INESCTEC

Safety Verification for ROS Applications

Autor André Filipe Faria dos Santos

Grau MSc

Ano 2019

Instituição INESCTEC

Lightweight Trustworthy High-level Software Design

Autor Chong Liu

Grau MSc

Ano 2019

Instituição INESCTEC

Aplicação de Técnicas de Análise Formal a Software Robótico

Autor Gonçalo Nuno Esteves Duarte

Grau MSc

Ano 2019

Instituição INESCTEC

  • 1
  • 2