Ugo Gentile

According to our database, Ugo Gentile authored at least 23 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Petri net oriented approach for advanced building energy management systems.

Stefano Marrone, Lelio Campanile, Roberta De Fazio, Michele Di Giovanni, Ugo Gentile, Fiammetta Marulli, Laura Verde

J. Ambient Intell. Smart Environ., 2023

2021

Association rules extraction for the identification of functional dependencies in complex technical infrastructures.

Federico Antonello, Piero Baraldi, Ahmed Shokry, Enrico Zio, Ugo Gentile, Luigi Serio

Reliab. Eng. Syst. Saf., 2021

Security modelling and formal verification of survivability properties: Application to cyber-physical systems.

Simona Bernardi, Ugo Gentile, Stefano Marrone, José Merseguer, Roberto Nardone

J. Syst. Softw., 2021

A novel association rule mining method for the identification of rare functional dependencies in Complex Technical Infrastructures from alarm data.

Federico Antonello, Piero Baraldi, Ahmed Shokry, Enrico Zio, Ugo Gentile, Luigi Serio

Expert Syst. Appl., 2021

2020

A Feature Selection-based Approach for the Identification of Critical Components in Complex Technical Infrastructures: Application to the CERN Large Hadron Collider.

Piero Baraldi, Andrea Castellano, Ahmed Shokry, Ugo Gentile, Luigi Serio, Enrico Zio

Reliab. Eng. Syst. Saf., 2020

An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers.

Roberto Nardone, Stefano Marrone, Ugo Gentile, Aniello Amato, Gregorio Barberio, Massimo Benerecetti, Renato De Guglielmo, Beniamino Di Martino, Nicola Mazzocca, Adriano Peron, Gaetano Pisani, Luigi Velardi, Valeria Vittorini

J. Syst. Softw., 2020

Computer-aided security assessment of water networks monitoring platforms.

Ugo Gentile, Stefano Marrone, Roberto Nardone, Emanuele Bellini

Int. J. Crit. Infrastructure Prot., 2020

Advancements in knowledge elicitation for computer-based critical systems.

Simona Bernardi, Ugo Gentile, Roberto Nardone, Stefano Marrone

Future Gener. Comput. Syst., 2020

2019

Survey on international standards and best practices for patch management of complex industrial control systems: the critical infrastructure of particle accelerators case study.

Ugo Gentile, Luigi Serio

Int. J. Crit. Comput. Based Syst., 2019

From Dynamic State Machines to Promela.

Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini

Proceedings of the Model Checking Software - 26th International Symposium, 2019

2017

Dynamic state machines for modelling railway control systems.

Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini

Sci. Comput. Program., 2017

A model driven approach for assessing survivability requirements of critical infrastructures.

Ugo Gentile, Simona Bernardi, Stefano Marrone, José Merseguer, Valeria Vittorini

J. High Speed Networks, 2017

2016

A Model-driven Approach for the Automatic Generation of System-Level Test Cases.

Ugo Gentile

PhD thesis, 2016

Cost-energy modelling and profiling of smart domestic grids.

Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone

Int. J. Grid Util. Comput., 2016

Finding Resilient and Energy-saving Control Strategies in Smart Homes.

Stefano Marrone, Ugo Gentile

Proceedings of the 7th International Conference on Ambient Systems, 2016

2015

Modeling Railway Control Systems in Promela.

Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems.

Ugo Gentile, Stefano Marrone, Francesco M. De Paola, Roberto Nardone, Nicola Mazzocca, Maurizio Giugni

Proceedings of the 10th International Conference on P2P, 2015

2014

A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems.

Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini

Proceedings of the Computer Safety, Reliability, and Security, 2014

An Interoperable Testing Environment for ERTMS/ETCS Control Systems.

Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini

Proceedings of the Computer Safety, Reliability, and Security, 2014

Improving code coverage in android apps testing by exploiting patterns and automatic test case generation.

Domenico Amalfitano, Nicola Amatucci, Anna Rita Fasolino, Ugo Gentile, Gianluca Mele, Roberto Nardone, Valeria Vittorini, Stefano Marrone

Proceedings of the WISE'14, 2014

Dynamic State Machines for Formalizing Railway Control System Specifications.

Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Test Specification Patterns for Automatic Generation of Test Sequences.

Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

A Cost-Energy Trade-Off Model in Smart Energy Grids.

Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone

Proceedings of the 2014 Ninth International Conference on P2P, 2014