Oleksiy Striuk

According to our database, Oleksiy Striuk authored at least 2 papers between 2020 and 2023.

Collaborative distances:

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

2023

Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle.

Oleg Odarushchenko, Oleksiy Striuk, Viacheslav Shamanskyi, Oleksandr A. Letychevskyi, Aleksandr Ivasiuk, Elena Odarushchenko

Proceedings of the 13th International Conference on Dependable Systems, 2023

2020

Software Fault Insertion Testing for SIL Certification of Safety PLC-Based System.

Oleg Odarushchenko, Oleksiy Striuk, Kostiantyn Leontiiev, Elena Odarushchenko

Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020