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 Jorge Sousa Pinto

Scalable Trace Analysis of Distributed Systems Finding data races

Author João Carlos Mendes Pereira

Degree MSc

Year 2020

Institution UM

Early Validation of System Requirements and Design

Author Marcelo António Caridade Miranda

Degree MSc

Year 2019

Institution UM

Single-assignment Program Verification

Author Cláudio Filipe Belo da Silva Lourenço

Degree PhD

Year 2018

Institution UM

Dynamic contracts for verification and enforcement of real-time systems properties

Author André de Matos Pedro

Degree PhD

Year 2018

Institution UM

Verificação Funcional de Controladores Arduino

Author Rafael Alexandre Antunes Barbosa

Degree MSc

Year 2018

Institution UM

Software Verification and Defect Analysis

Author Cláudio Lourenço

Degree PhD

Year 2017

Institution UM

Software Verification and Defect Analysis

Author Cláudio Filipe Belo da Silva Lourenço

Degree PhD

Year 2016

Institution UM

Dynamic contracts for verification and enforcement of real-time systems properties

Author André de Matos Pedro

Degree PhD

Year 2016

Institution UM

Software Verification and Defect Analysis

Author Claudio Filipe Belo Silva Lourenço

Degree PhD

Year 2015

Institution UM

Dynamic contracts for verification and enforcement of real-time systems properties

Author André Matos Pedro

Degree PhD

Year 2015

Institution UM