Renato De Guglielmo

According to our database, Renato De Guglielmo authored at least 4 papers between 2014 and 2020.

Collaborative distances:

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

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

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

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

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