A Cost-Energy Trade-Off Model in Smart Energy Grids. - Ugo Gentile; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone (3PGCIC, 2014)

Test Specification Patterns for Automatic Generation of Test Sequences. - Ugo Gentile; Stefano Marrone 001; Gianluca Mele; Roberto Nardone; Adriano Peron (FMICS, 2014)

Dynamic State Machines for Formalizing Railway Control System Specifications. - Roberto Nardone; Ugo Gentile; Adriano Peron; Massimo Benerecetti; Valeria Vittorini; Stefano Marrone 001; Renato De Guglielmo; Nicola Mazzocca; Luigi Velardi (FTSCS, 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 001 (WISE@ASE, 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 001; Roberto Nardone; Adriano Peron; Valeria Vittorini (SAFECOMP Workshops, 2014)

A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. - Francesco Flammini; Ugo Gentile; Stefano Marrone 001; Roberto Nardone; Valeria Vittorini (SAFECOMP, 2014)

Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems. - Ugo Gentile; Stefano Marrone 001; Francesco M. De Paola; Roberto Nardone; Nicola Mazzocca; Maurizio Giugni (3PGCIC, 2015)

Modeling Railway Control Systems in Promela. - Roberto Nardone; Ugo Gentile; Massimo Benerecetti; Adriano Peron; Valeria Vittorini; Stefano Marrone 001; Nicola Mazzocca (FTSCS, 2015)

Finding Resilient and Energy-saving Control Strategies in Smart Homes. - Stefano Marrone 001; Ugo Gentile (ANT/SEIT, 2016)

Cost-energy modelling and profiling of smart domestic grids. - Ugo Gentile; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone (Int. J. Grid Util. Comput., 2016)

A Model-driven Approach for the Automatic Generation of System-Level Test Cases. - Ugo Gentile (2016)

A model driven approach for assessing survivability requirements of critical infrastructures. - Ugo Gentile; Simona Bernardi 001; Stefano Marrone 001; José Merseguer; Valeria Vittorini (J. High Speed Networks, 2017)

Dynamic state machines for modelling railway control systems. - Massimo Benerecetti; Renato De Guglielmo; Ugo Gentile; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone; Adriano Peron; Luigi Velardi; Valeria Vittorini (Sci. Comput. Program., 2017)

From Dynamic State Machines to Promela. - Massimo Benerecetti; Ugo Gentile; Stefano Marrone 001; Roberto Nardone; Adriano Peron; Luigi L. L. Starace; Valeria Vittorini (SPIN, 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)

Advancements in knowledge elicitation for computer-based critical systems. - Simona Bernardi 001; Ugo Gentile; Roberto Nardone; Stefano Marrone 001 (Future Gener. Comput. Syst., 2020)

Computer-aided security assessment of water networks monitoring platforms. - Ugo Gentile; Stefano Marrone 001; Roberto Nardone; Emanuele Bellini 001 (Int. J. Crit. Infrastructure Prot., 2020)

An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. - Roberto Nardone; Stefano Marrone 001; Ugo Gentile; Aniello Amato; Gregorio Barberio; Massimo Benerecetti; Renato De Guglielmo; Beniamino Di Martino; Nicola Mazzocca; Adriano Peron; Gaetano Pisani; Luigi Velardi; et al. (J. Syst. Softw., 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)

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)

Security modelling and formal verification of survivability properties: Application to cyber-physical systems. - Simona Bernardi 001; Ugo Gentile; Stefano Marrone 001; José Merseguer; Roberto Nardone (J. Syst. Softw., 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)

A Petri net oriented approach for advanced building energy management systems. - Stefano Marrone 001; Lelio Campanile; Roberta De Fazio; Michele Di Giovanni; Ugo Gentile; Fiammetta Marulli; Laura Verde (J. Ambient Intell. Smart Environ., 2023)