Elena Odarushchenko

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 7

Top Topics

Biomedical Informatics

Top Venues

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)
Oleg Odarushchenko, Elena Odarushchenko, Olena Kopishynska, Oleksandr Rudenko, Anatoliy Gorbenko
Improving the Accuracy of Software Reliability Modeling by Predicting the Number of Secondary Software Defects. IntelITSIS (2022)
Serhii Naumenko, Viktoriia Moskalets, Oleg Odarushchenko, Elena Odarushchenko, Volodymyr Peschanenko, Larysa Degtyareva, Oleksandr A. Letychevskyi
Formal Methods of FPGA Project Verification Flow. IDAACS (2021)
Oleksandr Gordieiev, Daria Gordieieva, Andrii Tryfonov, Vladyslav Dokukin, Elena Odarushchenko
Method and tool for support of software requirements profile quality assessment. DESSERT (2020)
Elena Odarushchenko, Oleg Odarushchenko, Valentina Butenko, Vyacheslav Kharchenko, Larysa Degtyareva
Development of Wearable Solutions for Healthcare: Initial Stages Analysis and Case Study. IntelITSIS (2020)
Oleg Odarushchenko, Oleksiy Striuk, Kostiantyn Leontiiev, Elena Odarushchenko
Software Fault Insertion Testing for SIL Certification of Safety PLC-Based System. DESSERT (2020)
Herman Fesenko, Ihor Kliushnikov, Vyacheslav Kharchenko, Serhii Rudakov, Elena Odarushchenko
Routing an Unmanned Aerial Vehicle During NPP Monitoring in the Presence of an Automatic Battery Replacement Aerial System. DESSERT (2020)