Resilient Computing Lab
Archive of PhD Theses successfully completed
All the PhD Theses discussed at the University of Florence are open access and can be freely dowloaded from FLORE with the exception of Theses that have an embargo period.
If you cannot retrieve one of the Theses listed below, you are invited to write us.
Muhammad Atif, Robust Recognition of Objects in the Safety Critical Systems: A Case Study of Traffic Sign Recognition. Dottorato in Matematica, Informatica, Statistica (XXXV ciclo). 2023. Supervisor: Andrea Bondavalli
Maria Maqsood, Agile Software Development Methodologies for Safety Critical Systems, Dottorato in Matematica, Informatica, Statistica (XXXIV ciclo). 2022.. Supervisor: Andrea Bondavalli
M. Staderini. "Towards the Assessment and the Improvement of Smart Contract Security". Ph.D. thesis. University of Florence. Dottorato in Matematica, Informatica, Statistica (XXXIV ciclo). 2022. Supervisor: Andrea Bondavalli.
E. Schiavone. "Design and Evaluation of Multi-Biometric Approaches for Continuous Authentication and Non-Repudiation in Critical Services". Dottorato in Matematica, Informatica, Statistica (XXXI ciclo). 2019. Supervisor: Andrea Bondavalli
T. Zoppi. "Towards Effective Anomaly Detection in Complex Dynamic Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Matematica, Informatica, Statistica (XXX ciclo). 2018. Supervisors: Andrea Bondavalli, Andrea Ceccarelli.
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.
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.
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.
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.
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.
L. Falai. "Observing, Monitoring and Evaluating Distributed Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Ingegneria Informatica e dell'Automazione (XX Ciclo). April 11th, 2008. Supervisor(s): A. Bondavalli.
P. Lollini. "On the Modeling and Solution of Complex Systems: From Two Domain-Specific Case-Studies Towards the Definition of a More General Framework". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica e Applicazioni (XVIII ciclo). December, 2005. Supervisor(s): A. Bondavalli, F. Di Giandomenico.
S. Porcarelli. "Analysis and Modeling of Dependability and Performability of Telecommunication Systems". Ph.D. thesis. Università degli Studi di Pisa, Dottorato in Ingegneria dell'Informazione. June 4th, 2003. Supervisor(s): L. Simoncini, A. Bondavalli.
A. Coccoli. "On Integrating Modelling and Experiments in Dependability and Performability Evaluation of Distributed Applications". Ph.D. thesis. Università degli Studi di Pisa. Dottorato in Ingegneria Elettronica, Informatica e delle Telecomunicazioni (XIV ciclo). February, 14th, 2002. Supervisor(s): L. Simoncini, Co-Supervisor(s): A. Bondavalli.
D. Cotroneo. "Implementation Strategies for Developing Middleware-Based Distribuited Dependable Applications". Ph.D. thesis. Università degli Studi di Napoli Federico II. Dottorato di Ricerca in Ingegneria dell'Informazione (XIV ciclo). November, 2001. Supervisor(s): S. Russo, Co-Supervisor(s): A. Bondavalli.
I. Mura. "Modelling and Evaluation of Phased Mission Systems". Ph.D. thesis. Università degli Studi di Pisa. Dottorato in Ingegneria Elettronica, Informatica e delle Telecomunicazioni (XI ciclo). January, 1999. Supervisor(s): L. Simoncini, Co-Supervisor(s): A. Bondavalli.