Follow
Roberto Nardone
Title
Cited by
Cited by
Year
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
1752019
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
1172018
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
1072020
Artificial intelligence in railway transport: Taxonomy, regulations, and applications
N Bešinović, L De Donato, F Flammini, RMP Goverde, Z Lin, R Liu, ...
IEEE Transactions on Intelligent Transportation Systems 23 (9), 14011-14024, 2021
822021
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
722013
Can-bus attack detection with deep learning
F Amato, L Coppolino, F Mercaldo, F Moscato, R Nardone, A Santone
IEEE Transactions on Intelligent Transportation Systems 22 (8), 5081-5090, 2021
682021
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
552013
Formal security assessment of Modbus protocol
R Nardone, RJ Rodríguez, S Marrone
2016 11th International conference for internet technology and secured …, 2016
522016
Securing mqtt by blockchain-based otp authentication
F Buccafurri, V De Angelis, R Nardone
Sensors 20 (7), 2002, 2020
482020
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
482015
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study
F Flammini, S Marrone, R Nardone, M Caporuscio, M D’Angelo
Future Generation Computer Systems 112, 965-981, 2020
352020
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
332021
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
332014
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
302013
A survey on audio-video based defect detection through deep learning in railway maintenance
L De Donato, F Flammini, S Marrone, C Mazzariello, R Nardone, ...
IEEE Access 10, 65376-65400, 2022
242022
Compositional modeling of railway virtual coupling with stochastic activity networks
F Flammini, S Marrone, R Nardone, V Vittorini
Formal Aspects of Computing 33, 989-1007, 2021
242021
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
242017
Dynamic state machines for formalizing railway control system specifications
R Nardone, U Gentile, A Peron, M Benerecetti, V Vittorini, S Marrone, ...
Formal Techniques for Safety-Critical Systems: Third International Workshop …, 2015
242015
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
232016
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, 523-556, 2019
222019
The system can't perform the operation now. Try again later.
Articles 1–20