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

Security Testing of Web APIs

Author Gonçalo André Carneiro Teixeira

Degree MSc

Year 2023

Institution INESCTEC

Automatic Specification Repair in Contract Programming

Author Alexandre Almeida de Abreu Filho

Degree MSc

Year 2023

Institution INESCTEC

Data-Driven Hint Generation for Alloy using Historial Student Submissions

Author Ana Inês Oliveira de Barros

Degree MSc

Year 2023

Institution INESCTEC

Automatic Repair of Behavioural Specifications

Author Jorge Gabriel Alves Cerqueira

Degree MSc

Year 2022

Institution INESCTEC

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

Author Pedro Faria Durães da Silva

Degree MSc

Year 2022

Institution INESCTEC

Safety Verification for ROS Applications

Author André Filipe Faria dos Santos

Degree MSc

Year 2021

Institution INESCTEC

Lightweight Trustworthy High-level Software Design

Author Chong Liu

Degree MSc

Year 2021

Institution INESCTEC

Graph databases for HR relationships

Author Rafael Araújo Moura

Degree MSc

Year 2021

Institution INESCTEC

Analysis of Message Passing Software Using Electrum

Author Bruno Renato Fernandes Carvalho

Degree MSc

Year 2020

Institution INESCTEC

Safety Verification for ROS Applications

Author André Filipe Faria dos Santos

Degree MSc

Year 2019

Institution INESCTEC

Lightweight Trustworthy High-level Software Design

Author Chong Liu

Degree MSc

Year 2019

Institution INESCTEC

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

Author Gonçalo Nuno Esteves Duarte

Degree MSc

Year 2019

Institution INESCTEC

  • 1
  • 2