Proposte di Tesi PDF Print E-mail

Il gruppo di ricerca RCL propone periodicamente tesi di laurea sia per il Corso di Laurea in Informatica (Classe L-31) che per il Corso di Laurea Magistrale in Informatica (Classe LM-18).

In generale, si invita a contattare il Prof. Bondavalli per una lista esaustiva ad aggiornata delle tematiche di ricerca disponibili.

 
Past Theses PDF Print E-mail

Ph.D. Theses

  • PhD Thesis N. Nostro. "Model-Based Approaches To Dependability And Security Assessment in Critical and Dynamic Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica, Sistemi e Telecomunicazioni (XXVII ciclo). March 18th, 2015. Supervisors: Prof. Andrea Bondavalli, Dr. Felicita Di Giandomenico. [More] 
  • PhD Thesis L. Montecchi. "A Methodology and Framework for Model-Driven Dependability Analysis of Critical Embedded Systems and Directions Towards Systems of Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica, Sistemi e Telecomunicazioni (XXVI ciclo). March 25th, 2014. Supervisor(s): A. Bondavalli. [More] 
  • PhD Thesis F. Brancati. "Adaptive and Safe Estimation of Different Sources of Uncertainty to Improve Dependability of Highly Dynamic Systems Through Online Monitoring Analysis". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica e Applicazioni (XXIV ciclo). May 14th, 2012. Supervisor(s): A. Bondavalli. [More] 
  • PhD Thesis A. Ceccarelli. "Analysis of Critical Systems Through Rigorous, Reproducible and Comparable Experimental Assessment". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Ingegneria Informatica e dell'Automazione (XXIV Ciclo). May 9th, 2012. Supervisor(s): A. Bondavalli. [More] 
  • PhD Thesis A. Daidone. "Critical Infrastructures: a Conceptual Framework for Diagnosis, Some Applications and Their Quantitative Analysis". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica e Applicazioni (XXII ciclo). April 21th, 2010. [More] 

Master's Theses

  • Master's Thesis A. Baldecchi. "Software FMEA: tecniche, tools di supporto e sviluppi recenti". Master's thesis. Università degli Studi di Firenze. Corso di Laurea Magistrale in Informatica. Aprile 20th, 2016. Supervisor(s): P. Lollini, Co-Supervisor(s): L. Montecchi. [More] 
  • 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] 

Bachelor's Theses

  • Other M. Buracchi. "Progettazione ed Implementazione di un Master Clock Sicuro ed Affidabile per Cyberphysical Systems of Systems". 2015. Università degli Studi di Firenze. Corso di Laurea in Informatica. October, 9th 2015. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Ceccarelli. [More] 
  • Other D. Zampini. "Sperimentazione dell'utilizzo di strumenti per la rilevazione online di anomalie in sistemi e infrastrutture critiche". 2011. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 21th, 2009. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Brancati, A. Ceccarelli. [More] 
  • Other F. Gogaj. "Progettazione ed implementazione di un algoritmo per il calcolo dell'incertezza di sincronizzazione e sua integrazione in un prototipo di R&SACLOCK". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 21th, 2009. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Brancati, A. Ceccarelli. [More] 
  • Other L. Montecchi. "Analisi e valutazione di reti UMTS". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 27th, 2007. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
  • Other A. Menichetti. "Intrusion Detection Systems: tecniche per la rilevazione di intrusione su sistemi informatici". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 27th, 2007. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Daidone. [More] 
 



Resilient Computing Lab, 2011

Joomla - Realizzazione siti web