Stefano Marrone
Stefano Marrone
Associate professor in Computer Science, 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
Chatbots Meet eHealth: Automatizing Healthcare.
F Amato, S Marrone, V Moscato, G Piantadosi, A Picariello, C Sansone
WAIAH@ AI* IA, 40-49, 2017
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
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
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
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
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
Formal security assessment of Modbus protocol
R Nardone, RJ Rodríguez, S Marrone
2016 11th International Conference for Internet Technology and Secured …, 2016
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
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
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
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
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
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
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
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
Comprehensive computer‐aided diagnosis for breast T1‐weighted DCE‐MRI through quantitative dynamical features and spatio‐temporal local binary patterns
G Piantadosi, S Marrone, R Fusco, M Sansone, C Sansone
IET Computer Vision 12 (7), 1007-1017, 2018
The system can't perform the operation now. Try again later.
Articles 1–20