Ugo Gentile
Titel
Zitiert von
Zitiert von
Jahr
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
202014
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 modelling railway control systems
M Benerecetti, R De Guglielmo, U Gentile, S Marrone, N Mazzocca, ...
Science of Computer Programming 133, 116-153, 2017
182017
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
182015
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
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
162014
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
Finding resilient and energy-saving control strategies in smart homes
S Marrone, U Gentile
Procedia Computer Science 83, 976-981, 2016
92016
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 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
72018
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
52021
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
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 …, 2019
42019
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
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
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
µ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
32016
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
22021
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
22020
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20