Hazard Analysis of Complex Distributed Railway Systems. - Pasquale di Tommaso; Rosaria Esposito; Pietro Marmo; Antonio Orazzo (SRDS, 2003)

A Hybrid Testing Methodology for Railway Control Systems. - Giuseppe De Nicola; Pasquale di Tommaso; Rosaria Esposito; Francesco Flammini; Antonio Orazzo (SAFECOMP, 2004)

A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems. - Giuseppe De Nicola; Pasquale di Tommaso; Rosaria Esposito; Francesco Flammini; Pietro Marmo; Antonio Orazzo (EDCC, 2005)

Testing Complex Safety-Critical Systems in SOA Context. - Renato Donini; Stefano Marrone 001; Nicola Mazzocca; Antonio Orazzo; Domenico Papa; Salvatore Venticinque (CISIS, 2008)

Automatic instantiation of abstract tests on specific configurations for large critical control systems. - Francesco Flammini; Nicola Mazzocca; Antonio Orazzo (Softw. Test. Verification Reliab., 2009)

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 (SAFECOMP, 2011)

Improving Verification Process in Driverless Metro Systems: The MBAT Project. - Stefano Marrone 001; Roberto Nardone; Antonio Orazzo; Ida Petrone; Luigi Velardi (ISoLA (2), 2012)

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 (SAFECOMP Workshops, 2014)

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 (SAFECOMP Workshops, 2015)