Resilient Computing Lab
Archive of Master Thesis successfully completed
Master Theses at the University of Florence can be retrieved from the archive available at https://www.sba.unifi.it/p193.html , with the exception of Theses that have been declared not public.
If you wish to access a Thesis and cannot download from the portal above, please refer to us for information.
Cosimo Cinquilli, Progettazione e sviluppo di un dataset per valutare algoritmi di rilevazione di intrusioni su sistema operativo ROS2, Corso di Laurea magistrale: INFORMATICA, Aprile 2023. Supervisor(s): A. Ceccarelli Co-Supervisor(s): Simone Nardi, Tommaso Puccetti.
Fahad Nadeem, Classificazione delle immagini e patch contraddittorie, Corso di Laurea magistrale: INFORMATICA (B059), Ottobre 2023. Supervisor(s): A. Ceccarelli Co-Supervisor(s): Muhammad Atif.
Abdul Haseeb Khan, Misurazione della robustezza degli algoritmi di apprendimento automatico nel dominio tabulare, Corso di Laurea magistrale: INFORMATICA (B059), Giugno 2023. Supervisor(s): A. Ceccarelli Co-Supervisor(s): Muhammad Atif.
L. Morganti. "Review, Implementation And Application Of A Framework For The Specification And Automated Composition Of Performability Models". 2021. Università degli Studi di Firenze. Corso di Laurea Magistrale in Informatica. October, 2021. Supervisor(s): P. Lollini, Co-Supervisor(s): L. Montecchi.
T. Puccetti. "Sviluppo, Verifica e Validazione di un Protocollo Ferroviario per la Trasmissione Dati in Sicurezza". 2021. Supervisor(s): A. Bondavalli.
F. Secci. "Modi di Fallimento delle telecamere RGB ed effetti nelle applicazioni di guida autonoma". 2020. Supervisor(s): A. Ceccarelli.
F. Terrosi. "Development of a monitoring methodology for autonomous vehicles managed by a Controller and a Safety Monitor". Università degli Studi di Firenze. Corso di Laurea in Informatica. 2019. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Strigini.
A. Foglia. "Analisi di un sottosistema di posizionamento ferrotramviario". Università degli Studi di Firenze. Corso di Laurea in Informatica. 2019. Supervisor(s): A. Bondavalli.
C. Rapicetta. "Sviluppo di un Modello per lo Studio della Dependability e della Safety di un Sistema Ferroviario". Università degli Studi di Firenze. Corso di Laurea in Informatica. 2019. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini.
G. Dallai. "Analisi di Azzardi per un Sistema di Interfaccia Mobile Remota per la Manutenzione delle Linee Ferroviarie". 2019. Supervisors: Andrea Bondavalli, Tommaso Zoppi.
L. Masini. "Analisi quantitativa di architetture safety critical per un sistema di controllo ferroviario". 2019. Supervisors: Andrea Bondavalli, Tommaso Zoppi.
M. Staderini. "A Methodology for the Proper Choice and Setup of Blockchains". University of Florence. 2018. Supervisor(s): Andrea Bondavalli.
D. Bertieri. "Sviluppo Di Un Protocollo Di Comunicazione Sicuro In Ambiente Ferroviario". 2018. Supervisors: Tommaso Zoppi, Andrea Bondavalli.
E. Schiavone. "Autenticazione Continua Biometrica: Definizione e Prototipazione di una Soluzione per la Protezione di Ambienti Desktop". Università degli Studi di Firenze. Corso di Laurea Magistrale in Informatica. April 17th, 2015. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Ceccarelli.
R. Bernini. "Integrazione di Formalismi Stocastici per L'Analisi e L'Ottimizzazione di Processi Industriali". 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.
T. Zoppi. "Metodologia, Ambiente di Test e Analisi dei Dati per lo Studio di Indicatori Middleware e di Sistema Finalizzata alla Rilevazione di Anomalie". 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.
M. Casciaro. "Modellizzazione ed Analisi di Security in un Sistema Automatico di Protezione Cantiere". Università degli Studi di Firenze, Corso di Laurea Magistrale in Informatica. February 22th, 2013. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini.
L. Montecchi. "Un Modello Intermedio di Dependability Integrabile in un Processo di Model-Driven Engineering". 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.
F. Duchi. "Transformation Languages - Valutazione pratica dei principali approcci". Università degli Studi di Firenze. Corso di Laurea in Informatica. April 27th, 2010. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini.
L. Vinerbi. "Trattazione del Comportamento Emergente in Sistemi Complessi". Università degli Studi di Firenze. Corso di Laurea in Scienze e Tecnologie dell'Informazione. October, 2009.
M. Albini. "Un profilo UML 2.0 per la descrizione di strategie di manutenzione in sistemi critici e sue applicazioni". Università di Firenze. Corso di Laurea in Scienze e Tecnologie dell'Informazione. July 20th, 2009. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini.
V. Guarnieri. "Strumenti automatici per la correlazione di eventi a scopo diagnostico in infrastrutture critiche". Università di Firenze. Corso di Laurea in Scienze e Teconologie dell'Informazione. July 20th, 2009. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Daidone.
A. Ceccarelli. "Progettazione e validazione di un’architettura safety-critical per sistemi di controllo ferroviari,". University of Firenze. Corso di Laurea Specialistica in Scienze e Teconologie dell'Informazione. October 24th, 2008. Supervisor(s): A. Bondavalli.
F. Brancati. "Progettazione di uno strumento di misura del tempo capace di autovalutarsi ed autocalibrarsi". Università di Firenze. Corso di Laurea in Informatica. July 14th, 2008. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai.
S. Ceri. "Studio metodologico per l'analisi quantitativa di famiglie di protocolli distribuiti con il framework Neko". Università di Firenze. Corso di Laurea in Informatica. September 28th, 2007. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai.
A. Pacini. "Analisi di possibili soluzioni per la diagnosi e la riconfigurazione dello scenario applicativo Assisted Trasportation all'interno del progetto Hidenets". Università di Firenze. February 9th, 2007. Supervisor: A. Bondavalli, Co-Supervisor: F. Di Giandomenico, A. Daidone.
L. Viti. "Valutazione quantitativa della QoS dei servizi applicativi su rete ATN (Aeronautical Telecommunications Network)". Università di Firenze. Corso di Laurea in Informatica. April 28th, 2006. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Fantappié, P. Maltese, L. Falai.
A. Daidone. "Le catene di Markov nascoste come supporto alla formalizzazione del problema della diagnosi nei sistemi affidabili". Università di Firenze. Corso di Laurea in Informatica. December 19th, 2005. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico.
G. Bastone. "Definizione e realizzazione di miglioramenti alle metodologie per l'analisi di sistemi distribuiti". Università di Firenze. Corso di Laurea in Informatica. September 20th, 2005. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai.
M. 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. December 15th, 2004. Supervisor(s): L. Simoncini, L. Lopriore, F. Di Giandomenico, A. Bondavalli.
E. Culicchi. "Modellizzazione ed analisi dell'infrastruttura UMTS e delle politiche di handover". Università di Firenze. Corso di Laurea in Informatica. September, 2004. A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico, P. Lollini.
M. Serafini. "Una metodologia per modellare e valutare la dependability di sistemi safety-critical". Università di Firenze. Corso di Laurea in Informatica. September, 2004. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini.
M. Neri. "L'error detection nelle architetture critiche per la sicurezza in ambito ferroviario". Università di Firenze. Corso di Laurea in Informatica. July, 2004. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Coccoli, P. Lollini.
L. Falai. "Metodologie e strumenti per la valutazione quantitativa sperimentale e simulativa di algoritmi distribuiti". Università di Firenze. Corso di Laurea in Informatica. 2004. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico.
G. Petruzzi. "Modellizzazione ed analisi della QoS offerta da una cella UMTS". Università di Firenze. Corso di Laurea in Informatica. 2004. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Di Giandomenico, P. Lollini.
M. 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. July 7th, 2003. Supervisor(s): A. Bondavalli, S. Chiaradonna, F. Di Giandomenico.
E. 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. June 26th, 2003. Supervisor(s): A. Bondavalli, Co-Supervisor(s): S. Porcarelli.