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
572013
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
472013
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
Chatbots Meet eHealth: Automatizing Healthcare.
F Amato, S Marrone, V Moscato, G Piantadosi, A Picariello, C Sansone
WAIAH@ AI* IA, 40-49, 2017
422017
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
422009
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
382006
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
322015
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
312004
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
302018
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
302009
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
292015
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
Formal security assessment of Modbus protocol
R Nardone, RJ Rodríguez, S Marrone
2016 11th International Conference for Internet Technology and Secured …, 2016
272016
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
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
262014
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
262013
Machine learning applications in head and neck radiation oncology: lessons from open-source radiomics challenges
H Elhalawani, TA Lin, S Volpe, ASR Mohamed, AL White, J Zafereo, ...
Frontiers in oncology 8, 294, 2018
252018
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
242011
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
222014
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
The system can't perform the operation now. Try again later.
Articles 1–20