Elena Odarushchenko

According to our database, Elena Odarushchenko authored at least 7 papers between 2020 and 2023.

Collaborative distances:

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

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

2022

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

Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security, 2022

2021

Formal Methods of FPGA Project Verification Flow.

Serhii Naumenko, Viktoriia Moskalets, Oleg Odarushchenko, Elena Odarushchenko, Volodymyr Peschanenko, Larysa Degtyareva, Oleksandr A. Letychevskyi

Proceedings of the 2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 2021

2020

Development of Wearable Solutions for Healthcare: Initial Stages Analysis and Case Study.

Elena Odarushchenko, Oleg Odarushchenko, Valentina Butenko, Vyacheslav Kharchenko, Larysa Degtyareva

Proceedings of the 1st International Workshop on Intelligent Information Technologies & Systems of Information Security, 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

Method and tool for support of software requirements profile quality assessment.

Oleksandr Gordieiev, Daria Gordieieva, Andrii Tryfonov, Vladyslav Dokukin, Elena Odarushchenko

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

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

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