Lightweight Trustworthy High-level Software Design

Autor Chong Liu

Grau MSc

Ano 2019

Instituição UM

Towards model checking Electrum Specifications with LTSmin

Autor Bruno Miguel Sousa Cancelinha

Grau MSc

Ano 2019

Instituição UM

Safety Verification for ROS Applications

Autor André Filipe Faria dos Santos

Grau MSc

Ano 2018

Instituição UM

Lightweight Trustworthy High-level Software Design

Autor Liu Chong

Grau MSc

Ano 2018

Instituição UM

Safety Verification for ROS Applications

Autor André Santos

Grau MSc

Ano 2017

Instituição UM

Safety Verification for ROS Applications

Autor André Filipe Faria dos Santos

Grau MSc

Ano 2016

Instituição UM

A Web-based Social Environment for Alloy

Autor José Manuel Costa Pereira

Grau MSc

Ano 2016

Instituição UM

Parallel verification of Dynamic Systems with Rich Configurations

Autor Eduardo Jose Dias Pessoa

Grau MSc

Ano 2016

Instituição UM

Aplicação de Convenções de Código ao Robot Operating System

Autor André Filipe Faria dos Santos

Grau MSc

Instituição UM

File carving na práctica

Autor Luís Miguel Pereira Constantino Romano

Grau MSc

Instituição UM

Qualidade de Software para o Robot Operating System

Autor Miguel Ângelo Gomes da Costa

Grau MSc

Instituição UM

High-Assurance Model-Driven Software Development with Alloy

Autor Ana Gabriela Garis

Grau MSc

Instituição UM