Stefano Marrone
Stefano Marrone
Assistant professor in Computer Engineering, Università della Campania "Luigi Vanvitelli"
Verified email at unicampania.it
Title
Cited by
Cited by
Year
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
492013
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
432013
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
432011
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
392009
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
362006
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
302004
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
282009
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
282005
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
262015
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
262014
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
252013
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
252011
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
242014
Exploiting Bayesian networks for the analysis of combined attack trees
M Gribaudo, M Iacono, S Marrone
232015
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
222010
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
192016
Chatbots Meet eHealth: Automatizing Healthcare.
F Amato, S Marrone, V Moscato, G Piantadosi, A Picariello, C Sansone
WAIAH@ AI* IA, 40-49, 2017
182017
Automatic resource allocation for high availability cloud services
S Marrone, R Nardone
Procedia Computer Science 52, 980-987, 2015
182015
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
172014
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
172014
The system can't perform the operation now. Try again later.
Articles 1–20