Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Teses
supervisionadas

Teses supervisionadas por Jorge Sousa Pinto

Scalable Trace Analysis of Distributed Systems Finding data races

Autor João Carlos Mendes Pereira

Grau MSc

Ano 2020

Instituição UM

Early Validation of System Requirements and Design

Autor Marcelo António Caridade Miranda

Grau MSc

Ano 2019

Instituição UM

Single-assignment Program Verification

Autor Cláudio Filipe Belo da Silva Lourenço

Grau PhD

Ano 2018

Instituição UM

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

Autor André de Matos Pedro

Grau PhD

Ano 2018

Instituição UM

Verificação Funcional de Controladores Arduino

Autor Rafael Alexandre Antunes Barbosa

Grau MSc

Ano 2018

Instituição UM

Software Verification and Defect Analysis

Autor Cláudio Lourenço

Grau PhD

Ano 2017

Instituição UM

Software Verification and Defect Analysis

Autor Cláudio Filipe Belo da Silva Lourenço

Grau PhD

Ano 2016

Instituição UM

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

Autor André de Matos Pedro

Grau PhD

Ano 2016

Instituição UM

Software Verification and Defect Analysis

Autor Claudio Filipe Belo Silva Lourenço

Grau PhD

Ano 2015

Instituição UM

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

Autor André Matos Pedro

Grau PhD

Ano 2015

Instituição UM