Follow
Ugo Gentile
Title
Cited by
Cited by
Year
Modeling railway control systems in Promela
R Nardone, U Gentile, M Benerecetti, A Peron, V Vittorini, S Marrone, ...
International Workshop on Formal Techniques for Safety-Critical Systems, 121-136, 2015
222015
Dynamic state machines for formalizing railway control system specifications
R Nardone, U Gentile, A Peron, M Benerecetti, V Vittorini, S Marrone, ...
International Workshop on Formal Techniques for Safety-Critical Systems, 93-109, 2014
222014
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
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
192017
An interoperable testing environment for ertms/etcs control systems
G Barberio, BD Martino, N Mazzocca, L Velardi, A Amato, RD Guglielmo, ...
International Conference on Computer Safety, Reliability, and Security, 147-156, 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
International Conference on Computer Safety, Reliability, and Security, 230-245, 2014
182014
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
142014
Finding resilient and energy-saving control strategies in smart homes
S Marrone, U Gentile
Procedia Computer Science 83, 976-981, 2016
122016
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
112021
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
112018
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
102021
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
102021
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
82020
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
82019
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
82014
Test specification patterns for automatic generation of test sequences
U Gentile, S Marrone, G Mele, R Nardone, A Peron
International Workshop on Formal Methods for Industrial Critical Systemsá…, 2014
82014
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
62017
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
42020
A method for inferring casual dependencies among abnormal behaviours of components in complex technical infrastructures
F Antonello, P Baraldi, A Shokry, E Zio, U Gentile, L Serio
30th European Safety and Reliability Conference, ESREL 2020 and 15thá…, 2020
32020
A model driven approach for assessing survivability requirements of critical infrastructures
U Gentile, S Bernardi, S Marrone, J Merseguer, V Vittorini
Journal of High Speed Networks 23 (2), 175-186, 2017
32017
The system can't perform the operation now. Try again later.
Articles 1–20