Ugo Gentile
Title
Cited by
Cited by
Year
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
192016
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
172014
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
172014
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
162015
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
152017
An interoperable testing environment for ertms/etcs control systems
G Barberio, B Di Martino, N Mazzocca, L Velardi, A Amato, ...
International Conference on Computer Safety, Reliability, and Security, 147-156, 2014
152014
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
132014
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
Finding resilient and energy-saving control strategies in smart homes
S Marrone, U Gentile
Procedia Computer Science 83, 976-981, 2016
72016
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
52018
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
52014
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
42017
Data-Driven Extraction of Association Rules of Dependent Abnormal Behaviour Groups
F Antonello, P Baraldi, A Shokry, E Zio, U Gentile, L Serio
32019
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, 110746, 2020
22020
Advancements in knowledge elicitation for computer-based critical systems
S Bernardi, U Gentile, R Nardone, S Marrone
Future Generation Computer Systems, 2020
22020
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
22017
µGRIMOIRE: A Tool for Smart Micro Grids Modelling and Energy Profiling
U Gentile, S Marrone, N Mazzocca, R Nardone
The Open Cybernetics & Systemics Journal 10 (1), 2016
22016
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems
U Gentile, S Marrone, F De Paola, R Nardone, N Mazzocca, M Giugni
2015 10th International Conference on P2P, Parallel, Grid, Cloud and …, 2015
22015
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, 107305, 2020
12020
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
12020
The system can't perform the operation now. Try again later.
Articles 1–20