Activity of Thesis Supervision

• "Sincronizzazione in ambiente distribuito" Candidato: Gianluigi Alari. Relatore: A. Ciuffoletti. AA 89/90.
• "Progetto di un modulo per l'acquisizione della conoscenza strategica per sistemi esperti" Candidato: M. Cibardo. Relatori: A. Ciuffoletti, P. Perotto (Olivetti-Ivrea). AA 90/91.
• "Progetto di software in real-time per applicazioni aerospaziali utilizzando il linguaggio C" Candidata: Cristina Valerio. Relatore: A. Ciuffoletti. AA 91/92
• "La sincronizzazione degli orologi in un sistema distribuito: studio del problema ed analisi di una soluzione" Candidate: Federica Gattai, Roberta Golinelli. Relatore: A. Ciuffoletti. AA 92/93.
• "Algoritmi per lo scambio di messaggi con priorità in ambiente real-time: analisi ed implementazione" Candidata: Laura Baracchi. Relatori: A. Ciuffoletti, S. Sabina (Intecs-Pisa). AA 93/94.
• "Progetto ed implementazione di un insieme di primitive per la gestione del Directory Service x.500" Candidato: V.R. Marchese. Relatori: A. Ciuffoletti, M. Cosentino (Olivetti-Pozzuoli). AA 94/95.
• "Simulazione di un processo farmacocinetico usando PVM: analisi critica della prestazioni" Candidati: N. Menchiari, L. Di Beo. Relatore: A. Ciuffoletti. AA 94/95.
• "Progetto di un algoritmo autostabilizzante per la temporizzazione di un sistema distribuito" Candidato: G. Bonafede. Relatore: A. Ciuffoletti. AA 94/95.
• "Uno strumento integrato per lo sviluppo formale di programmi: la formalizzazione in UNITY di un proof-assistant" Candidato: B.Adducci. Relatore: A. Ciuffoletti, B. Miculan. AA 94/95.
• "Studio per la realizzazione portabile delle funzionalitá DTM" Candidato: P.C. Giovannini. Relatore: A. Ciuffoletti. AA 94/95.
• "Progetto di uno strumento per la stima dei tempi di esecuzione dei programmi real-time" Candidato: R. Badalini. Relatore: A. Ciuffoletti, S. Sabina (Intecs SpA - Pisa). AA 95/96.
• "Progetto di un algoritmo di checkpointing distribuito" Candidati: Giulia Baroni e Raffaella Mosticchio. Relatore: A. Ciuffoletti. AA 95/96.
• "Studio e progettazione di uno strumento per l'analisi di schedulabilita' di sistemi hard real-time" Candidato: A. Chiriatti e S. Manno. Relatore: A. Ciuffoletti, S. Sabina (Intecs SpA - Pisa). AA 95/96.
• "Un cliente NTP per la sincronizzazione probabilistica del clock" Candidati: Luigi Piunti. Relatore: A. Ciuffoletti. AA 95/96.
• "Progetto di uno strumento per l'analisi dell'adeguatezza di un test set tramite mutazione di programmi" Candidato: Francesco Romano. Relatori: A. Ciuffoletti, S. Sabina (INTECS spa). AA 95/96.
• "Realizzazione di un algoritmo di sincronizzazione del clock di sistema" Candidata: Francesca Marras. Relatore: A. Ciuffoletti. AA 96/97.
• "Realizzazione di un protocollo di Backward Recovery in ambiente client server" Candidato: Anna Borrelli. Relatore: A. Ciuffoletti. AA 1997/1998.
• "Analisi e Proposta di Soluzione per la schedulazione di Task Soft Real-Time sulla piattaforma Linux" Candidato: Silvana Cammarata. Relatore: A. Ciuffoletti. AA 1997/1998.
• "Elaborazione ad oggetti distribuita: JAVA - CORBA - COM" Candidato: Vincenzo Ziparo. Relatore: A. Ciuffoletti. AA 1997/1998.
• "Realizzazione del RTP in JAVA per il trasferimento di dati audio realtime" Candidato: Mariantonietta Errante. Relatore: A. Ciuffoletti. AA 1998/1999.
• "Uno strumento per la valutazione dei tempi di esecuzione di programmi per applicazioni Real Time" Candidato: Alessandro Caproni. Relatore: A. Ciuffoletti. AA 1998/1999.
• "Strumenti per la distribuzione in rete di materiale multimediale" Candidato: Roberta Barontini. Relatore: A. Ciuffoletti. AA 1998/1999. .
• "Progetto e realizzazione di un protocollo di sincronizzazione per una rete dedicata ad elaborazioni Real Time" Candidato: Ghinassi Giovanni. Relatore: A. Ciuffoletti. AA 1998/1999.
• "Progetto e realizzazione di meccanismi di supporto alla grafica in sistemi Real-Time Concorrente" Candidato: Sebastiano Piga. Relatore: A. Ciuffoletti. AA 1998/1999.
• "Uno strumento per la configurazione di un cliente del protocollo di sincronizzazione NTP" Candidato: Andrea Trabucco. Relatore: A. Ciuffoletti. AA 1998/1999.
• "Installazione di un Firewall e realizzazione di una interfaccia grafica per la sua configurazione" Candidato: Valeria Cavallini. Relatore: A. Ciuffoletti. AA 1999/2000.