Login



Publications

 

Year: 2021

  • 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]
  • 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 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]
  • 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]
Results 1 - 25 of 514
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web