Routing an Unmanned Aerial Vehicle During NPP Monitoring in the Presence of an Automatic Battery Replacement Aerial System. - Herman Fesenko; Ihor Kliushnikov; Vyacheslav Kharchenko; Serhii Rudakov; Elena Odarushchenko (DESSERT, 2020)

Method and tool for support of software requirements profile quality assessment. - Oleksandr Gordieiev; Daria Gordieieva; Andrii Tryfonov; Vladyslav Dokukin; Elena Odarushchenko (DESSERT, 2020)

Software Fault Insertion Testing for SIL Certification of Safety PLC-Based System. - Oleg Odarushchenko; Oleksiy Striuk; Kostiantyn Leontiiev; Elena Odarushchenko (DESSERT, 2020)

Development of Wearable Solutions for Healthcare: Initial Stages Analysis and Case Study. - Elena Odarushchenko; Oleg Odarushchenko; Valentina Butenko; Vyacheslav Kharchenko; Larysa Degtyareva (IntelITSIS, 2020)

Formal Methods of FPGA Project Verification Flow. - Serhii Naumenko; Viktoriia Moskalets; Oleg Odarushchenko; Elena Odarushchenko; Volodymyr Peschanenko; Larysa Degtyareva; Oleksandr A. Letychevskyi (IDAACS, 2021)

Improving the Accuracy of Software Reliability Modeling by Predicting the Number of Secondary Software Defects. - Oleg Odarushchenko; Elena Odarushchenko; Olena Kopishynska; Oleksandr Rudenko; Anatoliy Gorbenko (IntelITSIS, 2022)

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 (DESSERT, 2023)