Aleksandr Ivasiuk

According to our database, Aleksandr Ivasiuk authored at least 3 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• 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

2018

Model of Information and Control Systems in Smart Buildings with Separate Maintenance by Reliability and Security.

Yuriy Ponochovnyi, Vyacheslav S. Kharchenko, Mustafa Alsudani, Aleksandr Ivasiuk, Oleg Ivanchenko

Proceedings of the 14th International Conference on ICT in Education, 2018

2016

Classification and Research of the Reactor Protection Instrumentation and Control System Functional Safety markov models in a Normal Operation Mode.

Yevgeniy Bulba, Yurij Ponochovny, Vladimir V. Sklyar, Aleksandr Ivasiuk

Proceedings of the 12th International Conference on ICT in Education, 2016