Vladislav V. Podymov

DYANA: HLA-based distributed real-time embedded systems simulation tool

Vladimir A. Zakharov, Igor V. Konnov, Alevtina B. Glonina, 2013, WSC '13.

How to make a simple tool for verification of real-time systems

Vladimir A. Zakharov, Igor V. Konnov, Daniil A. Zorin, 2014, Automatic Control and Computer Sciences.

A combined toolset for the verification of real-time distributed systems

Vladimir A. Zakharov, Igor V. Konnov, Daniil A. Zorin, 2015, Programming and Computer Software.