Andrei Tchaltsev

According to our database, Andrei Tchaltsev authored at least 4 papers between 2007 and 2012.

Collaborative distances:

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

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

2011

A Comprehensive Approach to On-Board Autonomy Verification and Validation.

Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev

Proceedings of the IJCAI 2011, 2011

2008

Diagnostic Information for Realizability.

Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev

Proceedings of the Verification, 2008

2007

RAT: A Tool for the Formal Analysis of Requirements.

Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev

Proceedings of the Computer Aided Verification, 19th International Conference, 2007