Master's Theses

  • Master's Thesis E. Schiavone. "Autenticazione Continua Biometrica: Definizione e Prototipazione di una Soluzione per la Protezione di Ambienti Desktop". Master's thesis. Università degli Studi di Firenze. Corso di Laurea Magistrale in Informatica. April 17th, 2015. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Ceccarelli. [More] 
  • Master's Thesis R. Bernini. "Integrazione di Formalismi Stocastici per L'Analisi e L'Ottimizzazione di Processi Industriali". Master's thesis. Università degli Studi di Firenze. Corso di Laurea Magistrale in Scienze e Tecnologie dell'Informazione. April 17th, 2015. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
  • Master's Thesis T. Zoppi. "Metodologia, Ambiente di Test e Analisi dei Dati per lo Studio di Indicatori Middleware e di Sistema Finalizzata alla Rilevazione di Anomalie". Master's thesis. Università degli Studi di Firenze. Corso di Laurea Magistrale in Scienze e Tecnologie dell'Informazione. July 18th, 2014. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Ceccarelli. [More] 
  • Master's Thesis M. Casciaro. "Modellizzazione ed Analisi di Security in un Sistema Automatico di Protezione Cantiere". Master's thesis. Università degli Studi di Firenze, Corso di Laurea Magistrale in Informatica. February 22th, 2013. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
  • Master's Thesis L. Montecchi. "Un Modello Intermedio di Dependability Integrabile in un Processo di Model-Driven Engineering". Master's thesis. Università degli Studi di Firenze. Corso di Laurea in Scienze e Tecnologie dell'Informazione. October 27th, 2010. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
  • Master's Thesis F. Duchi. "Transformation Languages - Valutazione pratica dei principali approcci". Master's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 27th, 2010. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
  • Master's Thesis L. Vinerbi. "Trattazione del Comportamento Emergente in Sistemi Complessi". Master's thesis. Università degli Studi di Firenze. Corso di Laurea in Scienze e Tecnologie dell'Informazione. October, 2009. [More] 
  • Master's Thesis M. Albini. "Un profilo UML 2.0 per la descrizione di strategie di manutenzione in sistemi critici e sue applicazioni". Master's thesis. Università di Firenze. Corso di Laurea in Scienze e Tecnologie dell'Informazione. July 20th, 2009. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
  • Master's Thesis V. Guarnieri. "Strumenti automatici per la correlazione di eventi a scopo diagnostico in infrastrutture critiche". Master's thesis. Università di Firenze. Corso di Laurea in Scienze e Teconologie dell'Informazione. July 20th, 2009. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Daidone. [More] 
  • Master's Thesis A. Ceccarelli. "Progettazione e validazione di un’architettura safety-critical per sistemi di controllo ferroviari,". Master's thesis. University of Firenze. Corso di Laurea Specialistica in Scienze e Teconologie dell'Informazione. October 24th, 2008. Supervisor(s): A. Bondavalli. [More] 
  • Master's Thesis F. Brancati. "Progettazione di uno strumento di misura del tempo capace di autovalutarsi ed autocalibrarsi". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. July 14th, 2008. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More] 
  • Master's Thesis S. Ceri. "Studio metodologico per l'analisi quantitativa di famiglie di protocolli distribuiti con il framework Neko". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. September 28th, 2007. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More] 
  • Master's Thesis A. Pacini. "Analisi di possibili soluzioni per la diagnosi e la riconfigurazione dello scenario applicativo Assisted Trasportation all'interno del progetto Hidenets". Master's thesis. Università di Firenze. February 9th, 2007. Supervisor: A. Bondavalli, Co-Supervisor: F. Di Giandomenico, A. Daidone. [More] 
  • Master's Thesis L. Viti. "Valutazione quantitativa della QoS dei servizi applicativi su rete ATN (Aeronautical Telecommunications Network)". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. April 28th, 2006. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Fantappié, P. Maltese, L. Falai. [More] 
  • Master's Thesis A. Daidone. "Le catene di Markov nascoste come supporto alla formalizzazione del problema della diagnosi nei sistemi affidabili". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. December 19th, 2005. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico. [More] 
  • Master's Thesis G. Bastone. "Definizione e realizzazione di miglioramenti alle metodologie per l'analisi di sistemi distribuiti". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. September 20th, 2005. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More] 
  • Master's Thesis M. Moretto. "Progettazione, realizzazione ed utilizzo di un generatore di simulatori per sistemi a fasi multiple". Master's thesis. Università degli Studi di Pisa, Corso di Laurea in Ingegneria Informatica. December 15th, 2004. Supervisor(s): L. Simoncini, L. Lopriore, F. Di Giandomenico, A. Bondavalli. [More] 
  • Master's Thesis E. Culicchi. "Modellizzazione ed analisi dell'infrastruttura UMTS e delle politiche di handover". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. September, 2004. A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico, P. Lollini. [More] 
  • Master's Thesis M. Serafini. "Una metodologia per modellare e valutare la dependability di sistemi safety-critical". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. September, 2004. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
  • Master's Thesis M. Neri. "L'error detection nelle architetture critiche per la sicurezza in ambito ferroviario". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. July, 2004. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Coccoli, P. Lollini. [More] 
  • Master's Thesis L. Falai. "Metodologie e strumenti per la valutazione quantitativa sperimentale e simulativa di algoritmi distribuiti". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. 2004. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico. [More] 
  • Master's Thesis G. Petruzzi. "Modellizzazione ed analisi della QoS offerta da una cella UMTS". Master's thesis. Università di Firenze. Corso di Laurea in Informatica. 2004. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico, P. Lollini. [More] 
  • Master's Thesis M. Niobiti. "Realizzazione in Java di una interfaccia grafica per un tool di valutazione di sistemi MPS". Master's thesis. Università degli Studi di Pisa. Corso di Laurea in Scienze dell'Informazione. July 7th, 2003. Supervisor(s): A. Bondavalli, S. Chiaradonna, F. Di Giandomenico. [More] 
  • Master's Thesis E. De Giudici. "Progettazione ed analisi di un meccanismo per garantire la sicurezza in applicazioni ferroviarie". Master's thesis. Università degli Studi di Pisa, Corso di Laurea in Scienze dell'Informazione. June 26th, 2003. Supervisor(s): A. Bondavalli, Co-Supervisor(s): S. Porcarelli. [More] 

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web