Oleksandr Martynyuk

Orcid: 0000-0003-1461-2000

According to our database1, Oleksandr Martynyuk authored at least 26 papers between 2015 and 2023.

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

2023
Development of Verification Model for Intelligence of Multiagent Systems.
Proceedings of the 12th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2023

Model of Verification of Distributed Storage Systems.
Proceedings of the IEEE East-West Design & Test Symposium, 2023

Some Method of Behavioral Energy Testing of Distributed Computer Systems.
Proceedings of the 13th International Conference on Dependable Systems, 2023

2022
Model for Verification of Intelligence of Multiagent Systems.
Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security, 2022

Augmented Checkability of LUT-oriented Circuits in FPGA-based Components of Safety-Related Systems.
Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security, 2022

2021
Authentication and Request Processing Model in High Load Modes for IoT Components.
Proceedings of the 2nd International Workshop on Intelligent Information Technologies & Systems of Information Security with CEUR-WS, 2021

Models of Distributed Systems Testing Based on Energy Consumption in Behavior.
Proceedings of the 2nd International Workshop on Intelligent Information Technologies & Systems of Information Security with CEUR-WS, 2021

Verification Model for Agent Coordination of Distributed Information Systems.
Proceedings of the 2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 2021

Model of Multiagent Cooperation for Behavioral Testing.
Proceedings of the IEEE East-West Design & Test Symposium, 2021

Resilient Development of Models and Methods in Computing Space.
Proceedings of the IEEE East-West Design & Test Symposium, 2021

Evaluating Real Checkability for FPGA-Based Components of Safety-Related Systems.
Proceedings of the 5th International Conference on Computational Linguistics and Intelligent Systems (COLINS 2021). Volume I: Main Conference, 2021

2020
A Method of Developing a Checkable Self-Recovery Floating-Point Pipeline System.
Proceedings of the 1st International Workshop on Intelligent Information Technologies & Systems of Information Security, 2020

Behavioral Agent Testing of Distributed Information Systems.
Proceedings of the 2nd International Workshop on Information-Communication Technologies & Embedded Systems (ICTES 2020) Mykolaiv, 2020

Development of Checkability in FPGA Components of Safety-Related Systems.
Proceedings of the 2nd International Workshop on Information-Communication Technologies & Embedded Systems (ICTES 2020) Mykolaiv, 2020

A Method to Improve FPGA Project Checkability for Safety-Related Applications.
Proceedings of the 9th International Conference "Information Control Systems & Technologies", 2020

Development of ICT Models in Area of Safety Education.
Proceedings of the IEEE East-West Design & Test Symposium, 2020

Using Natural Version Redundancy of FPGA Projects in Area of Critical Applications.
Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020

2019
Hierachical Model of Behavior On-line Testing for Distributed Information Systems.
Proceedings of the 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2019

Multi-level Method of Behavioral Online Testing of Distributed Information Systems.
Proceedings of the 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2019

Sharing of Functional and Special Means in Pipeline Floating-Point Systems with Strongly Connected Versions.
Proceedings of the 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2019

An Increase in Trustworthiness of Result Checking in Arithmetic Components of Embedded Systems.
Proceedings of the 1st International Workshop on Information-Communication Technologies & Embedded Systems (ICTES 2019), 2019

Multidimensional Hierarchical Model of Behavioral Testing of Distributed Information Systems.
Proceedings of the 2019 IEEE East-West Design & Test Symposium, 2019

2017
Evolutionary network model of testing of the distributed information systems.
Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017

Improving of a Circuit Checkability and Trustworthiness of Data Processing Results in LUT-based FPGA Components of Safety-Related Systems.
Proceedings of the 13th International Conference on ICT in Education, 2017

2015
Method of migration from single server system to server cluster.
Proceedings of the IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2015

Models of the mutation and immunity in test behavioral evolution.
Proceedings of the IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2015


  Loading...