Login



Publications

 

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. pp. 21-24. [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. [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]
  • Other B. S. Coulibaly. "Investigazione e utilizzo di strumenti per l’estrazione automatica di keywords da (abstract di) articoli scientifici,". 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]
  • Journal A. Ceccarelli, M. Cinque, C. Esposito, L. Foschini, C. Giannelli and P. Lollini. "FUSION—Fog Computing and Blockchain for Trusted Industrial Internet of Things", IEEE Transactions on Engineering Management. 2020, pp. 1-15. [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]
  • Journal T. Zoppi, A. Ceccarelli, L. Salani and A. Bondavalli. "On the educated selection of unsupervised algorithms via attacks and anomaly classes", Journal of Information Security and Applications, Vol. 52. 2020, pp. 102474. [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]
  • 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]
  • 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]
Results 1 - 25 of 498
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web