Andrei Tchaltsev

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Formal Verification

Model Validation

Industrial Applications

Top Venues

Publications

Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. CAV (2012)
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev
A Comprehensive Approach to On-Board Autonomy Verification and Validation. IJCAI (2011)
Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev
Diagnostic Information for Realizability. VMCAI (2008)
Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev
RAT: A Tool for the Formal Analysis of Requirements. CAV (2007)