Login



Publications

 

Year: 2019

  • Journal A. Ceccarelli et al. "The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11699 LNCS. 2019, pp. 185-197. [More]
  • Conference L. Leal, A. Ceccarelli and E. Martins. "The SAMBA approach for self-adaptive model-based online testing of services orchestrations". 2019. pp. 495-500. [More]
  • Conference A. Ceccarelli, A. Cioni, M. V. Garzelli, L. Piergiulio and R. Laura. "Towards enhanced databases for High Energy Physics". Proceedings of Science. 2019. pp. 0-0. [More]
  • Conference D. Bertieri, T. Zoppi, I. Mungiello, A. Ceccarelli, M. Barbareschi and A. Bondavalli. "Implementation, Verification and Validation of a Safe and Secure Communication Protocol for the Railway Domain". 9TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING. 2019. [More]
  • Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "Evaluation of Anomaly Detection algorithms made easy with RELOAD". International Sympoosium on Software Reliability Engineering (ISSRE 2019). 2019. [More]
  • Journal T. Zoppi, A. Ceccarelli and A. Bondavalli. "MADneSs: a Multi-layer Anomaly Detection Framework for Complex Dynamic Systems", IEEE Transactions on Dependable and Secure computing. 2019. [More]
  • Conference . Falcao et al.. "Quantitative comparison of unsupervised anomaly detection algorithms for intrusion detection". Symposium on Applied Computing (SAC19) - DADS Track. 2019. [More]
  • Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "An Initial Investigation on Sliding Windows for Anomaly-Based Intrusion Detection". IEEE World Congress on Services. C. C. K. et al eds. 2019. [More]
  • Conference M. Gharib, P. Lollini, A. Ceccarelli and A. Bondavalli. "Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach". IEEE 19th International Symposium on High Assurance Systems Engineering (HASE). 2019. [More]
  • PhD Thesis E. Schiavone. "Design and Evaluation of Multi-Biometric Approaches for Continuous Authentication and Non-Repudiation in Critical Services". Ph.D. thesis. 2019. [More]
  • Journal E. Schiavone, A. Ceccarelli, A. Carvalho and A. Bondavalli. "Design, implementation, and assessment of a usable multi-biometric continuous authentication system", International Journal of Critical Computer-Based Systems, Vol. 9. 2019, pp. 215-247. [More]

Year: 2018

  • Conference G. Morganti, E. Schiavone and A. Bondavalli. "Risk Assessment of Blockchain Technology". LADC 2018, 8th Latin-American Symposium on Dependable Computing. I. 2018 ed. 2018. pp. 87-96. [More]
  • Conference M. Staderini, E. Schiavone and A. Bondavalli. "A Requirements-Driven Methodology for the Proper Selection and Configuration of Blockchains". 2018 IEEE 37th International Symposium on Reliable Distributed Systems. IEEE ed. 2018. pp. 201-206. [More]
  • Technical Report L. Montecchi, P. Lollini and A. Bondavalli. "Stochastic Activity Networks Templates". Resilient Computing Lab. Technical Report RCL180401. 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]
  • Master's Thesis D. Bertieri. "Sviluppo Di Un Protocollo Di Comunicazione Sicuro In Ambiente Ferroviario". Master's thesis. 2018. Supervisors: Tommaso Zoppi, Andrea Bondavalli. [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]
  • Journal A. Ceccarelli et al. "Threat analysis in systems-of-systems: An emergence-oriented approach", ACM Transactions on Cyber-Physical Systems, Vol. 3. 2018. [More]
  • Journal M. Mori, A. Ceccarelli, P. Lollini, B. Frömel, F. Brancati and A. Bondavalli. "Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile", Journal of Software: Evolution and Process, Vol. 30. 2018. [More]
  • Journal T. Zoppi et al. "Labelling relevant events to support the crisis management operator", Journal of Software: Evolution and Process. 2018. [More]
  • Conference T. Zoppi, A. Ceccarelli and A. Bondavalli. "On algorithms selection for unsupervised anomaly detection". Pacific Rimm Dependable computing Conference (PRDC18). 2018. [More]
Results 26 - 50 of 482
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web