Segueix
Stefano Marrone
Stefano Marrone
Associate professor in Computer Science, Università della Campania "Luigi Vanvitelli"
Correu electrònic verificat a unicampania.it
Títol
Citada per
Citada per
Any
Towards railway virtual coupling
F Flammini, S Marrone, R Nardone, A Petrillo, S Santini, V Vittorini
2018 IEEE International Conference on Electrical Systems for Aircraft …, 2018
1012018
Vulnerability modeling and analysis for critical infrastructure protection applications
S Marrone, R Nardone, A Tedesco, P D'Amore, V Vittorini, R Setola, ...
International Journal of critical infrastructure protection 6 (3-4), 217-227, 2013
702013
Enabling the usage of UML in the verification of railway systems: the DAM-rail approach
S Bernardi, F Flammini, S Marrone, N Mazzocca, J Merseguer, R Nardone, ...
Reliability Engineering & System Safety 120, 112-126, 2013
542013
Modelling system reliability aspects of ERTMS/ETCS by fault trees and Bayesian networks
F Flammini, S Marrone, N Mazzocca, V Vittorini
Proc. European Safety and Reliability Conference, ESREL, 2675-2683, 2006
522006
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance
F Flammini, S Marrone, N Mazzocca, V Vittorini
Reliability Engineering & System Safety 94 (9), 1422-1432, 2009
492009
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems
S Marrone, RJ Rodríguez, R Nardone, F Flammini, V Vittorini
Computers & electrical engineering 47, 275-285, 2015
472015
Formal security assessment of Modbus protocol
R Nardone, RJ Rodríguez, S Marrone
2016 11th International conference for internet technology and secured …, 2016
442016
Model-driven availability evaluation of railway control systems
S Bernardi, F Flammini, S Marrone, J Merseguer, C Papa, V Vittorini
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
432011
Exploiting Bayesian networks for the analysis of combined attack trees
M Gribaudo, M Iacono, S Marrone
Electronic Notes in Theoretical Computer Science 310, 91-111, 2015
402015
Using repairable fault trees for the evaluation of design choices for critical repairable systems
F Flammini, N Mazzocca, M Iacono, S Marrone
Ninth IEEE International Symposium on High-Assurance Systems Engineering …, 2005
352005
Compositional modeling of complex systems: contact center scenarios in OsMoSys
G Franceschinis, M Gribaudo, M Iacono, S Marrone, N Mazzocca, ...
Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004
342004
Towards model-driven V&V assessment of railway control systems
S Marrone, F Flammini, N Mazzocca, R Nardone, V Vittorini
International Journal on Software Tools for Technology Transfer 16, 669-683, 2014
332014
A multiformalism modular approach to ERTMS/ETCS failure modeling
F Flammini, S Marrone, M Iacono, N Mazzocca, V Vittorini
International Journal of Reliability, Quality and Safety Engineering 21 (01 …, 2014
332014
Interfaces and binding in component based development of formal models
G Franceschinis, M Gribaudo, M Iacono, S Marrone, F Moscato, V Vittorini
Proceedings of the Fourth International ICST Conference on Performance …, 2009
332009
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications
M D'Arienzo, M Iacono, S Marrone, R Nardone
2013 27th International Conference on Advanced Information Networking and …, 2013
302013
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study
F Flammini, S Marrone, R Nardone, M Caporuscio, M D’Angelo
Future Generation Computer Systems 112, 965-981, 2020
282020
Security modelling and formal verification of survivability properties: Application to cyber–physical systems
S Bernardi, U Gentile, S Marrone, J Merseguer, R Nardone
Journal of Systems and Software 171, 110746, 2021
262021
Adaptive monitoring of marine disasters with intelligent mobile sensor networks
M Iacono, E Romano, S Marrone
2010 IEEE Workshop on Environmental Energy and Structural Monitoring Systems …, 2010
262010
Performability modeling of exceptions-aware systems in multiformalism tools
E Barbierato, M Gribaudo, M Iacono, S Marrone
Analytical and Stochastic Modeling Techniques and Applications: 18th …, 2011
242011
A model-driven approach for vulnerability evaluation of modern physical protection systems
A Drago, S Marrone, N Mazzocca, R Nardone, A Tedesco, V Vittorini
Software & Systems Modeling 18, 523-556, 2019
222019
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20