Aleksandr Ivasiuk

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 3

Top Topics

Normal Operation

Sequence Classification

Maximum Entropy

Formal Verification

Top Venues

ICTERI Workshops

Publications

Oleg Odarushchenko, Oleksiy Striuk, Viacheslav Shamanskyi, Oleksandr A. Letychevskyi, Aleksandr Ivasiuk, Elena Odarushchenko
Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle. DESSERT (2023)
Yuriy Ponochovnyi, Vyacheslav S. Kharchenko, Mustafa Alsudani, Aleksandr Ivasiuk, Oleg Ivanchenko
Model of Information and Control Systems in Smart Buildings with Separate Maintenance by Reliability and Security. ICTERI Workshops (2018)
Yevgeniy Bulba, Yurij Ponochovny, Vladimir V. Sklyar, Aleksandr Ivasiuk
Classification and Research of the Reactor Protection Instrumentation and Control System Functional Safety markov models in a Normal Operation Mode. ICTERI (2016)