List of theses with "Camurati, Paolo Enrico as relator"

Salvatore Francesco Rossetta. Formalization and Verification of Proportional Representation Voting Systems using Isabelle/HOL: A Study of D'Hondt and Sainte-Laguë Methods. Rel. Paolo Enrico Camurati, Bernhard Beckert. Politecnico di Torino, Master of science program in Computer Engineering, 2024

Demetrio Bori. Model vs RTL : correlation beyond testing. Exploring the use of C vs RTL formal equivalence techinques for verification of CPU designs. Rel. Paolo Enrico Camurati. Politecnico di Torino, Master of science program in Electronic Engineering, 2023

Emanuele Virgillito. Realizzazione di un’interfaccia per il debugging remoto di sistemi embedded emulati = Implementation of a remote debugger interface for emulated Embedded Systems. Rel. Gianpiero Cabodi, Paolo Enrico Camurati. Politecnico di Torino, Master of science program in Computer Engineering, 2019