Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Teses
supervisionadas

Teses supervisionadas por Alcino Cunha

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 PhD

Ano 2018

Instituição UM

Lightweight Trustworthy High-level Software Design

Autor Liu Chong

Grau PhD

Ano 2018

Instituição UM

Safety Verification for ROS Applications

Autor André Santos

Grau PhD

Ano 2017

Instituição UM

A Web-based Social Environment for Alloy

Autor José Manuel Costa Pereira

Grau MSc

Ano 2016

Instituição UM

Safety Verification for ROS Applications

Autor André Filipe Faria dos Santos

Grau PhD

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

Ano 2015

Instituição UM

Qualidade de Software para o Robot Operating System

Autor Miguel Ângelo Gomes da Costa

Grau MSc

Ano 2015

Instituição UM

Sketch based interaction for procedural modelling

Autor Diego António Rodrigues de Jesus

Grau PhD

Ano 2015

Instituição UP-FEUP

High-Assurance Model-Driven Software Development with Alloy

Autor Ana Gabriela Garis

Grau PhD

Ano 2015

Instituição UM

Alternative paths in IEEE 802.15.4 cluster-tree wireless sensor networks using inactive periods

Autor Erico Meneses Leão

Grau PhD

Ano 2015

Instituição UP-FEUP

  • 2
  • 2