Insider threat assessment: A model-based methodology N Nostro, A Ceccarelli, A Bondavalli, F Brancati ACM SIGOPS Operating Systems Review 48 (2), 3-12, 2014 | 39 | 2014 |
Model-based evaluation of scalability and security tradeoffs: A case study on a multi-service platform L Montecchi, N Nostro, A Ceccarelli, G Vella, A Caruso, A Bondavalli Electronic Notes in Theoretical Computer Science 310, 113-133, 2015 | 21 | 2015 |
A methodology and supporting techniques for the quantitative assessment of insider threats N Nostro, A Ceccarelli, A Bondavalli, F Brancati Proceedings of the 2nd International Workshop on Dependability Issues in …, 2013 | 21 | 2013 |
Adding security concerns to safety critical certification N Nostro, A Bondavalli, N Silva 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 16 | 2014 |
Achieving functional and non functional interoperability through synthesized connectors N Nostro, R Spalazzese, F Di Giandomenico, P Inverardi Journal of Systems and Software 111, 185-199, 2016 | 14 | 2016 |
Dependability and performance assessment of dynamic connected systems A Bertolino, A Calabro, FD Giandomenico, N Nostro International School on Formal Methods for the Design of Computer …, 2011 | 13 | 2011 |
On-the-fly dependable mediation between heterogeneous networked systems A Bertolino, A Calabrò, FD Giandomenico, N Nostro, P Inverardi, ... International Conference on Software and Data Technologies, 20-37, 2011 | 12 | 2011 |
Modeling QoE in dependable tele-immersive applications: A case study of world opera NR Veeraragavan, L Montecchi, N Nostro, R Vitenberg, H Meling, ... IEEE Transactions on Parallel and Distributed Systems 27 (9), 2667-2681, 2015 | 11 | 2015 |
On enabling dependability assurance in heterogeneous networks through automated model-based analysis P Masci, N Nostro, FD Giandomenico International Workshop on Software Engineering for Resilient Systems, 78-92, 2011 | 7 | 2011 |
Modeling and analysis of the impact of failures in electric power systems organized in interconnected regions S Chiaradonna, F Di Giandomenico, N Nostro 2011 IEEE/IFIP 41st International Conference on Dependable Systems …, 2011 | 7 | 2011 |
On security countermeasures ranking through threat analysis N Nostro, I Matteucci, A Ceccarelli, FD Giandomenico, F Martinelli, ... International Conference on Computer Safety, Reliability, and Security, 243-254, 2014 | 6 | 2014 |
Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: Metrics and analysis NR Veeraragavan, L Montecchi, N Nostro, A Bondavalli, R Vitenberg, ... Proceedings of the 28th Annual ACM Symposium on Applied Computing, 439-446, 2013 | 6 | 2013 |
Automated synthesis of dependable mediators for heterogeneous interoperable systems F Di Giandomenico, ML Itria, P Masci, N Nostro Reliability Engineering & System Safety 132, 220-232, 2014 | 4 | 2014 |
Stochastic activity networks model for the evaluation of the world opera system L Montecchi, N Nostro, NR Veeraragavan, R Vitenberg, H Meling, ... | 3 | 2015 |
Stochastic assessment of power systems in presence of heterogeneity S Chiaradonna, F Di Giandomenico, N Nostro International Journal of Critical Computer-Based Systems 4 (4), 326-348, 2013 | 3 | 2013 |
An approach to adaptive dependability assessment in dynamic and evolving connected systems F Di Giandomenico, A Bertolino, A Calabrò, N Nostro International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS …, 2013 | 3 | 2013 |
Analysis of Electric Power Systems accounting for interdependencies in heterogeneous scenarios S Chiaradonna, F Di Giandomenico, Nostro 2012 Ninth European Dependable Computing Conference (EDCC 2012), Sibiu …, 2012 | 3 | 2012 |
Resilient access to heterogeneous measurement data for grid observability N Nostro, K Shahid, A Bondavalli, HP Schwefel 2019 15th European Dependable Computing Conference (EDCC), 180-182, 2019 | 2 | 2019 |
Revised CONNECT Architecture E Andriescu, A Bennaceur, GS Blair, A Calabro, RS Cardoso, L Cavallaro, ... | 2 | 2012 |
The SISTER approach for verification and validation: a lightweight process for reusable results A Ceccarelli, D Basile, A Bondavalli, L Falai, A Fantechi, S Ferrari, ... International Conference on Computer Safety, Reliability, and Security, 185-197, 2019 | 1 | 2019 |