Follow
Ugo Gentile
Title
Cited by
Cited by
Year
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
302021
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
222017
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
222016
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
222015
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
212021
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
202016
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
182014
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
172014
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
152021
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
152020
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
152014
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
132019
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
122018
Finding resilient and energy-saving control strategies in smart homes
S Marrone, U Gentile
Procedia Computer Science 83, 976-981, 2016
112016
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
102014
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
92019
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
82017
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
82014
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
62020
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
52020
The system can't perform the operation now. Try again later.
Articles 1–20