Follow
Roberto Nardone
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
672013
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
512018
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
512013
ERTMS/ETCS virtual coupling: proof of concept and numerical analysis
C Di Meo, M Di Vaio, F Flammini, R Nardone, S Santini, V Vittorini
IEEE transactions on intelligent transportation systems 21 (6), 2545-2556, 2019
492019
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
392015
Formal security assessment of Modbus protocol
R Nardone, RJ Rodríguez, S Marrone
2016 11th International Conference for Internet Technology and Secured …, 2016
332016
Software verification and validation of safe autonomous cars: A systematic literature review
N Rajabli, F Flammini, R Nardone, V Vittorini
IEEE Access 9, 4797-4819, 2020
312020
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
302014
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
272013
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
222015
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
Automatic resource allocation for high availability cloud services
S Marrone, R Nardone
Procedia Computer Science 52, 980-987, 2015
212015
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
202016
A model-driven approach for vulnerability evaluation of modern physical protection systems
A Drago, S Marrone, N Mazzocca, R Nardone, A Tedesco, V Vittorini
Software & Systems Modeling 18 (1), 523-556, 2019
192019
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
192017
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
192011
An interoperable testing environment for ertms/etcs control systems
G Barberio, BD Martino, N Mazzocca, L Velardi, A Amato, RD Guglielmo, ...
International Conference on Computer Safety, Reliability, and Security, 147-156, 2014
182014
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
182014
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
162012
Securing MQTT by blockchain-based otp authentication
F Buccafurri, V De Angelis, R Nardone
Sensors 20 (7), 2002, 2020
142020
The system can't perform the operation now. Try again later.
Articles 1–20