 | 2006 |
| 3 |  | Chiara Abbaneo,
Francesco Flammini,
Armando Lazzaro,
Pietro Marmo,
Nicola Mazzocca,
Angela Sanseviero:
UML Based Reverse Engineering for the Verification of Railway Control Logics.
DepCoS-RELCOMEX 2006: 3-10 |
| 2005 |
| 2 |  | 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 |
| 2003 |
| 1 |  | Pasquale di Tommaso,
Rosaria Esposito,
Pietro Marmo,
Antonio Orazzo:
Hazard Analysis of Complex Distributed Railway Systems.
SRDS 2003: 283-292 |