Login



Publications

Filter:
 

Year: 2016

  • Book Chapter A. Ceccarelli, F. Brancati, B. Frömel and O. Höftberger. "Time and Resilient Master Clocks in Cyber-Physical Systems". In Bondavalli, Andrea, Bouchenak, Sara, Kopetz and Hermann (eds), . Cham : Springer International Publishing. 2016. pp. 165-185. [More]
  • Book Chapter S. Bouchenak et al.. "Managing Dynamicity in SoS". In Bondavalli, Andrea, Bouchenak, Sara, Kopetz and Hermann (eds), . Cham : Springer International Publishing. 2016. pp. 186-206. [More]
  • Conference N. Antunes, A. Carvalho, A. Ceccarelli and A. Zentai. "Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE)". DSN 2016. 2016. pp. 2. [More]

Year: 2015

  • Conference E. Schiavone, A. Ceccarelli and A. Bondavalli. "Continuous User Identity Verification for Trusted Operators in Control Rooms". Algorithms and Architectures for Parallel Processing - {ICA3PP} International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings. 2015. pp. 187-200. [More]
  • Technical Report L. Montecchi, N. Nostro, N. R. Veeraragavan, R. Vitenberg, H. Meling and A. Bondavalli. "Stochastic Activity Networks model for the evaluation of the World Opera system". University of Florence, RCL Group. Technical Report RCL131001. 2015. [More]
  • Conference M. A. Rossi, P. Lollini, A. Bondavalli, F. B. de Oliveira and M. Corrêa. "ZarzirBird Project: Modeling RPAS Dynamics for Load Stability". Proc. of the IEEE/AIAA 34th IEEE Digital Avionics Systems Conference (DASC 2015). 2015. [More]
  • Conference T. Zoppi, A. Bondavalli, A. Ceccarelli and M. Itria. "A Multi-Layer Anomaly Detector for Dynamic Service-Based Systems". Computer Safety, Reliability, and Security. 2015. pp. 166-180. [More]
  • Conference R. P. Azzolini, C. M. Rubira, L. P. Tizzei, F. N. Gaia and L. Montecchi. "Evolving a Software Products Line for E-commerce Systems: a Case Study". Proceedings of the Workshop on Variability for Qualities in Software Architecture (VAQUITA 2015). 2015. pp. 26:1-26:7. [More]
  • Conference F. Brancati et al.. "Cost Prediction for V&V and Certification Processes". Dependable Systems and Networks Workshops (DSN-W), 2015 IEEE International Conference on. 2015. pp. 57-62. [More]
  • Conference A. M. Carvalho, N. Antunes, A. Zentai and A. Ceccarelli. "Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE)". Dependable Systems and Networks (DSN), 2015 45th Annual IEEE/IFIP International Conference on. 2015. pp. 567-568. [More]
  • Conference T. Zoppi. "Multi-Layer Anomaly Detection in Complex Dynamic Critical Systems". In proceedings of Dependable Systems and Networks (DSN 2015) - Student Forum Session. 2015. [More]
  • Conference V. Bonfiglio, L. Montecchi, I. Irrera, F. Rossi, P. Lollini and A. Bondavalli. "Software Faults Emulation at Model-Level: Towards Automated Software FMEA". 1st Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015). 2015. pp. 133-140. [More]
  • Conference L. Montecchi, P. Lollini and A. Bondavalli. "Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System". International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE'15). 2015. pp. 33-38. [More]
  • Conference H. Kopetz, O. Höftberger, B. Frömel, F. Brancati and A. Bondavalli. "Towards an understanding of emergence in systems-of-systems". System of Systems Engineering Conference (SoSE), 2015 10th. 2015. pp. 214-219. [More]
  • Journal A. Bovenzi, F. Brancati, S. Russo and A. Bondavalli. "An OS-level Framework for Anomaly Detection in Complex Software Systems", IEEE Transactions on Dependable and Secure Computing, Vol. 12, May-June 1, 2015, pp. 366-372. [More]
  • Journal A. Ceccarelli, L. Montecchi, F. Brancati, P. Lollini, A. Marguglio and A. Bondavalli. "Continuous and Transparent User Identity Verification for Secure Internet Services", IEEE Transactions on Dependable and Secure Computing, Vol. 12, May-June, 2015, pp. 270-283. [More]
  • Master's Thesis E. Schiavone. "Autenticazione Continua Biometrica: Definizione e Prototipazione di una Soluzione per la Protezione di Ambienti Desktop". Master's thesis. Università degli Studi di Firenze. Corso di Laurea Magistrale in Informatica. April 17th, 2015. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Ceccarelli. [More]
  • Master's Thesis R. Bernini. "Integrazione di Formalismi Stocastici per L'Analisi e L'Ottimizzazione di Processi Industriali". Master's thesis. Università degli Studi di Firenze. Corso di Laurea Magistrale in Scienze e Tecnologie dell'Informazione. April 17th, 2015. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More]
  • PhD Thesis N. Nostro. "Model-Based Approaches To Dependability And Security Assessment in Critical and Dynamic Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica, Sistemi e Telecomunicazioni (XXVII ciclo). March 18th, 2015. Supervisors: Prof. Andrea Bondavalli, Dr. Felicita Di Giandomenico. [More]
  • Conference A. Ceccarelli, M. Mori, P. Lollini and A. Bondavalli. "Introducing Meta-Requirements for Describing System of Systems". High Assurance Systems Engineering (HASE), 2015 IEEE 16th International Symposium on. 2015. pp. 150-157. [More]
  • Journal L. Montecchi, N. Nostro, A. Ceccarelli, G. Vella, A. Caruso and A. Bondavalli. "Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform", Electronic Notes in Theoretical Computer Science, Vol. 310, January, 2015, pp. 113-133. [More]
  • Journal A. Ceccarelli and A. Bondavalli. "On trustworthy measurements when testing dependable systems: a discussion and experiences", International Journal of Critical Computer-Based Systems, Vol. 6. 2015, pp. 154-170. [More]
  • Other M. Buracchi. "Progettazione ed Implementazione di un Master Clock Sicuro ed Affidabile per Cyberphysical Systems of Systems". 2015. Università degli Studi di Firenze. Corso di Laurea in Informatica. October, 9th 2015. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Ceccarelli. [More]
  • Conference T. Basso, L. Montecchi, R. Moraes, M. Jino and A. Bondavalli. "Towards a UML Profile for Privacy-Aware Applications". The 15th IEEE International Conference on Computer and Information Technology (CIT-2015). 2015. pp. 371-378. [More]
  • Conference A. Ceccarelli and N. Silva. "Analysis of Companies Gaps in the Application of Standards for Safety-Critical Software". Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings. 2015. pp. 303-313. [More]
Results 51 - 75 of 424
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web