Login



Publications

 

Year: 2018

  • 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]
  • Conference M. Gharib, P. Lollini, M. Botta, E. Amparore, S. Donatelli and A. Bondavalli. "On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper". 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). 2018. pp. 271-274. [More]
  • Conference M. Gharib, L. D. da Silva, H. Kavalionak and A. Ceccarelli. "A Model-based Approach for Analyzing the Autonomy Levels for Cyber-Physical Systems-of-Systems". Eighth Latin-American Symposium on Dependable Computing (LADC). 2018. [More]
  • Journal M. D'Arco, A. Renga, A. Ceccarelli, F. Brancati and A. Bondavalli. "Enhancing workers safety in worksites through augmented GNSS sensors", Measurement, Vol. 117. 2018, pp. 144 - 152. [More]
  • PhD Thesis T. Zoppi. "Towards Effective Anomaly Detection in Complex Dynamic Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Matematica, Informatica, Statistica (XXX ciclo). 2018. Supervisors: Andrea Bondavalli, Andrea Ceccarelli. [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, pp. e1878. [More]

Year: 2017

  • Conference M. Gharib, P. Giorgini and J. Mylopoulos. "Towards an Ontology for Privacy Requirements via a Systematic Literature Review". The 36th International Conference on Conceptual Modeling. 2017. [More]
  • Conference M. Gharib, P. Lollini, A. Ceccarelli and A. Bondavalli. "Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach". The 12th International Conference on Critical Information Infrastructures Security (CRITIS). 2017. [More]
  • Conference L. Montecchi and B. Gallina. "SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems". Model-Based Safety and Assessment. IMBSA 2017. 2017. pp. 129-144. [More]
  • Conference E. Schiavone, A. Ceccarelli and A. Bondavalli. "Continuous Biometric Verification for Non-Repudiation of Remote Services". ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security. 2017. [More]
  • Conference L. Montecchi, P. Lollini and A. Ceccarelli. "Assessing the Impact of Cascading Failures in Urban Electricity Networks". 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData). 2017. pp. 324-329. [More]
  • Conference M. Gharib, P. Lollini and A. Bondavalli. "Towards an Approach for Analyzing Trust in Cyber-Physical-Social Systems". The12th System of Systems Engineering Conference (SoSE'17). 2017. pp. 1-6. [More]
  • Conference M. Gharib, P. Lollini and A. Bondavalli. "A Conceptual Model for Analyzing Information Quality in System-of-Systems". The12th System of Systems Engineering Conference (SoSE'17). 2017. pp. 1-6. [More]
  • Conference T. Zoppi, S. Bessler, A. Ceccarelli, E. Lambert, E. T. Lau and A. Vasenev. "A Modeling Framework to Support Resilient Evolution Planning of Smart Grids". 2nd SmartGIFT Conference. Springer ed. 2017. pp. 10. [More]
  • Conference T. Zoppi, A. Ceccarelli and M. Mori. "A Tool for Evolutionary Threat Analysis of Smart Grids". 2nd SmartGIFT Conference. Springer ed. 2017. pp. 6. [More]
  • Conference E. Schiavone. "Securing Critical Systems through Continuous User Authentication and Non-repudiation". Proceedings of the 24th PhD Mini-Symposium of the Department of Measurement and Information Systems, Budapest University of Technology and Economics. 2017. pp. 70-73. [More]
Results 51 - 75 of 491
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web