Bachelor's Theses

• Other L. Gori. "Studio e sperimentazione del formalismo ADVISE per modellizzare attacchi informatici ed attaccanti". 2021. Supervisor(s): P. Lollini, Co-Supervisor(s): L. Montecchi. [More] 
• Other E. Dolce. "DERIVATION OF STOCHASTIC ACTIVITY NETWORKS MODELS FROM THEIR TEMPLATE-BASED GENERALIZATION". 2021. Università degli Studi di Firenze. Corso di Laurea in Informatica. April, 2021. Supervisor(s): P. Lollini, Co-Supervisor(s): L. Montecchi.. [More] 
• Other A. S. Akinola. "Explainable AI : studio ed implementazione di tecniche di machine learning interpretabili". Universit{\`a} degli Studi di Firenze. Supervisor: A. Ceccarelli. 2021. . [More] 
• Other M. Sirgiovanni. "Sperimentazione del protocollo MQTT e realizzazione di un’applicazione per il caso d’uso del conteggio automatico di persone". Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2021. . [More] 
• Other A. Giglioli. "studio di scenari pre-crash in ambito automotive e la loro simulazione in Carla". Universit{\`a} degli Studi di Firenze. Supervisor: A. Ceccarelli. 2021. . [More] 
• Other M. Hong. "Software fault injection in simulatori di guida autonoma". Universit{\`a}degli Studi di Firenze. Supervisor: A. Ceccarelli. 2021. . [More] 
• Other D. Verduchi. "Generazione di un dataset di immagini per l'autonomous driving arricchito di informazioni sul movimento". Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2021. . [More] 
• Other C. Levi. "Stuxnet, Flame e Mydoom: analisi dei malware che hanno cambiato il volto della cybersecurity". 2021. Supervisor(s): A. Bondavalli, Co-supervisor(s): S. Pietropaoli. [More] 
• Other D. Sbanchi. "Generation of Möbius-compliant SAN models from EMF-based representations". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 11th, 2020. Supervisor(s): P. Lollini, Co-Supervisor(s): L. Montecchi. [More] 
• Other F. Moncini. "A Graphical Editor for the Definition of Stochastic Activity Networks Template Models". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 24th, 2020. Supervisor(s): P. Lollini, Co-Supervisor(s): L. Montecchi. [More] 
• Other G. Vallario. "Flight data science: analisi tecnica e giuridica dei registratori di volo". 2020. Supervisor(s): Andrea Bondavalli, Co-supervisor(s): S. Pietropaoli. [More] 
• Other P. D. Santis. "Ransomware. Profili informatici e giuridici di un cybercrime". 2020. Supervisor(s): A. Bondavalli, Co-supervisor(s): S. Pietropaoli. [More] 
• Other P. Bernabei. "Individuazione di immagini alterate da una telecamera RGB mal funzionante attraverso un agente addestrato". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2020.. 2020. . [More] 
• Other E. Mancini. "Investigazione sugli indicatori di una GPU per la rilevazione di attacchi verso agenti addestrati". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2020.. 2020. . [More] 
• Other N. Piazzesi. "Attacchi verso sistemi di apprendimento in ambito autonomous driving: studio e implementazione in ambienti simulati". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2020. . [More] 
• Other N. D. Noce. "Osservazioni sperimentali sulla tipologia di anomalie e la loro manifestazione in dataset di attacchi". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: Andrea Ceccarelli. 2020. . [More] 
• Other F. Gori. "ARCHITETTURE A MICROSERVIZI: PROTOCOLLI DI COMUNICAZIONE DI BASE, MODELLO AD ATTORI ED ESPERIENZE DI SVILUPPO CON IL FRAMEWORK AKKA". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor(s): Paolo Lollini. 2020. . [More] 
• Other A. Caia. "Anomaly Detection In Smart Grid: Confronto Di Algoritmi Unsupervised Per L’analisi Dei Consumi". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor(s): Tommaso Zoppi. 2020. . [More] 
• Other D. Taddei. "Anomaly Detection in Sistemi Safety-Critical: Analisi e Discussione dell’Adeguatezza della Matrice di Confusione". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor(s): Tommaso Zoppi, Andrea Bondavalli. 2020. . [More] 
• Other A. Montaghi. "Meta-Learning per la combinazione di Intrusion Detectors". 2019. Supervisor(s): A. Bondavalli, Co-supervisor(s): T. Zoppi. [More] 
• Other M. Rettani. "Anomaly detection per la Rilevazione di Attacchi ai Sensori Biometrici". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor(s): Tommaso Zoppi. 2019. . [More] 
• Other A. Bianchi. "Protocollo Vitale Standard: Descrizione e Sviluppo di un Protocollo di Comunicazione Sicuro in Ambiente Ferroviario". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor(s): Tommaso Zoppi, Andrea Bondavalli. 2019. . [More] 
• Other A. Chimenti. "Studio e valutazione di algoritmi basati su finestra scorrevole per l’intrusion detection". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2019. . [More] 
• Other F. Faldetta. "Metodologia e sua validazione per l’individuazione di attacchi tramite la combinazione di anomaly detectors". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2019. . [More] 
• Other L. Salani. "Correlazione tra attacchi e anomalie: analisi delle tipologie di anomalie generate nei dataset di attacchi". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2019. . [More] 
• Other L. Escriva. "Studio del framework Pentaho per costruire la dashboard del Database MineHEP". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2019. . [More] 
• Other M. D'Autilia. "PIANIFICAZIONE ED ESECUZIONE DI TEST UNITARI SU UN PROTOCOLLO SICURO SECONDO LE NORMATIVE FERROVIARIE SUL SOFTWARE". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2019. . [More] 
• Other A. Cioni. "MineHep: un progetto di data warehouse per la ricerca di nuova fisica". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2019. . [More] 
• Other F. Mariotti. "Campagna di test funzionali su un protocollo ferroviario di comunicazione secondo la EN50128". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2019. . [More] 
• Other N. Galli. "Studio di un simulatore di guida autonoma e esecuzione di scenari". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2019. . [More] 
• unpublished L. Sarti. "Visualizzazione sicura di informazioni vitali in ambiente ferroviario su sistemi commerciali". 2018. [More] 
• Other S. Priami. "LO STANDARD HIGH LEVEL ARCHITECTURE: DAI CONCETTI DI BASE ALLA IMPLEMENTAZIONE DI UNA SIMULAZIONE FEDERATA NEL DOMINIO DEI SISTEMI DI SISTEMI.". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: Paolo Lollini. 2018. . [More] 
• Other L. Morganti. "CERTIFICAZIONE DI SISTEMI CRITICI NEL SETTORE AUTOMOBILISTICO: CONCETTI DI BASE, STANDARDS E LORO EVOLUZIONE VERSO L’ INTEGRAZIONE DI FATTORI UMANI". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: Paolo Lollini. 2018. . [More] 
• Other M. Mirelli. "STILI ARCHITETTURALI PER LO SVILUPPO DI APPLICAZIONI WEB: PANORAMICA, L’ARCHITETTURA A MICROSERVIZI E SUA APPLICAZIONE ALLA PIATTAFORMA ESERVANT". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor(s): Paolo Lollini. 2018. . [More] 
• Other M. Mauro. "REGOLE DI PROGRAMMAZIONE PER LA SAFETY E SECURITY: ANALISI, STRUMENTI E RELAZIONI". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor(s): Paolo Lollini. Co-Supervisor: Andrea Ceccarelli. 2018. . [More] 
• Other V. A. Facunla. "Analisi dell’impatto di bug del compilatore GCC ai fini della sicurezza del software". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2018. . [More] 
• Other M. Gori. "NE.M.U.SA.: UN MODELLO PER LA VALUTAZIONE ED IL CONFRONTO DI APPLICATIVI NMP". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2018. . [More] 
• Other G. Coppola. "L'approccio di Domain Driven Design e sua applicazione a casi di studio di interesse". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: Paolo Lollini. Co-supervisor: Federico Barsotti. 2017. . [More] 
• Other M. Calamai. "BLOCKLY COME TOOL DI MODEL-DRIVEN ENGINEERING PER LA MODELLIZZAZIONEDI SISTEMI DI SISTEMI". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: Paolo Lollini. Co-Supervisor: Andrea Bondavalli. 2017. . [More] 
• Other E. Dini. "UNA TECNICA DI MDE A SUPPORTO DI UNA FMEA SOFTWARE: SVILUPPI METODOLOGICI ED IMPLEMENTATIVI". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: Paolo Lollini. Co-Supervisor: Andrea Bondavalli. 2017. . [More] 
• Other L. Pauletti. "SIMULAZIONE FEDERATA: CARATTERI STICHE PRINCIPALI, STANDARD DI SPONIBILI, CASI DI STUDIO.". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: Paolo Lollini. 2017. . [More] 
• Other A. Baldecchi. "Software FMEA: tecniche, tools di supporto e sviluppi recenti". April 20th, 2016. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 20th, 2016. Supervisor(s): P. Lollini, Co-Supervisor(s): L. Montecchi. [More] 
• Other G. Ricciarelli. "Data Processing: dai concetti di base alla loro applicazione in un caso di uso aziendale". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: Paolo Lollini. Co-supervisor: Alberto Baggio. 2016. . [More] 
• 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] 
• Other A. Marmugi. "Modelli di Sincronia per Sistemi Distribuiti". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. February 9th, 2007. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More] 
• Other V. Guarnieri. "Analisi e Validazione di Sistemi Distribuiti con Supporto Automatico Indipendente dalla Piattaforma". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 18th, 2006. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More] 
• Other M. Albini. "Analisi e Validazione di Algoritmi Distribuiti in Sistemi con Palmari: Specifica e Definizione di NekoPDA e Analisi delle Problematiche del Porting". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 18th, 2006. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More] 
• Other A. Baldini. "Analisi Quantitativa di Sistemi di Consenso Soggetti ad Attacchi". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 18th, 2006. Supervisor(s): A. Bondavalli, Co-Supervisor(s): S. Chiaradonna, P. Lollini. [More] 
• Other F. Squittieri. "Realizzazione di un'estensione per la modellazione di sistemi multiple phased con il tool Mobius". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 28th, 2006. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini, S. Chiaradonna. [More] 
• Other A. Ceccarelli. "Analisi sperimentale di applicazioni critiche real-time: uno strumento consapevole della qualità delle misurazioni raccolte". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 28th, 2006. Supervisor(s): A. Bondavalli, Co-Supervisor(s): L. Falai. [More]