Dmitry Yu. Volkanov

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

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

A Hardware-in-the-Loop Simulation Environment for Real-Time Systems Development and Architecture Evaluation

Vasily V. Balashov, Ruslan L. Smeliansky, Anatoly G. Bakhmurov, 2008, 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX.

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.

Method for Choosing a Balanced Set of Fault-Tolerance Techniques for Distributed Computer Systems

Dmitry Yu. Volkanov, 2017, Automatic Control and Computer Sciences.

A hardware-in-the-loop simulation environment for real-time systems development and architecture evaluation

Vasily V. Balashov, Ruslan L. Smeliansky, Anatoly G. Bakhmurov, 2010, Int. J. Crit. Comput. Based Syst..

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.

Integrated environment for the analysis and design of distributed real-time embedded computing systems

Anatoly G. Bakhmurov, R. L. Smelyansky, Dmitry Yu. Volkanov, 2013, Programming and Computer Software.