Lightweight Trustworthy High-level Software Design

Author Chong Liu

Degree MSc

Year 2019

Institution UM

Towards model checking Electrum Specifications with LTSmin

Author Bruno Miguel Sousa Cancelinha

Degree MSc

Year 2019

Institution UM

Safety Verification for ROS Applications

Author André Filipe Faria dos Santos

Degree MSc

Year 2018

Institution UM

Lightweight Trustworthy High-level Software Design

Author Liu Chong

Degree MSc

Year 2018

Institution UM

Safety Verification for ROS Applications

Author André Santos

Degree MSc

Year 2017

Institution UM

Safety Verification for ROS Applications

Author André Filipe Faria dos Santos

Degree MSc

Year 2016

Institution UM

A Web-based Social Environment for Alloy

Author José Manuel Costa Pereira

Degree MSc

Year 2016

Institution UM

Parallel verification of Dynamic Systems with Rich Configurations

Author Eduardo Jose Dias Pessoa

Degree MSc

Year 2016

Institution UM

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

Author André Filipe Faria dos Santos

Degree MSc

Institution UM

File carving na práctica

Author Luís Miguel Pereira Constantino Romano

Degree MSc

Institution UM

Qualidade de Software para o Robot Operating System

Author Miguel Ângelo Gomes da Costa

Degree MSc

Institution UM

High-Assurance Model-Driven Software Development with Alloy

Author Ana Gabriela Garis

Degree MSc

Institution UM