Roberto Nardone
Roberto Nardone
Dipartimento di Ingegneria dell'Informazione, delle Infrastrutture e dell'Energia Sostenibile
Verified email at unirc.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
442013
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
392013
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
242013
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
232014
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
212015
Automatic resource allocation for high availability cloud services
S Marrone, R Nardone
Procedia Computer Science 52, 980-987, 2015
182015
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
172016
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
Modeling railway control systems in Promela
R Nardone, U Gentile, M Benerecetti, A Peron, V Vittorini, S Marrone, ...
International Workshop on Formal Techniques for Safety-Critical Systems, 121-136, 2015
142015
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
142014
A simulation framework for supporting design and real-time decisional phases in railway systems
E Quaglietta, L D'Acierno, V Punzo, R Nardone, N Mazzocca
2011 14th International IEEE Conference on Intelligent Transportation …, 2011
142011
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
132017
An interoperable testing environment for ERTMS/ETCS control systems
G Barberio, B Di Martino, N Mazzocca, L Velardi, A Amato, ...
International Conference on Computer Safety, Reliability, and Security, 147-156, 2014
132014
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation
D Amalfitano, N Amatucci, AR Fasolino, U Gentile, G Mele, R Nardone, ...
Proceedings of the 2014 international workshop on Long-term industrial …, 2014
122014
Model-driven V&V processes for computer based control systems: A unifying perspective
F Flammini, S Marrone, N Mazzocca, R Nardone, V Vittorini
International Symposium On Leveraging Applications of Formal Methods …, 2012
122012
An integrated approach for availability and QoS evaluation in railway systems
A Mazzeo, N Mazzocca, R Nardone, L D’Acierno, B Montella, V Punzo, ...
International Conference on Computer Safety, Reliability, and Security, 171-184, 2011
122011
Formal security assessment of Modbus protocol
R Nardone, RJ Rodrķguez, S Marrone
2016 11th International Conference for Internet Technology and Secured …, 2016
112016
Test specification patterns for automatic generation of test sequences
U Gentile, S Marrone, G Mele, R Nardone, A Peron
International Workshop on Formal Methods for Industrial Critical Systems …, 2014
82014
Petri net based evaluation of energy consumption in wireless sensor nodes
M D'Arienzo, M Iacono, S Marrone, R Nardone
Journal of High Speed Networks 19 (4), 339-358, 2013
82013
Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’decision fusion mechanisms in multi-sensor applications
F Flammini, S Marrone, N Mazzocca, R Nardone, V Vittorini
IFAC-PapersOnLine 48 (21), 682-687, 2015
72015
The system can't perform the operation now. Try again later.
Articles 1–20