Master's Theses

• Master's Thesis L. Morganti. "REVIEW, IMPLEMENTATION AND APPLICATION OF A FRAMEWORK FOR THE SPECIFICATION AND AUTOMATED COMPOSITION OF PERFORMABILITY MODELS". Master's thesis. 2021. Università degli Studi di Firenze. Corso di Laurea Magistrale in Informatica. October, 2021. Supervisor(s): P. Lollini, Co-Supervisor(s): L. Montecchi. [More] 
• Master's Thesis T. Puccetti. "Sviluppo, Verifica e Validazione di un Protocollo Ferroviario per la Trasmissione Dati in Sicurezza". Master's thesis. 2021. [More] 
• Master's Thesis F. Secci. "Modi di Fallimento delle telecamere RGB ed effetti nelle applicazioni di guida autonoma". Master's thesis. 2020. Supervisor(S): A. Ceccarelli. [More] 
• Master's Thesis F. Terrosi. "Development of a monitoring methodology for autonomous vehicles managed by a Controller and a Safety Monitor". Master's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. 2019. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Strigini. [More] 
• Master's Thesis A. Foglia. "Analisi di un sottosistema di posizionamento ferrotramviario". Master's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. 2019. Supervisor(s): A. Bondavalli. [More]