Luigi Velardi

Publication Activity (10 Years)

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

Top Topics

Sequence Diagrams

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)
Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Luigi Velardi
Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case. SAFECOMP Workshops (2015)
Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Ida Petrone, Luigi Velardi
Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System. SAFECOMP Workshops (2014)
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)
Stefano Marrone, Roberto Nardone, Antonio Orazzo, Ida Petrone, Luigi Velardi
Improving Verification Process in Driverless Metro Systems: The MBAT Project. ISoLA (2) (2012)
Giuseppe Bonifacio, Pietro Marmo, Antonio Orazzo, Ida Petrone, Luigi Velardi, Alessio Venticinque
Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems. SAFECOMP (2011)