Co-design of real-time embedded systems under reliability constraints. - Daniil A. Zorin; Valery A. Kostenko (PDeS, 2012)

Job Shop Scheduling and Co-Design of Real-Time Systems with Simulated Annealing. - Daniil A. Zorin; Valery A. Kostenko (ICORES, 2014)

Simulated Annealing Algorithm for Job Shop Scheduling on Reliable Real-Time Systems. - Daniil A. Zorin; Valery A. Kostenko (ICORES (Selected Papers), 2014)

Simulated annealing algorithm in problems of multiprocessor scheduling. - Daniil A. Zorin; Valery A. Kostenko (Autom. Remote. Control., 2014)

How to make a simple tool for verification of real-time systems. - Igor V. Konnov 001; Vladislav V. Podymov; Dmitry Yu. Volkanov; Vladimir A. Zakharov; Daniil A. Zorin (Autom. Control. Comput. Sci., 2014)

A combined toolset for the verification of real-time distributed systems. - Dmitry Yu. Volkanov; Vladimir A. Zakharov; Daniil A. Zorin; Vladislav V. Podymov; Igor V. Konnov 001 (Program. Comput. Softw., 2015)