Ugo Gentile

23 papers B 1C 1Journal 12Unranked 8
YearRankTypeTitle / Venue / Authors
2023 J jnl
A Petri net oriented approach for advanced building energy management systems.
J. Ambient Intell. Smart Environ.
Stefano Marrone, Lelio Campanile, Roberta De Fazio, Michele Di Giovanni, Ugo Gentile, Fiammetta Marulli, Laura Verde
2021 J jnl
A novel association rule mining method for the identification of rare functional dependencies in Complex Technical Infrastructures from alarm data.
Expert Syst. Appl.
Federico Antonello, Piero Baraldi, Ahmed Shokry, Enrico Zio, Ugo Gentile, Luigi Serio
2021 J jnl
Association rules extraction for the identification of functional dependencies in complex technical infrastructures.
Reliab. Eng. Syst. Saf.
Federico Antonello, Piero Baraldi, Ahmed Shokry, Enrico Zio, Ugo Gentile, Luigi Serio
2021 J jnl
Security modelling and formal verification of survivability properties: Application to cyber-physical systems.
J. Syst. Softw.
Simona Bernardi, Ugo Gentile, Stefano Marrone, José Merseguer, Roberto Nardone
2020 J jnl
A Feature Selection-based Approach for the Identification of Critical Components in Complex Technical Infrastructures: Application to the CERN Large Hadron Collider.
Reliab. Eng. Syst. Saf.
Piero Baraldi, Andrea Castellano, Ahmed Shokry, Ugo Gentile, Luigi Serio, Enrico Zio
2020 J jnl
Advancements in knowledge elicitation for computer-based critical systems.
Future Gener. Comput. Syst.
Simona Bernardi, Ugo Gentile, Roberto Nardone, Stefano Marrone
2020 J jnl
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers.
J. Syst. Softw.
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
2020 J jnl
Computer-aided security assessment of water networks monitoring platforms.
Int. J. Crit. Infrastructure Prot.
Ugo Gentile, Stefano Marrone, Roberto Nardone, Emanuele Bellini
2019 — conf
From Dynamic State Machines to Promela.
SPIN
Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini
2019 J jnl
Survey on international standards and best practices for patch management of complex industrial control systems: the critical infrastructure of particle accelerators case study.
Int. J. Crit. Comput. Based Syst.
Ugo Gentile, Luigi Serio
2017 J jnl
A model driven approach for assessing survivability requirements of critical infrastructures.
J. High Speed Networks
Ugo Gentile, Simona Bernardi, Stefano Marrone, José Merseguer, Valeria Vittorini
2017 J jnl
Dynamic state machines for modelling railway control systems.
Sci. Comput. Program.
Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini
2016 — —
A Model-driven Approach for the Automatic Generation of System-Level Test Cases.
Ugo Gentile
2016 J jnl
Cost-energy modelling and profiling of smart domestic grids.
Int. J. Grid Util. Comput.
Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone
2016 — conf
Finding Resilient and Energy-saving Control Strategies in Smart Homes.
ANT/SEIT
Stefano Marrone, Ugo Gentile
2015 — conf
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems.
3PGCIC
Ugo Gentile, Stefano Marrone, Francesco M. De Paola, Roberto Nardone, Nicola Mazzocca, Maurizio Giugni
2015 — conf
Modeling Railway Control Systems in Promela.
FTSCS
Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
2014 — conf
A Cost-Energy Trade-Off Model in Smart Energy Grids.
3PGCIC
Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone
2014 B conf
A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems.
SAFECOMP
Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini
2014 — conf
An Interoperable Testing Environment for ERTMS/ETCS Control Systems.
SAFECOMP Workshops
Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini
2014 — conf
Dynamic State Machines for Formalizing Railway Control System Specifications.
FTSCS
Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi
2014 — conf
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation.
WISE@ASE
Domenico Amalfitano, Nicola Amatucci, Anna Rita Fasolino, Ugo Gentile, Gianluca Mele, Roberto Nardone, Valeria Vittorini, Stefano Marrone
2014 C conf
Test Specification Patterns for Automatic Generation of Test Sequences.
FMICS
Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron