Login



Publications

 

Year: 2020

  • Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Into the Unknown: Unsupervised Machine Learning Algorithms for Anomaly-Based Intrusion Detection". 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S). 2020. pp. 81-81. [More]
  • Conference E. Rodrigues, L. Montecchi and A. Ceccarelli. "Model-Driven Fault Injection in Java Source Code". 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE). 2020. pp. 414-425. [More]
  • Conference L. Montecchi, P. Lollini, F. Moncini and K. Keefe. "An Eclipse-Based Editor for SAN Templates". Dependable Computing - EDCC 2020 Workshops. Bernardi et al eds. 2020. pp. 159-167. [More]

Year: 2019

  • Conference L. D. da Silva, D. Mongelli, P. Lollini, A. Bondavalli and G. Mandò. "Performability Analysis of a Tramway System with Virtual Tags and Local Positioning". 2019 9th Latin-American Symposium on Dependable Computing (LADC). 2019. pp. 1-10. [More]
  • Conference N. Laranjeiro et al.. "Addressing Verification and Validation Challenges in Future Cyber-Physical Systems". 2019 9th Latin-American Symposium on Dependable Computing (LADC). 2019. pp. 1-2. [More]
  • Journal M. Gharib and P. Giorgini. "Information quality requirements engineering with STS-IQ", Information and Software Technology, Vol. 107, March, 2019, pp. 83-100. [More]
  • Conference A. Ceccarelli et al.. "The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results". safecomp workshop. 2019. pp. 185-197. [More]
  • Other A. Montaghi. "Meta-Learning per la combinazione di Intrusion Detectors". 2019. Supervisor(s): A. Bondavalli, Co-supervisor(s): T. Zoppi. [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]
  • Master's Thesis C. Rapicetta. "Sviluppo di un Modello per lo Studio della Dependability e della Safety di un Sistema Ferroviario". Master's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. 2019. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [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]
  • Master's Thesis G. Dallai. "Analisi di Azzardi per un Sistema di Interfaccia Mobile Remota per la Manutenzione delle Linee Ferroviarie". Master's thesis. 2019. Supervisors: Andrea Bondavalli, Tommaso Zoppi. [More]
  • Master's Thesis L. Masini. "Analisi quantitativa di architetture safety critical per un sistema di controllo ferroviario". Master's thesis. 2019. Supervisors: Andrea Bondavalli, Tommaso Zoppi. [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]
  • Conference M. Gharib, P. Lollini and A. Bondavalli. "Toward a Model-Based Approach for Analyzing Information Quality Requirements for Smart Grid". 15th European Dependable Computing Conference, EDCC. 2019. pp. 183-185. [More]
  • Conference M. Gharib and A. Bondavalli. "On the Evaluation Measures for Machine Learning Algorithms for Safety-critical Systems". 15th European Dependable Computing Conference (EDCC). 2019. pp. 141-144. [More]
Results 51 - 75 of 537
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web