Luigi Velardi

According to our database, Luigi Velardi authored at least 8 papers between 2011 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

2015

Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case.

Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Luigi Velardi

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System.

Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Ida Petrone, Luigi Velardi

Proceedings of the Computer Safety, Reliability, and Security, 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

2012

Improving Verification Process in Driverless Metro Systems: The MBAT Project.

Stefano Marrone, Roberto Nardone, Antonio Orazzo, Ida Petrone, Luigi Velardi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

2011

Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems.

Giuseppe Bonifacio, Pietro Marmo, Antonio Orazzo, Ida Petrone, Luigi Velardi, Alessio Venticinque

Proceedings of the Computer Safety, Reliability, and Security, 2011