| 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 | 33 | 2021 |
| A novel association rule mining method for the identification of rare functional dependencies in complex technical infrastructures from alarm data F Antonello, P Baraldi, A Shokry, E Zio, U Gentile, L Serio Expert Systems with Applications 170, 114560, 2021 | 26 | 2021 |
| 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 | 24 | 2017 |
| 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 | 24 | 2015 |
| 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 | 23 | 2016 |
| 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 | 21 | 2016 |
| Association rules extraction for the identification of functional dependencies in complex technical infrastructures F Antonello, P Baraldi, A Shokry, E Zio, U Gentile, L Serio Reliability Engineering & System Safety 209, 107305, 2021 | 19 | 2021 |
| An interoperable testing environment for ertms/etcs control systems G Barberio, B Di Martino, N Mazzocca, L Velardi, A Amato, ... Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS …, 2014 | 18 | 2014 |
| A petri net pattern-oriented approach for the design of physical protection systems F Flammini, U Gentile, S Marrone, R Nardone, V Vittorini Computer Safety, Reliability, and Security: 33rd International Conference …, 2014 | 17 | 2014 |
| An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers R Nardone, S Marrone, U Gentile, A Amato, G Barberio, M Benerecetti, ... Journal of Systems and Software 161, 110478, 2020 | 15 | 2020 |
| Survey on international standards and best practices for patch management of complex industrial control systems: the critical infrastructure of particle accelerators case study U Gentile, L Serio International Journal of Critical Computer-Based Systems 9 (1-2), 115-132, 2019 | 15 | 2019 |
| Improving code coverage in android apps testing by exploiting patterns and automatic test case generation D Amalfitano, N Amatucci, AR Fasolino, U Gentile, G Mele, R Nardone, ... Proceedings of the 2014 international workshop on Long-term industrial …, 2014 | 15 | 2014 |
| A smart framework for the availability and reliability assessment and management of accelerators technical facilities L Serio, F Antonello, P Baraldi, A Castellano, U Gentile, E Zio Journal of Physics: Conference Series 1067 (7), 072029, 2018 | 14 | 2018 |
| Data-driven extraction of association rules of dependent abnormal behaviour groups F Antonello, P Baraldi, A Shokry, E Zio, U Gentile, L Serio Proceedings of the 29th International European Safety and Reliability Conference, 2019 | 12 | 2019 |
| Finding resilient and energy-saving control strategies in smart homes S Marrone, U Gentile Procedia Computer Science 83, 976-981, 2016 | 12 | 2016 |
| A cost-energy trade-off model in smart energy grids U Gentile, S Marrone, N Mazzocca, R Nardone 2014 Ninth International Conference on P2P, Parallel, Grid, Cloud and …, 2014 | 10 | 2014 |
| A machine-learning based methodology for performance analysis in particles accelerator facilities U Gentile, L Serio 2017 European Conference on Electrical Engineering and Computer Science …, 2017 | 8 | 2017 |
| Test specification patterns for automatic generation of test sequences U Gentile, S Marrone, G Mele, R Nardone, A Peron Formal Methods for Industrial Critical Systems: 19th International …, 2014 | 8 | 2014 |
| Computer-aided security assessment of water networks monitoring platforms U Gentile, S Marrone, R Nardone, E Bellini International Journal of Critical Infrastructure Protection 31, 100390, 2020 | 6 | 2020 |
| Advancements in knowledge elicitation for computer-based critical systems S Bernardi, U Gentile, R Nardone, S Marrone Future Generation Computer Systems 110, 311-313, 2020 | 6 | 2020 |
Roberto NardoneDepartment of Engineering, University of Naples "Parthenope"Verified email at uniparthenope.it
