Ikuti
Roberto Nardone
Judul
Dikutip oleh
Dikutip oleh
Tahun
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
1802019
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
1192018
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
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
712021
Formal security assessment of Modbus protocol
R Nardone, RJ Rodríguez, S Marrone
2016 11th International conference for internet technology and secured …, 2016
562016
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
562013
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
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
382020
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
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
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
252021
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
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
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
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
232015
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20