​
Login / Signup
Oleg Odarushchenko
Publication Activity (10 Years)
Years Active: 2013-2023
Publications (10 Years): 6
Top Topics
Initial Stages
Case Study
Formal Methods
Biomedical Informatics
Top Venues
IDAACS
IntelITSIS
DESSERT
</>
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 Illiashenko
,
Vyacheslav Kharchenko
,
Oleg Odarushchenko
Towards Evidence-Based Cybersecurity Assessment of Programmable Systems to Ensure the Protection of Critical IT Infrastructure.
IDAACS
(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)
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)
Vyacheslav S. Kharchenko
,
Oleg Odarushchenko
,
Valentina Odarushchenko
,
Peter T. Popov
Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains.
ICTERI
(2013)
Vyacheslav Kharchenko
,
Oleg Odarushchenko
,
Valentina Odarushchenko
,
Peter T. Popov
Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study.
ICTERI (Revised Selected Papers)
(2013)
Vyacheslav S. Kharchenko
,
Volodymyr Sklyar
,
Oleg Odarushchenko
,
A. Ivasuyk
Fault-injection testing: FIT-ability, optimal procedure and tool for FPGA-based systems SIL certification.
EWDTS
(2013)