| 2005 |
| 4 | EE | Giuseppe De Nicola,
Pasquale di Tommaso,
Rosaria Esposito,
Francesco Flammini,
Pietro Marmo,
Antonio Orazzo:
A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems.
EDCC 2005: 305-317 |
| 3 | EE | Pasquale di Tommaso,
Francesco Flammini,
Armando Lazzaro,
Raffaele Pellecchia,
Angela Sanseviero:
The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System.
HASE 2005: 131-139 |
| 2004 |
| 2 | EE | Giuseppe De Nicola,
Pasquale di Tommaso,
Rosaria Esposito,
Francesco Flammini,
Antonio Orazzo:
A Hybrid Testing Methodology for Railway Control Systems.
SAFECOMP 2004: 116-129 |
| 2003 |
| 1 | EE | Pasquale di Tommaso,
Rosaria Esposito,
Pietro Marmo,
Antonio Orazzo:
Hazard Analysis of Complex Distributed Railway Systems.
SRDS 2003: 283-292 |