Login



Publications

Filter:
 

Year: 2015

  • 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]
  • Conference V. Bonfiglio, L. Montecchi, F. Rossi, P. Lollini, A. Pataricza and A. Bondavalli. "Executable Models to Support Automated Software FMEA". Proceedings of the IEEE 16th International Symposium on High Assurance Systems Engineering (HASE'15). 2015. pp. 189-196. [More]

Year: 2014

  • Conference N. Nostro, A. Bondavalli and N. Silva. "Adding Security Concerns to Safety Critical Certification". Software Reliability Engineering Workshops (ISSREW), 2014 IEEE International Symposium on. 2014. pp. 521-526. [More]
  • Conference M. A. Rossi, P. Lollini, A. Bondavalli, I. R. de Oliveira and J. R. de Almeida Junior. "A Safety Assessment on the Use of CPDLC in UAS Communication System". Proc. of the IEEE/AIAA 33rd IEEE Digital Avionics Systems Conference (DASC 2014). 2014. pp. 6B1-1 - 6B1-11. [More]
  • Journal N. Nostro, A. Ceccarelli, F. Brancati and A. Bondavalli. "Insider Threat Assessment: a Model-Based Methodology", SIGOPS Operating Systems Review (OSR) journal, Vol. 48, July, 2014, pp. 3-12. [More]
  • Master's Thesis T. Zoppi. "Metodologia, Ambiente di Test e Analisi dei Dati per lo Studio di Indicatori Middleware e di Sistema Finalizzata alla Rilevazione di Anomalie". Master's thesis. Università degli Studi di Firenze. Corso di Laurea Magistrale in Scienze e Tecnologie dell'Informazione. July 18th, 2014. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Ceccarelli. [More]
  • Conference L. Montecchi, P. Lollini and A. Bondavalli. "A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models". Proceedings of the 10th European Dependable Computing Conference (EDCC'14). 2014. pp. 82-93. [More]
  • PhD Thesis L. Montecchi. "A Methodology and Framework for Model-Driven Dependability Analysis of Critical Embedded Systems and Directions Towards Systems of Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica, Sistemi e Telecomunicazioni (XXVI ciclo). March 25th, 2014. Supervisor(s): A. Bondavalli. [More]
  • proceedings A. Bondavalli, A. Ceccarelli and F. Ortmeier. Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings. A. Bondavalli, A. Ceccarelli and F. Ortmeier eds. Springer. 2014. [More]
  • Conference A. Bondavalli, A. Ceccarelli, F. Brancati, D. Santoro and M. Vadursi. "Anomaly detection in sistemi complessi mediante monitoraggio di variabili di sistema operativo". XXXI Congresso Nazionale dell'AssociazioneGruppo Misure Elettriche ed Elettroniche. 2014. [More]
  • proceedings A. Bondavalli and F. Di Giandomenico. Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings. A. Bondavalli, F. D. Gi and Omenico eds. Springer. 2014. [More]
  • Journal F. Di Giandomenico, M. L. Itria, P. Masci and N. Nostro. "Automated synthesis of dependable mediators for heterogeneous interoperable systems", Reliability Engineering & System Safety, Vol. 132. 2014, pp. 220 - 232. [More]
  • Book Chapter F. Duchi, N. Antunes, A. Ceccarelli, G. Vella, F. Rossi and A. Bondavalli. "Cost-Effective Testing for Critical Off-the-Shelf Services". In A. Bondavalli, A. Ceccarelli and F. Ortmeier (eds), Computer Safety, Reliability, and Security - Workshop. Springer International Publishing. 2014. pp. 231-242. [More]
  • Book Chapter N. Nostro, I. Matteucci, A. Ceccarelli, F. Di Giandomenico, F. Martinelli and A. Bondavalli. "On Security Countermeasures Ranking through Threat Analysis". In A. Bondavalli, A. Ceccarelli and F. Ortmeier (eds), Computer Safety, Reliability, and Security - Workshop. Springer International Publishing. 2014. pp. 243-254. [More]
Results 51 - 75 of 411
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web