Oleg Odarushchenko

According to our database1, Oleg Odarushchenko authored at least 10 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Trustworthy AI Systems from Untrustworthy Components: Development von Neumann's Paradigm using Principle of Diversity.
Proceedings of the 4th International Workshop of IT-professionals on Artificial Intelligence (ProfIT AI 2024) 2024, 2024

2023
Towards Evidence-Based Cybersecurity Assessment of Programmable Systems to Ensure the Protection of Critical IT Infrastructure.
Proceedings of the 12th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2023

Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle.
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.
Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security, 2022

2021
Formal Methods of FPGA Project Verification Flow.
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.
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.
Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020

2013
Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2013

Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains.
Proceedings of the 9th International Conference on ICT in Education, 2013

Fault-injection testing: FIT-ability, optimal procedure and tool for FPGA-based systems SIL certification.
Proceedings of the East-West Design & Test Symposium, 2013


  Loading...