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

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)

UML Based Reverse Engineering for the Verification of Railway Control Logics. - Chiara Abbaneo; Francesco Flammini; Armando Lazzaro; Pietro Marmo; Nicola Mazzocca; Angela Sanseviero (DepCoS-RELCOMEX, 2006)

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)

An Integrated Approach for Availability and QoS Evaluation in Railway Systems. - Antonino Mazzeo; Nicola Mazzocca; Roberto Nardone; Luca D'Acierno; Bruno Montella; Vincenzo Punzo; Egidio Quaglietta; Immacolata Lamberti; Pietro Marmo (SAFECOMP, 2011)