Oleksandr Martynyuk

27 papers A 1Misc 1Journal 1Unranked 24

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	Development of Verification Model for Intelligence of Multiagent Systems. IDAACS Oleksandr Martynyuk, Oleksandr Drozd, Anatoliy Sachenko, Dmitry Martynyuk, Igor Mileiko, Igor Kopytchuk, Grygoriy Hladiy
2023	—	`conf`	Model of Verification of Distributed Storage Systems. EWDTS Oleksandr Martynyuk, Oleksandr Drozd, Lyudmila Sugak, Sergiy Kravtsov, Dmitry Martynyuk, Igor Kovalev
2023	—	`conf`	Some Method of Behavioral Energy Testing of Distributed Computer Systems. DESSERT Oleksandr Martynyuk, Oleksandr Drozd, Bui Van Thuong, Hanna Stepova, Lyudmila Sugak, Dmitry Martynyuk
2022	—	`conf`	Augmented Checkability of LUT-oriented Circuits in FPGA-based Components of Safety-Related Systems. IntelITSIS Oleksandr Drozd, Illya Baskov, Oleksandr Martynyuk, Kostiantyn Zashcholkin, Myroslav Drozd
2022	—	`conf`	Model for Verification of Intelligence of Multiagent Systems. IntelITSIS Oleksandr Martynyuk, Oleksandr Drozd, Anatoliy Sachenko, Kostiantyn Zashcholkin, Igor Mileiko
2021	—	`conf`	Authentication and Request Processing Model in High Load Modes for IoT Components. IntelITSIS Sergii Surkov, Oleksandr Martynyuk
2021	—	`conf`	Evaluating Real Checkability for FPGA-Based Components of Safety-Related Systems. COLINS Oleksandr Drozd, Kostiantyn Zashcholkin, Maciej Dobrowolski, Anatoliy Sachenko, Oleksandr Martynyuk, Olena Ivanova, Julia V. Drozd
2021	—	`conf`	Model of Multiagent Cooperation for Behavioral Testing. EWDTS Oleksandr Martynyuk, Oleksandr Drozd, Hanna Stepova, Bui Van Thuong, Dmitry Martynyuk, Lyudmila Sugak
2021	—	`conf`	Models of Distributed Systems Testing Based on Energy Consumption in Behavior. IntelITSIS Oleksandr Martynyuk, Lyudmila Sugak, Hanna Stepova, Viktor Antoniuk, Igor Mileiko
2021	—	`conf`	Resilient Development of Models and Methods in Computing Space. EWDTS Oleksandr Drozd, Andrzej Rucinski, Kostiantyn Zashcholkin, Oleksandr Martynyuk, Julia V. Drozd
2021	—	`conf`	Verification Model for Agent Coordination of Distributed Information Systems. IDAACS Oleksandr Martynyuk, Oleksandr Drozd, Anatoliy Sachenko, Hanna Stepova, Dmitry Martynyuk, Lyudmila Sugak, Iryna Turchenko
2020	—	`conf`	A Method of Developing a Checkable Self-Recovery Floating-Point Pipeline System. IntelITSIS Oleksandr Drozd, Igor Kovalev, Oleksandr Martynyuk, Kostiantyn Zashcholkin, Julia V. Drozd
2020	A	`conf`	A Method to Improve FPGA Project Checkability for Safety-Related Applications. ICST Oleksandr Drozd, Oleksandr Martynyuk, Kostiantyn Zashcholkin, Mykola Kuznietsov, Julia V. Drozd, Anastasiya Troynina
2020	—	`conf`	Behavioral Agent Testing of Distributed Information Systems. ICTES Oleksandr Martynyuk, Oleksandr Drozd, Hanna Stepova, Viktor Antonyuk, Dmitry Martynyuk
2020	—	`conf`	Development of Checkability in FPGA Components of Safety-Related Systems. ICTES Oleksandr Drozd, Kostiantyn Zashcholkin, Oleksandr Martynyuk, Olena Ivanova, Julia V. Drozd
2020	—	`conf`	Development of ICT Models in Area of Safety Education. EWDTS Oleksandr Drozd, Kostiantyn Zashcholkin, Oleksandr Martynyuk, Julia V. Drozd, Yulian Sulima
2020	—	`conf`	Using Natural Version Redundancy of FPGA Projects in Area of Critical Applications. DESSERT Oleksandr Drozd, Vitaliy A. Romankevich, Mykola Kuznietsov, Myroslav Drozd, Oleksandr Martynyuk
2019	—	`conf`	An Increase in Trustworthiness of Result Checking in Arithmetic Components of Embedded Systems. ICTES Oleksandr Drozd, Oleksandr Martynyuk, Kostiantyn Zashcholkin, Julia V. Drozd
2019	—	`conf`	Hierachical Model of Behavior On-line Testing for Distributed Information Systems. IDAACS Oleksandr Martynyuk, Oleksandr Drozd, Ahmesh Tamim, Bui Van Thuong, Anatoliy Sachenko, Halyna Mykhailova, Mykhaylo Dombrovskyi
2019	—	`conf`	Multi-level Method of Behavioral Online Testing of Distributed Information Systems. IDAACS Oleksandr Martynyuk, Oleksandr Drozd, Hanna Stepova, Dmitry Martynyuk
2019	—	`conf`	Multidimensional Hierarchical Model of Behavioral Testing of Distributed Information Systems. EWDTS Oleksandr Martynyuk, Oleksandr Drozd, Hanna Suhak, Dmitry Martynyuk, Lyudmila Sugak
2019	—	`conf`	Sharing of Functional and Special Means in Pipeline Floating-Point Systems with Strongly Connected Versions. IDAACS Oleksandr Drozd, Igor Kovalev, Miroslav Drozd, Oleksandr Martynyuk, Serhii Polozhaenko
2017	—	`conf`	Evolutionary network model of testing of the distributed information systems. IDAACS Oleksandr Martynyuk, Anna Sugak, Dmitry Martynyuk, Oleksandr Drozd
2017	Misc	`conf`	Improving of a Circuit Checkability and Trustworthiness of Data Processing Results in LUT-based FPGA Components of Safety-Related Systems. ICTERI Oleksandr Drozd, Miroslav Drozd, Oleksandr Martynyuk, Mykola Kuznietsov
2015	—	`conf`	Method of migration from single server system to server cluster. IDAACS Sergii Surkov, Oleksandr Martynyuk
2015	—	`conf`	Models of the mutation and immunity in test behavioral evolution. IDAACS Anna Sugak, Oleksandr Martynyuk, Oleksandr Drozd
2015	J	`jnl`	The Hybrid Agent Model of Behavioral Testing. Int. J. Comput. Anna Sugak, Oleksandr Martynyuk, Oleksandr Drozd