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.
Vijayanand Sowntharia. On the use of conversational artificial intelligence in generating and explaining some stochastic models. Corso di Laurea Magistrale: Informatica (B059). December 2025. Relatore: Paolo Lollini.
Giamberini Giulia. Towards resilient cobots – the cognisafe3d approach: proposed architecture, functional requirements, and preliminary hazard analysis. Corso di Laurea Magistrale: Software: Science and Technology (B255). October 2025. Relatore: Paolo Lollini. Correlatore: Tommaso Zoppi.
Ali Syed Muhammad Fasih. Quantitative security assessment of critical infrastructures using advise: the case study of the 2015 Ukraine power grid cyberattack. Corso di Laurea Magistrale: Informatica (B059). April 2025. Relatore: Paolo Lollini. Correlatore: Marzieh Kordi.
ZIYOUDDINOV BAKHAUDDIN, A comprehensive classification and comparative analysis of aging models for modern hardware devices Corso di Laurea magistrale: INFORMATICA, October 2025. Supervisor: A. Bondavalli Co-Supervisor: Nicola Ferrante.
KULDEEVA MADINA: Detecting anomalies in power grid infrastructures - power consumption anomalies using machine learning, 2025. Supervisor: Tommaso Zoppi.
Manuel Drago, Tecniche di valutazione del rischio in sistemi critici ed applicazione ad un caso di studio ferroviario, 2024. Supervisor: Andrea Ceccarelli.
Luddi Matteo. Model-based security assessment: development of an automatic transformation process from advise to san. Corso di laurea magistrale: Informatica (B059). October 2024. Relatore: Paolo Lollini. Correlatore: Francesco Mariotti, Marzieh Kordi.
ALI SHAHZADA ASAD Dependent Failure Analysis (DFA) of a Fail-Tolerant Architecture for AD. Corso di Laurea magistrale: INFORMATICA, october 2024. Supervisor: A. Bondavalli Co-Supervisor: lorenzo vinerbi.
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.
SELENICA STELA Design and Implementation of a tool for automated Fault Tolerance exploiting Instruction Level Redundancy in Superscalar CPU." Corso di Laurea magistrale: INFORMATICA, december 2023. Supervisor: A. Bondavalli.
ISRAR MAHNOOR Meta-Learning-based Detection of Anomalies in an Electrical Grid Corso di Laurea magistrale: INFORMATICA, february 2023. Supervisor: A. Bondavalli Co-Supervisor: enrico schiavone.
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.
DINI EDOARDO Automatic Test Case Generation from Functional Requirements Expressed in a Controlled Language: Study and Proposal of a Methodology. Corso di Laurea magistrale: INFORMATICA, April 2022 . Supervisor: A. Bondavalli Co-Supervisors: schiavone enrico, falai lorenzo.
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.
SALANI LORENZO ON THE SUITABILITY OF A GAN FRAMEWORK IN THE GENERATION OF ATTACKS DATASETS Corso di Laurea magistrale: INFORMATICA, October 2021. Supervisor: A. Bondavalli Co-Supervisor: Tommaso Zoppi.
SARTI LORENZO Development of SIL0 software for maintenance systems in the railway domain Corso di Laurea magistrale: INFORMATICA, October 2021. Supervisor: A. Bondavalli Co-Supervisor: Tommaso Zoppi.
CHIMENTI ANDREA Methodology for the optimization of the Test Coverage through the choice of an input dataset in STL field Corso di Laurea magistrale: INFORMATICA, July 2021. Supervisor: A. Bondavalli Co-Supervisor: francesco brancati
FALDETTA FILIPPO Il pairwise testing come strategia di unit testing in ambito safety critica Corso di Laurea magistrale: INFORMATICA, July 2021. Supervisor: A. Bondavalli Co-Supervisor: lorenzo vinerbi.
PALLI CATERINA Analisi di Software Factory in ambito di sistemi safety-critical: una metodologia di riuso software per lo sviluppo di una famiglia di prodotti in conformità a standard di safety Corso di Laurea magistrale: INFORMATICA, July 2021. Supervisor: A. Bondavalli Co-Supervisor: francesco brancati.
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.