دنبال کردن
Roberto Nardone
Roberto Nardone
Department of Engineering, University of Naples "Parthenope"
ایمیل تأیید شده در uniparthenope.it
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
1822019
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‏
1212018
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‏
1172020
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‏
932021
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‏
732021
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
Formal security assessment of Modbus protocol‏
R Nardone, RJ Rodríguez, S Marrone‏
2016 11th International conference for internet technology and secured …, 2016‏
582016
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‏
542013
Securing mqtt by blockchain-based otp authentication‏
F Buccafurri, V De Angelis, R Nardone‏
Sensors 20 (7), 2002, 2020‏
522020
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‏
502015
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‏
372020
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‏
342021
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‏
292013
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‏
262022
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‏
262021
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
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‏
242016
Low-power wide-area networks in intelligent transportation: Review and opportunities for smart-railways‏
R Dirnfeld, F Flammini, S Marrone, R Nardone, V Vittorini‏
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020‏
232020
Automatic resource allocation for high availability cloud services‏
S Marrone, R Nardone‏
Procedia Computer Science 52, 980-987, 2015‏
232015
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20