Models of the mutation and immunity in test behavioral evolution. - Anna Sugak; Oleksandr Martynyuk; Oleksandr Drozd (IDAACS, 2015)

Method of migration from single server system to server cluster. - Sergii Surkov; Oleksandr Martynyuk (IDAACS, 2015)

The Hybrid Agent Model of Behavioral Testing. - Anna Sugak; Oleksandr Martynyuk; Oleksandr Drozd (Int. J. Comput., 2015)

Improving of a Circuit Checkability and Trustworthiness of Data Processing Results in LUT-based FPGA Components of Safety-Related Systems. - Oleksandr Drozd; Miroslav Drozd; Oleksandr Martynyuk; Mykola Kuznietsov (ICTERI, 2017)

Evolutionary network model of testing of the distributed information systems. - Oleksandr Martynyuk; Anna Sugak; Dmitry Martynyuk; Oleksandr Drozd (IDAACS, 2017)

Multidimensional Hierarchical Model of Behavioral Testing of Distributed Information Systems. - Oleksandr Martynyuk; Oleksandr Drozd; Hanna Suhak; Dmitry Martynyuk; Lyudmila Sugak (EWDTS, 2019)

An Increase in Trustworthiness of Result Checking in Arithmetic Components of Embedded Systems. - Oleksandr Drozd; Oleksandr Martynyuk; Kostiantyn Zashcholkin; Julia V. Drozd (ICTES, 2019)

Sharing of Functional and Special Means in Pipeline Floating-Point Systems with Strongly Connected Versions. - Oleksandr Drozd; Igor Kovalev; Miroslav Drozd; Oleksandr Martynyuk; Serhii Polozhaenko (IDAACS, 2019)

Multi-level Method of Behavioral Online Testing of Distributed Information Systems. - Oleksandr Martynyuk; Oleksandr Drozd; Hanna Stepova; Dmitry Martynyuk (IDAACS, 2019)

Hierachical Model of Behavior On-line Testing for Distributed Information Systems. - Oleksandr Martynyuk; Oleksandr Drozd; Ahmesh Tamim; Bui Van Thuong; Anatoliy Sachenko; Halyna Mykhailova; Mykhaylo Dombrovskyi (IDAACS, 2019)

Using Natural Version Redundancy of FPGA Projects in Area of Critical Applications. - Oleksandr Drozd; Vitaliy A. Romankevich; Mykola Kuznietsov; Myroslav Drozd; Oleksandr Martynyuk (DESSERT, 2020)

Development of ICT Models in Area of Safety Education. - Oleksandr Drozd; Kostiantyn Zashcholkin; Oleksandr Martynyuk; Julia V. Drozd; Yulian Sulima (EWDTS, 2020)

A Method to Improve FPGA Project Checkability for Safety-Related Applications. - Oleksandr Drozd; Oleksandr Martynyuk; Kostiantyn Zashcholkin; Mykola Kuznietsov; Julia V. Drozd; Anastasiya Troynina (ICST, 2020)

Development of Checkability in FPGA Components of Safety-Related Systems. - Oleksandr Drozd; Kostiantyn Zashcholkin; Oleksandr Martynyuk; Olena Ivanova; Julia V. Drozd (ICTES, 2020)

Behavioral Agent Testing of Distributed Information Systems. - Oleksandr Martynyuk; Oleksandr Drozd; Hanna Stepova; Viktor Antonyuk; Dmitry Martynyuk (ICTES, 2020)

A Method of Developing a Checkable Self-Recovery Floating-Point Pipeline System. - Oleksandr Drozd; Igor Kovalev; Oleksandr Martynyuk; Kostiantyn Zashcholkin; Julia V. Drozd (IntelITSIS, 2020)

Evaluating Real Checkability for FPGA-Based Components of Safety-Related Systems. - Oleksandr Drozd; Kostiantyn Zashcholkin; Maciej Dobrowolski; Anatoliy Sachenko; Oleksandr Martynyuk; Olena Ivanova; Julia V. Drozd (COLINS, 2021)

Resilient Development of Models and Methods in Computing Space. - Oleksandr Drozd; Andrzej Rucinski 002; Kostiantyn Zashcholkin; Oleksandr Martynyuk; Julia V. Drozd (EWDTS, 2021)

Model of Multiagent Cooperation for Behavioral Testing. - Oleksandr Martynyuk; Oleksandr Drozd; Hanna Stepova; Bui Van Thuong; Dmitry Martynyuk; Lyudmila Sugak (EWDTS, 2021)

Verification Model for Agent Coordination of Distributed Information Systems. - Oleksandr Martynyuk; Oleksandr Drozd; Anatoliy Sachenko; Hanna Stepova; Dmitry Martynyuk; Lyudmila Sugak; Iryna Turchenko (IDAACS, 2021)

Models of Distributed Systems Testing Based on Energy Consumption in Behavior. - Oleksandr Martynyuk; Lyudmila Sugak; Hanna Stepova; Viktor Antoniuk; Igor Mileiko (IntelITSIS, 2021)

Authentication and Request Processing Model in High Load Modes for IoT Components. - Sergii Surkov; Oleksandr Martynyuk (IntelITSIS, 2021)

Augmented Checkability of LUT-oriented Circuits in FPGA-based Components of Safety-Related Systems. - Oleksandr Drozd; Illya Baskov; Oleksandr Martynyuk; Kostiantyn Zashcholkin; Myroslav Drozd (IntelITSIS, 2022)

Model for Verification of Intelligence of Multiagent Systems. - Oleksandr Martynyuk; Oleksandr Drozd; Anatoliy Sachenko; Kostiantyn Zashcholkin; Igor Mileiko (IntelITSIS, 2022)

Some Method of Behavioral Energy Testing of Distributed Computer Systems. - Oleksandr Martynyuk; Oleksandr Drozd; Bui Van Thuong; Hanna Stepova; Lyudmila Sugak; Dmitry Martynyuk (DESSERT, 2023)

Model of Verification of Distributed Storage Systems. - Oleksandr Martynyuk; Oleksandr Drozd; Lyudmila Sugak; Sergiy Kravtsov; Dmitry Martynyuk; Igor Kovalev (EWDTS, 2023)

Development of Verification Model for Intelligence of Multiagent Systems. - Oleksandr Martynyuk; Oleksandr Drozd; Anatoliy Sachenko; Dmitry Martynyuk; Igor Mileiko; Igor Kopytchuk; Grygoriy Hladiy (IDAACS, 2023)