Angela Sanseviero

According to our database, Angela Sanseviero authored at least 3 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System.

Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2006

UML Based Reverse Engineering for the Verification of Railway Control Logics.

Chiara Abbaneo, Francesco Flammini, Armando Lazzaro, Pietro Marmo, Nicola Mazzocca, Angela Sanseviero

Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

2005

The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System.

Pasquale di Tommaso, Francesco Flammini, Armando Lazzaro, Raffaele Pellecchia, Angela Sanseviero

Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005