Stefano Marrone
Stefano Marrone
Assistant professor in Computer Engineering, Università della Campania "Luigi Vanvitelli"
Verified email at
Cited by
Cited by
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
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
Model-driven availability evaluation of railway control systems
S Bernardi, F Flammini, S Marrone, J Merseguer, C Papa, V Vittorini
International Conference on Computer Safety, Reliability, and Security, 15-28, 2011
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
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
Compositional modeling of complex systems: contact center scenarios in OsMoSys
G Franceschinis, M Gribaudo, M Iacono, S Marrone, N Mazzocca, ...
International Conference on Application and Theory of Petri Nets, 177-196, 2004
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
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
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
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 (6), 669-683, 2014
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications
M DArienzo, M Iacono, S Marrone, R Nardone
2013 27th International Conference on Advanced Information Networking and …, 2013
Performability modeling of exceptions-aware systems in multiformalism tools
E Barbierato, M Gribaudo, M Iacono, S Marrone
International Conference on Analytical and Stochastic Modeling Techniques …, 2011
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
Exploiting Bayesian networks for the analysis of combined attack trees
M Gribaudo, M Iacono, S Marrone
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
Cost-energy modelling and profiling of smart domestic grids
U Gentile, S Marrone, N Mazzocca, R Nardone
International Journal of Grid and Utility Computing 7 (4), 257-271, 2016
Chatbots Meet eHealth: Automatizing Healthcare.
F Amato, S Marrone, V Moscato, G Piantadosi, A Picariello, C Sansone
WAIAH@ AI* IA, 40-49, 2017
Automatic resource allocation for high availability cloud services
S Marrone, R Nardone
Procedia Computer Science 52, 980-987, 2015
Dynamic state machines for formalizing railway control system specifications
R Nardone, U Gentile, A Peron, M Benerecetti, V Vittorini, S Marrone, ...
International Workshop on Formal Techniques for Safety-Critical Systems, 93-109, 2014
A petri net pattern-oriented approach for the design of physical protection systems
F Flammini, U Gentile, S Marrone, R Nardone, V Vittorini
International Conference on Computer Safety, Reliability, and Security, 230-245, 2014
The system can't perform the operation now. Try again later.
Articles 1–20