Method of Reliability Block Diagram Visualization and Automated Construction of Technical System Operability Condition. - Yuriy Bobalo; Maksym Seniv; Vitaliy Yakovyna; Ivan Symets (CSIT, 2018)

Technique of Automated Construction of States and Transitions Graph for the Analysis of Technical Systems Reliability. - Yuriy Bobalo; Vitaliy Yakovyna; Maksym Seniv; Ivan Symets (CSIT (1), 2018)

The Relation between Software Development Methodologies and Factors Affecting Software Reliability. - Vitaliy Yakovyna; Maksym Seniv; Ivan Symets (CSIT (1), 2020)

Reliability assessment of CubeSat nanosatellites flight software by high-order Markov chains. - Vitaliy Yakovyna; Ivan Symets (KES, 2021)