Travelled to:1 × Germany
2 × USA
Collaborated with:M.Roveri A.Cimatti V.Schuppan R.Bloem R.Cavada I.Pill R.Corvino A.Lazzaro I.Narasamdya T.Rizzo A.Sanseviero
Talks about:formal (2) industri (1) diagnost (1) railway (1) analysi (1) system (1) requir (1) realiz (1) inform (1) verif (1)
Person: Andrei Tchaltsev
DBLP: Tchaltsev:Andrei
Contributed to:
2012
20082007Wrote 3 papers:
- CAV-2012-CimattiCLNRRST #industrial #validation #verification
- Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System (AC, RC, AL, IN, TR, MR, AS, AT), pp. 378–393.
- VMCAI-2008-CimattiRST
- Diagnostic Information for Realizability (AC, MR, VS, AT), pp. 52–67.
- CAV-2007-BloemCPRT #analysis #formal method #named #requirements
- RAT: A Tool for the Formal Analysis of Requirements (RB, RC, IP, MR, AT), pp. 263–267.