Login



Publications

 

Year: 2021

  • Conference A. Muhammad, T. Zoppi, M. Gharib and A. Bondavalli. "Quantitative comparison of supervised algorithms and feature sets for traffic sign recognition". SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing. ACM ed. 2021. pp. 174-177. [More]
  • Conference M. Staderini and A. Bondavalli. "Investigating Static Analyzers Detection Capabilities on Ethereum Smart Contracts". Proceedings of the 28th Mini-Symposium of the Department of Measurement and Information Systems, Budapest University of Technology and Economics. 2021. pp. 36-39. [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]
  • Conference M. Gharib, T. Zoppi and A. Bondavalli. "Understanding the properness of incorporating machine learning algorithms in safety-critical systems". SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing. ACM ed. 2021. pp. 232-234. [More]
  • Other M. Hong. "Software fault injection in simulatori di guida autonoma". Università 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]
  • Journal T. Zoppi, T. Capecchi, A. Ceccarelli and A. Bondavalli. "Unsupervised Anomaly Detectors to Detect Intrusions in the Current Threat Landscape", ACM Transactions on Data Science. 2021. [More]
  • Journal T. Zoppi and A. Ceccarelli. "Prepare for trouble and make it double! Supervised – Unsupervised stacking for anomaly-based intrusion detection", Journal of Network and Computer Applications, Vol. 1, 9, 2021. [More]
  • Journal D. Bertieri, A. Ceccarelli, T. Zoppi, I. Mungiello, M. Barbareschi and A. Bondavalli. "Development and validation of a safe communication protocol compliant to railway standards", Journal of the Brazilian Computer Society, Vol. 27. 2021, pp. 1-26. [More]

Year: 2020

  • 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]
  • Conference M. Staderini, C. Palli and A. Bondavalli. "Classification of Ethereum Vulnerabilities and their Propagations". 2020 Second International Conference on Blockchain Computing and Applications (BCCA). 2020. pp. pp. 44-51. [More]
  • Conference M. Gharib, P. Lollini, A. Ceccarelli and A. Bondavalli. "Governance Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems". 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE). 2020. pp. 000217-000222. [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]
  • Journal L. Montecchi, P. Lollini and A. Bondavalli. "A Template-Based Methodology for the Specification and Automated Composition of Performability Models", IEEE Transactions on Reliability, Vol. 69, March, 2020, pp. 293-309. [More]
  • Conference M. Staderini and C. Palli. "An Analysis on Ethereum Vulnerabilities and Further Steps". Proceedings of the 27th PhD Mini-Symposium of the Department of Measurement and Information Systems, Budapest University of Technology and Economics. 2020. pp. 21-24. [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]
  • Conference F. Secci and A. Ceccarelli. "On failures of RGB cameras and their effects in autonomous driving applications". International Symposium on Software Reliability Engineering (ISSRE). 2020. [More]
  • Conference L. Leal, L. Montecchi, A. Ceccarelli and E. Martins. "Using metamodels to improve model-based testing of service orchestrations". Pacific Rim International Symposium on Dependable Computing (PRDC 2020). 2020. [More]
  • Journal M. Gharib, L. D. da Silva and A. Ceccarelli. "A Model to Discipline Autonomy in Cyber-Physical Systems-of-Systems and its Application", Journal of Software: Evolution & Process. 2020. [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]
  • Conference H. Maqsood, E. Guerra, X. Wang and A. Bondavalli. "Teams AND Up-Front Testing for Development of Safety-Critical Systems with Agile". 20th Conference on Pattern Languages of Programs (PLoP) USA. 2020. [More]
  • Conference H. Maqsood, E. M. Guerra, X. Wang and A. Bondavalli. "Patterns for Development of Safety-Critical Systems with Agile: Trace Safety Requirements and Perform Automated Testing". European Conference on Pattern Languages of Programs -Euro Plop. 2020. [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]
  • Other L. Calvaresi. "Tecnologie Blockchain e Proof of Concept usando blockchain cloud as a service". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2020.. 2020. . [More]
Results 1 - 25 of 521
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web