| 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 | 150 | 2019 |
| 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 | 112 | 2018 |
| 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 | 86 | 2020 |
| 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 | 71 | 2013 |
| 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 | 63 | 2021 |
| 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 | 56 | 2021 |
| 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 | 54 | 2013 |
| Formal security assessment of Modbus protocol R Nardone, RJ Rodríguez, S Marrone 2016 11th International conference for internet technology and secured …, 2016 | 47 | 2016 |
| 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 | 47 | 2015 |
| Securing mqtt by blockchain-based otp authentication F Buccafurri, V De Angelis, R Nardone Sensors 20 (7), 2002, 2020 | 41 | 2020 |
| 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 | 33 | 2014 |
| 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 | 31 | 2020 |
| 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 | 29 | 2021 |
| 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 | 29 | 2013 |
| 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 | 22 | 2019 |
| 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 | 22 | 2017 |
| 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 | 22 | 2016 |
| Automatic resource allocation for high availability cloud services S Marrone, R Nardone Procedia Computer Science 52, 980-987, 2015 | 22 | 2015 |
| 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 | 22 | 2015 |
| 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 | 20 | 2021 |
Stefano MarroneAssociate professor in Computer Science, Università della Campania "Luigi Vanvitelli"在 unicampania.it 的电子邮件经过验证
