Theses
This page contains the list of the theses drowed up with the collaboration of the RCL staff.
You can download (if available) the pdf version of a thesis by clicking on the corresponding pdf icon.
If you are not able to view the pdf version of a thesis, probably you have to get Adobe Reader. If you want to get Adobe Reader, please click on this image:
PhD Theses
Lorenzo Falai: Observing, Monitoring and Evaluating Distributed Systems, Universitą degli Studi di Firenze, Dottorato di Ricerca in Ingegneria Informatica e dell'Automazione - XX Ciclo, 2008 (April, 11), Supervisor(s): A. Bondavalli. 
Paolo Lollini: On the Modeling and Solution of Complex Systems: From Two Domain-Specific Case-Studies Towards the Definition of a More General Framework, Universitą degli Studi di Firenze, Corso di Dottorato di Ricerca in Informatica e Applicazioni - XVIII ciclo, 2005 (December), Supervisor(s): A. Bondavalli, F. Di Giandomenico. Stefano Porcarelli: Analysis and Modeling of Dependability and Performability of Telecommunication Systems, Universitą degli Studi di Pisa, Corso di Dottorato di Ricerca in Ingegneria dell'Informazione, 2003 (June, 4th), Supervisor(s): L. Simoncini, A. Bondavalli. Andrea Mario Coccoli: On Integrating Modelling and Experiments in Dependability and Performability Evaluation of Distributed Applications, Universitą degli Studi di Pisa, Corso di Dottorato di Ricerca in Ingegneria Elettronica, Informatica e delle Telecomunicazioni - XIV ciclo, 2002 (February, 14th), Supervisor(s): L. Simoncini, Co-Supervisor(s): A. Bondavalli. Domenico Cotroneo: Implementation Strategies for Developing Middleware-Based Distribuited Dependable Applications, Universitą degli Studi di Napoli Federico II, Corso di Dottorato di Ricerca in Ingegneria dell'Informazione - XIV ciclo, 2001 (November), Supervisor(s): S. Russo, Co-Supervisor(s): A. Bondavalli. Ivan Mura: Modelling and Evaluation of Phased Mission Systems, Universitą degli Studi di Pisa, Corso di dottorato di ricerca in Ingegneria Elettronica, Informatica e delle Telecomunicazioni - XI ciclo, 1999 (January), Supervisor(s): L. Simoncini, Co-Supervisor(s): A. Bondavalli.
Master Theses
Vania Guarnieri: Strumenti automatici per la correlazione di eventi a scopo diagnostico in infrastrutture critiche, Universitą degli Studi di Firenze, Corso di Laurea Specialistica in informatica, 2009 (July, 20th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Daidone. Martina Albini: Un profilo UML 2.0 per la descrizione di strategie di manutenzione in sistemi critici e sue applicazioni, Universitą degli Studi di Firenze, Corso di Laurea Specialistica in Informatica, 2009 (July, 20th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. Andrea Ceccarelli: Progettazione e validazione di unarchitettura safety-critical per sistemi di controllo ferroviari, Universitą degli Studi di Firenze, Corso di Laurea Specialistica in Informatica, 2008 (October, 24th), Supervisor(s): A. Bondavalli. 
Francesco Brancati: Progettazione di uno strumento di misura del tempo capace di autovalutarsi ed autocalibrarsi, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2008 (July, 14th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. Stefano Ceri: Studio metodologico per l'analisi quantitativa di famiglie di protocolli distribuiti con il framework Neko, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2007 (September, 28th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. Alessandro Pacini: Analisi di possibili soluzioni per la diagnosi e la riconfigurazione dello scenario applicativo Assisted Trasportation all'interno del progetto Hidenets, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2007 (February, 9th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico, A. Daidone. Lorenzo Viti: Valutazione quantitativa della QoS dei servizi applicativi su rete ATN (Aeronautical Telecommunications Network), Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2006 (April, 28th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Fantappié, P. Maltese, L. Falai. Giuseppina Bastone: Definizione e realizzazione di miglioramenti alle metodologie per l'analisi di sistemi distribuiti, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2005 (September, 20th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. Alessandro Daidone: Le catene di Markov nascoste come supporto alla formalizzazione del problema della diagnosi nei sistemi affidabili, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2005 (December, 19th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico. Marco Serafini: Una metodologia per modellare e valutare la dependability di sistemi safety-critical, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2004 (September), Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. Massimo Neri: L'error detection nelle architetture critiche per la sicurezza in ambito ferroviario, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2004 (July), Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Coccoli, P. Lollini. Marco Moretto: Progettazione, realizzazione ed utilizzo di un generatore di simulatori per sistemi a fasi multiple, Universitą degli Studi di Pisa, Corso di Laurea in Ingegneria Informatica, 2004 (December, 15th), Supervisor(s): L. Simoncini, L. Lopriore, F. Di Giandomenico, A. Bondavalli. Elisa Culicchi: Modellizzazione ed analisi dell'infrastruttura umts e delle politiche di handover, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2004 (April), Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico, P. Lollini. Gabriele Petruzzi: Modellizzazione ed analisi della QoS offerta da una cella umts, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2004, Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico, P. Lollini. Lorenzo Falai: Metodologie e strumenti per la valutazione quantitativa sperimentale e simulativa di algoritmi distribuiti, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2004, Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico. Enrico De Giudici: Progettazione ed analisi di un meccanismo per garantire la sicurezza in applicazioni ferroviarie, Universitą degli Studi di Pisa, Corso di Laurea in Scienze dell'Informazione, 2003 (June, 26th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): S. Porcarelli. Monica Niobiti: Realizzazione in Java di una interfaccia grafica per un tool di valutazione di sistemi MPS, Universitą degli Studi di Pisa, Corso di Laurea in Scienze dell'Informazione, 2003 (July, 7th), Supervisor(s): A. Bondavalli, S. Chiaradonna, F. Di Giandomenico.
Bachelor Theses
Alessio Marmugi: Modelli di Sincronia per Sistemi Distribuiti, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2007 (February, 9th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. Alberto Menichetti: Intrusion Detection Systems: tecniche per la rilevazione di intrusione su sistemi informatici, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2007 (April, 27th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Daidone. Leonardo Montecchi: Analisi e valutazione di reti UMTS, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2007 (April, 27th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. Alessio Baldini: Analisi Quantitativa di Sistemi di Consenso Soggetti ad Attacchi, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2006 (December, 18th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): S. Chiaradonna, P. Lollini. Martina Albini: Analisi e Validazione di Algoritmi Distribuiti in Sistemi con Palmari: Specifica e Definizione di NekoPDA e Analisi delle Problematiche del Porting, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2006 (December, 18th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. Vania Guarnieri: Analisi e Validazione di Sistemi Distribuiti con Supporto Automatico Indipendente dalla Piattaforma, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2006 (December, 18th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. Andrea Ceccarelli: Analisi sperimentale di applicazioni critiche real-time: uno strumento consapevole della qualitą delle misurazioni raccolte, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2006 (April, 28th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. Fabrizio Squittieri: Realizzazione di un'estensione per la modellazione di sistemi multiple phased con il tool Mobius, Universitą degli Studi di Firenze, Corso di Laurea in Informatica, 2006 (April, 28th), Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini, S. Chiaradonna.
