Renato De Guglielmo

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 2

Top Topics

Real Environment

Dynamic Environments

Top Venues

SAFECOMP Workshops

J. Syst. Softw.

Sci. Comput. Program.

Publications

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
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. J. Syst. Softw. 161 (2020)
Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini
Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133 (2017)
Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi
Dynamic State Machines for Formalizing Railway Control System Specifications. FTSCS (2014)
Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini
An Interoperable Testing Environment for ERTMS/ETCS Control Systems. SAFECOMP Workshops (2014)