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

Sistema de pagamentos descentralizado para e-commerce na Blockchain

Autor Ricardo Oliveira Vaz

Grau MSc

Ano 2022

Instituição UM

Verificação de Sistemas Distribuídos com Why3

Autor António Manuel Carvalho Gonçalves

Grau MSc

Ano 2022

Instituição UM

Formalization of Deep Learning Techniques with the Why3 Proof Platform

Autor Márcio Alexandre Mota Sousa

Grau MSc

Ano 2022

Instituição UM

Conversão para Why3 de Formalizações em Coq

Autor Bárbara Andreia Cardoso Ferreira

Grau MSc

Ano 2022

Instituição UM

Verification of Distributed Algorithms with the Why3 tool

Autor Carla Isabel Novais da Cruz

Grau MSc

Ano 2022

Instituição UM

Vulnerabilities preservation using code mutation

Autor Jorge Fernando Alves da Cruz

Grau MSc

Ano 2022

Instituição UM

Formalization of Deep Learning Techniques with the Why3 Proof Platform

Autor Márcio Alexandre Mota Sousa

Grau MSc

Ano 2021

Instituição UM

Conversão para Why3 de Formalizações em Coq

Autor Bárbara Andreia Cardoso Ferreira

Grau MSc

Ano 2021

Instituição UM

Verification of Distributed Algorithms with the Why3 tool

Autor Carla Isabel Novais da Cruz

Grau MSc

Ano 2021

Instituição UM

Neural Network Verification using Why3

Autor António Manuel Carvalho Gonçalves

Grau MSc

Ano 2021

Instituição UM

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

  • 1
  • 2