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

Sistema de pagamentos descentralizado para e-commerce na Blockchain

Author Ricardo Oliveira Vaz

Degree MSc

Year 2022

Institution UM

Verificação de Sistemas Distribuídos com Why3

Author António Manuel Carvalho Gonçalves

Degree MSc

Year 2022

Institution UM

Formalization of Deep Learning Techniques with the Why3 Proof Platform

Author Márcio Alexandre Mota Sousa

Degree MSc

Year 2022

Institution UM

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

Author Bárbara Andreia Cardoso Ferreira

Degree MSc

Year 2022

Institution UM

Verification of Distributed Algorithms with the Why3 tool

Author Carla Isabel Novais da Cruz

Degree MSc

Year 2022

Institution UM

Vulnerabilities preservation using code mutation

Author Jorge Fernando Alves da Cruz

Degree MSc

Year 2022

Institution UM

Formalization of Deep Learning Techniques with the Why3 Proof Platform

Author Márcio Alexandre Mota Sousa

Degree MSc

Year 2021

Institution UM

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

Author Bárbara Andreia Cardoso Ferreira

Degree MSc

Year 2021

Institution UM

Verification of Distributed Algorithms with the Why3 tool

Author Carla Isabel Novais da Cruz

Degree MSc

Year 2021

Institution UM

Neural Network Verification using Why3

Author António Manuel Carvalho Gonçalves

Degree MSc

Year 2021

Institution UM

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

  • 1
  • 2