Nicola Nostro

Position: Alumni (Former Members) Nostro, Nicola

Nicola Nostro received the master degree in Computer Science from the University of Florence (Italy), in October 2010. From November 2010 to December 2011 he was owner of two research grants at Istituto di Scienza e Tecnologie dell'Informazione - Consiglio Nazionale delle Ricerche (CNR) in Pisa (Italy). His research was done in the context of the European Project CONNECT "Emergent Connectors for Eternal Software Intensive Networked Systems".

He received is Ph.D. in Computer Science and Applications at the University of Florence, in March 2015, with a thesis titles "Model-Based Approaches To Dependability And Security Assessment in Critical and Dynamic Systems".
His research interest focus on: automatic approaches for model-based analysis of dependability in complex and evolvable systems; methods and techniques for quantitative analysis of dependability; interdependencies modeling and analysis in critical infrastructures; fault tolerance techniques.

Currently he is RAMS engineer at Resiltech, which is a company operating in the field of critical systems.

Recent Publications

  • Book Chapter M. R. Baptista, N. Silva, T. Zoppi, N. Nostro and A. Ceccarelli. "STECA – Security Threats, Effects and Criticality Analysis: Definition and Application to Smart Grids". In A. Bondavalli and F. Brancati (eds), Certifications of Critical Systems - The CECRIS Experience. River Publisher. 2017. pp. 167-182. [More] 
  • Journal N. R. Veeraragavan, L. Montecchi, N. Nostro, R. Vitenberg, H. Meling and A. Bondavalli. "Modeling QoE in Dependable Tele-immersive Applications: A Case Study of World Opera", IEEE Transactions on Parallel and Distributed Systems (IEEE TPDS), Vol. 27, September, 2016, pp. 2667-2681. [More] 
  • Journal N. Nostro, R. Spalazzese, F. Di Giandomenico and P. Inverardi. "Achieving functional and non functional interoperability through synthesized connectors", Journal of Systems and Software, Vol. 111, January, 2016, pp. 185 - 199. [More] 
  • Conference N. Nostro, D. Iacono, A. Ceccarelli and A. Bondavalli. "Towards Failure and Intrusion Detection in Systems of Systems: Challenges and an Approach". ISORC-SORT 2016. 2016. [More] 
  • Conference N. Nostro et al.. "A Multi-Criteria Ranking of Security Countermeasures". Proceedings of the 31st Annual ACM Symposium on Applied Computing. 2016. pp. 530-533. [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] 
  • 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] 
  • 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] 
  • 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] 
  • 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] 
  • 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 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] 
  • Book Chapter A. Bertolino, A. Calabrò, F. Di Giandomenico, N. Nostro, P. Inverardi and R. Spalazzese. "On-the-Fly Dependable Mediation between Heterogeneous Networked Systems". In Escalona, M. José, Cordeiro, José, Shishkov and Boris (eds), Communications in Computer and Information Science. Springer Berlin Heidelberg. 2013. pp. 20-37. [More] 
  • Journal F. Di Giandomenico, A. Bertolino, A. Calabrò and N. Nostro. "An approach to adaptive dependability assessment in dynamic and evolving connected systems", International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS), Vol. Volume 4, March, 2013, pp. 1-25. [More] 
  • Conference N. R. Veeraragavan, L. Montecchi, N. Nostro, A. Bondavalli, R. Vitenberg and H. Meling. "Understanding the Quality of Experience in Modern Distributed Interactive Multimedia Applications in Presence of Failures: Metrics and Analysis". 28th ACM Symposium On Applied Computing (SAC 2013) - Track on Dependable and Adaptive Distributed Systems (DADS). 2013. pp. 439-446. [More] 
  • Journal S. Chiaradonna, F. Di Giandomenico and N. Nostro. "Stochastic assessment of power systems in presence of heterogeneity", International Journal of Critical Computer-Based Systems, Vol. 4. 2013, pp. 326-348. [More] 
  • Conference N. Nostro, A. Ceccarelli, A. Bondavalli and F. Brancati. "A methodology and supporting techniques for the quantitative assessment of insider threats". Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing. 2013. pp. 3. [More] 
  • Conference S. Chiaradonna, F. Di Giandomenico and N. Nostro. "Analysis of Electric Power Systems accounting for interdependencies in heterogeneous scenarios". EDCC. C. Constantinescu and M. P. Correia eds. 2012. pp. 84-93. [More] 
  • Conference S. Chiaradonna, F. Di Giandomenico and N. Nostro. "Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics". SAFECOMP Workshops. 2012. pp. 328-339. [More] 
  • Conference S. Chiaradonna, F. Di Giandomenico and N. Nostro. "Modeling and Analysis of the Impact of Failures in Electric Power SystemsOrganized in Interconnected Regions". IEEE/IFIP 41st Int. Conf. on Dependable Systems and Networks (DSN 2011). 2011. pp. 442-453. [More] 
  • Book Chapter A. Bertolino, A. Calabrò, F. Di Giandomenico and N. Nostro. "Dependability and Performance Assessment of Dynamic CONNECTed Systems". In M. Bernardo and V. Issarny (eds), Formal Methods for Eternal Networked Software Systems. Springer. 2011. pp. 350 - 392. [More] 
  • Conference P. Masci, N. Nostro and F. Di Giandomenico. "On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis". Proc. Third International Workshop, SERENE 2011. 2011. pp. 78 - 92. [More] 
  • Master's Thesis N. Nostro. "Modellazione e Analisi della Dependability in Sistemi Elettrici Strutturati in Regioni Interconnesse". Master's thesis. Università degli Studi di Firenze. Corso di Laurea in Scienze e Tecnologie dell'Informazione. October 27th, 2010. Supervisor(s): Silvano Chiaradonna, Co-Supervisor(s): Felicita Di Giandomenico. [More] 

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web