 | Up a level |
Scudiero, Thomas and Giacobazzi, Roberto (rel.) (2004) [BM Tesi I 0210]. - Abstract program slicing. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Oliosi, Enrico and Giacobazzi, Roberto (rel.) (2004) [BM Tesi I 0211]. - Tecniche di program slicing ed interpretazione astratta nel testing regressivo. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Guglielmi, Laura and Giacobazzi, Roberto (rel.) and Merro, Massimo (correl.) and Mastroeni, Isabella (correl.) (2004) [BM Tesi I 0236]. - Non interferenza astratta per programmi concorrenti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Marogna, Emanuele and Giacobazzi, Roberto (rel.) (2003) [BM Tesi I 0215]. - Shape analysis con logica a 3 valori. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Giacon, Paolo and Giacobazzi, Roberto (rel.) (2003) [BM Tesi I 0216]. - Abstract model checking : tecniche di raffinamento automatico attraverso controesempi. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Burato, Elisa and Giacobazzi, Roberto (rel.) (2003) [BM Tesi I 0217]. - Software watermarking. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Gusperti, Andrea and Giacobazzi, Roberto (rel.) (2003) [BM Tesi I 0269]. - Un sistema di tipi di sicurezza per il Java Bytecode. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Balasso, Giovanni and Giacobazzi, Roberto (rel.) and Laudanna, Carlo (correl.) (2003) [BM Tesi I 0273]. - Metodi formali per l'analisi di sistemi biochimici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Grigolato, Giuliano and Giacobazzi, Roberto (rel.) and Mastroeni, Isabella (correl.) (2003) [BM Tesi I 0280]. - Analisi di protocolli crittografici mediante metodi formali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Busti, Matteo and Giacobazzi, Roberto (rel.) (2003) [BM Tesi I 0292]. - Struttura di una architettura per il proof-carrying code. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Merlo, Alessio and Giacobazzi, Roberto (rel.) and Mastroeni, Isabella (correl.) (2003) [BM Tesi I 0296]. - Compressione di astrazioni in model checking. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Dal Palù, Alessandro and Giacobazzi, Roberto (rel.) and Dovier, Agostino (correl.) and Pontelli, Enrico (correl.) and Ranjan, Desh (correl.) (2002) [BM Tesi I 0202]. - New optimal algorithms on pointer machines. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Tacchella, Paolo and Giacobazzi, Roberto (rel.) (2001) [BM Tesi I 0017]. - Analisi di flussi di informazione sicura in programmi logici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Martini, Cristiana and Giacobazzi, Roberto (rel.) and Mazzei, Luca (correl.) and Martignano, Maurizio (correl.) (2001) [BM Tesi I 0020]. - Il ruolo di SOAP e le problematiche della sicurezza nei servizi web : analisi, proposte e realizzazione di un protocollo per l'integrazione della firma digitale in SOAP. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zanotti, Mirko and Giacobazzi, Roberto (rel.) and Solitro, Ugo (controrel.) (2001) [BM Tesi I 0022]. - Derivazione di tipi di sicurezza mediante interpretazione astratta. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Facciotti, Giancarlo and Fummi, Franco (rel.) and Giacobazzi, Roberto (rel.) (2001) [BM Tesi I 0034]. - Applicazione di teorie di interpratazione astratta e analisi statica su codici HDL comportamentali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Mastroeni, Isabella and Giacobazzi, Roberto (rel.) (2001) [BM Tesi I 0037]. - Costruzione sistematica di semantiche mediante interpretazione astratta. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Veneri, Elisa and Giacobazzi, Roberto (rel.) and Dovier, Agostino (correl.) (2000) [BM Tesi I 0032]. - Programmazione con vincoli di sicurezza. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Costa, Alessio and Giacobazzi, Roberto (rel.) and Biscaro, Roberto (rel.) and Mordà, Claudio (correl.) (1999) [BM Tesi I 0072]. - Portali aziendali : studio, realizzazione e sperimentazione di un modello entropico per la classificazione dei documenti e la distribuzione della conoscenza. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Donà, Antonia and Giacobazzi, Roberto (rel.) and Serafini, Luciano (corre.) (1999) [BM Tesi I 0073]. - Aggiornamento di dati interdipendenti nei multidatabase : modello formale e metodo di calcolo. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
