Stefano Marrone

Cited by

	All	Since 2018
Citations	1506	911
h-index	22	16
i10-index	51	32

260

130

195

200420052006200720082009201020112012201320142015201620172018201920202021202220234 5 8 8 15 25 26 35 72 89 91 99 91 87 103 127 178 167 245

Public access

View all

16 articles

9 articles

available

not available

Based on funding mandates

Co-authors

Roberto NardoneDepartment of Engineering, University of Naples "Parthenope"Verified email at uniparthenope.it
nicola mazzoccaUniversità di Napoli Federico IIVerified email at unina.it
Mauro IaconoUniversità degli Studi della Campania "L. Vanvitelli", Dipartimento di Matematica e FisicaVerified email at unicampania.it
Ugo GentileNestlé ResearchVerified email at rd.nestle.com
Simona BernardiDepartment of Computer Science and System Engineering, University of Zaragoza (Spain)Verified email at unizar.es
Jose MerseguerUniversidad de ZaragozaVerified email at unizar.es
Massimo BenerecettiProfessore di Informatica, Università di Napoli "Federico II"Verified email at unina.it
Francesco MoscatoUniversità degli Studi di SalernoVerified email at unisa.it
Ricardo J. RodríguezUniversity of Zaragoza (Spain)Verified email at unizar.es
Maurizio D'ArienzoUniversità della Campania "L. Vanvitelli"Verified email at unicampania.it
Beniamino Di MartinoUniversità della Campania "Luigi Vanvitelli" - Seconda Università di Napoli - Dip. IngegneriaVerified email at unina.it
Roberto SetolaUniversity Campus Bio-Medico of Rome ItalyVerified email at unicampus.it
Valentina CasolaDipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione, University of Naples Federico IVerified email at unina.it
Giusy Di LorenzoPWCVerified email at it.pwc.com
Anna Rita FasolinoAssociate Professor, University of Naples Federico IIVerified email at unina.it
Domenico AmalfitanoUniversity of NaplesVerified email at unina.it
Salvatore VenticinqueAssociate Professor, University of Campania "Luigi Vanvitelli"Verified email at unicampania.it
Simon Pietro RomanoUniversity of Napoli Federico IIVerified email at unina.it
Flora AmatoUniversità degli Studi di Napoli Federico IIVerified email at unina.it
Elvira RomanoProfessore Associato, Università della Campania Luigi Vanvitelli

Stefano Marrone

Associate professor in Computer Science, Università della Campania "Luigi Vanvitelli"

Verified email at unicampania.it

Dependability Evaluation Formal Methods Model Driven Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	90	2018
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	69	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	52	2013
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	50	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	50	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	45	2015
Formal security assessment of Modbus protocol R Nardone, RJ Rodríguez, S Marrone 2016 11th International conference for internet technology and secured …, 2016	44	2016
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	43	2011
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	39	2015
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	35	2005
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	34	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	33	2009
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	32	2014
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	31	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	31	2013
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	26	2010
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	24	2011
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	22	2021
Dynamic state machines for modelling railway control systems M Benerecetti, R De Guglielmo, U Gentile, S Marrone, N Mazzocca, ... Science of Computer Programming 133, 116-153, 2017	22	2017
Modeling railway control systems in Promela R Nardone, U Gentile, M Benerecetti, A Peron, V Vittorini, S Marrone, ... Formal Techniques for Safety-Critical Systems: 4th International Workshop …, 2016	22	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors