Program Models for Interactive Design of Fault-Tolerant System with mixed Structural Redundancy Taking Account Maintenance Service Strategies. - Bohdan A. Mandziy; Bohdan Y. Volochiy; Leonid D. Ozirkovskyy (Int. J. Comput., 2008)

The method of Building of Behavior Model of non-Markov Complex Systems as a Graph of States and Transitions. - Bohdan Y. Volochiy; Leonid D. Ozirkovskyy; Ihor W. Kulyk (Int. J. Comput., 2012)

Technique of Construction Models of Behavior Algorithms of Radio Electronic Complex System using the Scheme of Paths method. - Bohdan Y. Volochiy; Leonid Ozirkovskyi; Oleksandr Shkiliuk; Andriy Mashchak (Int. J. Comput., 2014)

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)

Automation of Building the Safety Models of Complex Technical Systems for Critical Application. - Bohdan Y. Volochiy; Bohdan A. Mandziy; Leonid D. Ozirkovskyy (ICTERI, 2015)

The New Method of Building a Safety Model for Quantitative Risk Assessment of Complex Technical Systems for Critical Application. - Bohdan Y. Volochiy; Bohdan A. Mandziy; Leonid D. Ozirkovskyy (ICTERI (Revised Selected Papers), 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)

Reliability-Oriented Approach for UAV Flight Control System Structural Optimization. - Yuriy Pashchuk; Bohdan Y. Volochiy; Yuriy Salnyk; Volodymyr Ozharevskyi (ICTERI Workshops, 2018)

Model of Functional Behavior of Healthcare Internet of Things Device. - Anastasiia Strielkina; Bohdan Y. Volochiy; Vyacheslav S. Kharchenko (DESSERT, 2019)

Methodology of Defining the Accident Rate Function for Fault Tolerant System with High Responsibility Purpose. - Leonid D. Ozirkovskyy; Bohdan Y. Volochiy; Mykhailo Zmysnyi; Andriy Maschak (ICTERI Workshops, 2019)

Discrete-Continuous Stochastic Model of Behavior Algorithm of Surveillance and Target Acquisition System. - Oleksandr Shkiliuk; Bohdan Y. Volochiy; Ivan Petliuk (ICTERI Workshops, 2019)

Model of Functional Behavior of Healthcare Internet of Things Device Using Erlang Phase Method. - Anastasiia Strielkina; Bohdan Y. Volochiy; Vyacheslav S. Kharchenko; Serhiy Volochiy (ICTERI (Revised Selected Papers), 2019)

Determination of Survivability Indicator of Unmanned Aerial Vehicle Acoustic Detection System. - Leonid D. Ozirkovskyy; Yurii Zhuk; Bohdan Y. Volochiy; Nazar Pryymak (ACIT, 2024)