Automated Development of Markovian Chains for Fault-Tolerant Computer-Based Systems with Version-Structure Redundancy. - Bogdan Y. Volochiy; Oleksandr Mulyak; Vyacheslav S. Kharchenko (ICTERI, 2015)

Availability Model of Critical NPP I&C Systems Considering Software Reliability Indices. - Bogdan Y. Volochiy; Vitaliy Yakovyna; Oleksandr Mulyak (ICTERI, 2016)

Queueing networks for availability and safety assessment of the IoT data service. - Bogdan Y. Volochiy; Vitaliy Yakovyna; Oleksandr Mulyak (CSIT (1), 2017)

Availability Model of Critical NPP I&C Systems with K-phase Erlang Distribution of Software Update. - Bogdan Y. Volochiy; Vitaliy Yakovyna; Oleksandr Mulyak; Vyacheslav S. Kharchenko (ICTERI, 2017)

Availability Model of Critical Nuclear Power Plant Instrumentation and Control System with Non-Exponential Software Update Distribution. - Bogdan Y. Volochiy; Vitaliy Yakovyna; Oleksandr Mulyak; Vyacheslav Kharchenko (ICTERI (Revised Selected Papers), 2017)