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

25 October 2019

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, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2019

21 April 2023

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, Corso di laurea magistrale in Ingegneria Elettronica (Electronic Engineering), 2023

31 October 2024

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, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024