Daniil A. Zorin

According to our database, Daniil A. Zorin authored at least 6 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

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

Program. Comput. Softw., 2015

2014

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

Igor V. Konnov, Vladislav V. Podymov, Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin

Autom. Control. Comput. Sci., 2014

Simulated annealing algorithm in problems of multiprocessor scheduling.

Daniil A. Zorin, Valery A. Kostenko

Autom. Remote. Control., 2014

Simulated Annealing Algorithm for Job Shop Scheduling on Reliable Real-Time Systems.

Daniil A. Zorin, Valery A. Kostenko

Proceedings of the Operations Research and Enterprise Systems, 2014

Job Shop Scheduling and Co-Design of Real-Time Systems with Simulated Annealing.

Daniil A. Zorin, Valery A. Kostenko

Proceedings of the ICORES 2014, 2014

2012

Co-design of real-time embedded systems under reliability constraints.

Daniil A. Zorin, Valery A. Kostenko

Proceedings of the 11th IFAC Conference on Programmable Devices and Embedded Systems, 2012