Мартинюк Олександр Миколайович

Кандидат технічних наук, доцент

martynyuk@op.edu.ua

+380674898169

ЄДЕБО ID:

4507618

Наукометричні ідентифікатори

ORCID: 0000-0003-1461-2000

Посада та місце роботи

Завідувач кафедри

Кафедра комп'ютерних інтелектуальних систем та мереж

Доцент кафедри

Кафедра інженерії програмного забезпечення

Індексація в наукометричних базах

Google Академія

Вища освіта

Кандидат наук - 05.13.06 Автоматизовані системи управління та прогресивні інформаційні технології

Спеціаліст - Електронні обчислювальні машини

Вчений ступінь

Кандидат технічних наук

Вчене звання

Доцент

Основні наукові публікації

Статті

Мартынюк, А. Н. Построение поведенческих тестов для недетерминированной временной автоматной модели / А. Н. Мартынюк, А. С. Сугак // Электротехн. и компьютер. системы. – 2015. – № 17 (93). – С. 63–68.

Models of Distributed Systems Testing Based on Energy Consumption in Behavior / O. Martynyuk, L. Sugak, H. Stepova, V. Antoniuk, I. Mileiko // IntelITSIS’2021 : 2nd International Workshop on Intelligent Information Technologies and Systems of Information Security, Ukraine, Khmelnytskyi, March 24–26 2021. – Р. 481–493.

Martynyuk O., Drozd O., Stepova H., Antonyuk V., Martynyuk D. (2020). Behavioral Agent Testing of Distributed Information Systems, Proceedings of the 2nd International Workshop on Information-Communication Technologies & Embedded Systems (ICTES 2020), Mykolaiv, Ukraine (online), November 12. рp. 110-121. Online: http://ceur-ws.org/Vol-2762/paper7.pdf

Drozd O., Martynyuk O., Zashcholkin K., Drozd J. (2019). An Increase in Trustworthiness of Result Checking in Arithmetic Components of Embedded Systems. CEUR Workshop Proceedings. vol. 2516, pp. 177-189. Online http://ceur-ws.org/Vol-2516/paper14.pdf

Behavioral Verification of Internet of Things Systems by Petri Nets / O. N. Martynyuk, O. V. Drozd, S. A. Nesterenko, T. Ahmesh // Applied Aspects of Information Technology. – 2019. – Vol. 2, No 4. – P. 295-303.

Martyniuk O. N. Single-level method of behavioral online testing of distributed information systems. / O. N. Martyniuk, T. Ahmesh, O. V. Drozd, O. N. Molotkov, K. V. Smoktii // Systems and Technologies. – 2019. – № 2 (58). – C. 102–114.

Martynyuk O. Hierachical Model of Behavior On-line Testing for Distributed Information Systems / O. Martynyuk, O. Drozd, Ahmesh Tamim, Bui Van Thuong, A. Sachenko, H. Mykhailova, M. Dombrovskyi // The 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications,18-20 September 2019. - Metz, France, 2019. - Vol. 2. - P. 724-729.

Multi-level Method of Behavioral Online Testing of Distributed Information Systems / O. Martynyuk, O.Drozd, H. Stepova, D. Martynyuk // The 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 18-20 September 2019. - Metz, France., 2019. - Vol. 1. - P. 279-284.

Evaluating Real Checkability for FPGA-based Components of Safety-Related Systems / O. Drozd, K. Zashcholkin, M. Dobrowolski, A. Sachenko, O. Martynyuk, O. Ivanova, J. Drozd // CEUR-WS. - 2021. - Vol. 2870. - P. 1832-1842.

Поведенческий рабочий контроль сетевых компьютерных систем / А. Н. Мартынюк, Ахмеш Тамим, Д. А. Мартынюк, А. В. Дрозд // Электротехн. и компьютер. системы. – 2018. – № 28 (104). – С. 201–207.

Поведенческая модель тестирования энергозатрат сетевых систем / А. Н. Мартынюк, Буи Ван Тхионг, Д. А. Мартынюк, А. С. Степовая // Електротехн. та комп`ютер. системи. – 2018. – № 28 (104). – 2018. – С. 208–214.

Контролепридатність ієрархічних переходів у поведінковому контролі / О. М. Мартинюк, Ахмеш Тамім, О. В. Дрозд, Г. С. Степова // Системи та технології. – 2018. – № 1 (56). – С. 30–40.

A method of the hidden faults elimination in FPGA projets for the critical applications / O. Drozd, M. Kuznietsov, O. Martynyuk, M. Drozd // IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT), Kyiv, UKraine, 24-27 May 2018. - 2018. - P. 218-221.

Multidimensional Hierarchical Model of Behavioral Testing of Distributed Information Systems / O. Martynyuk, O. Drozd, H. Suhak, D. Martynyuk, L. Sugak // IEEE East-West Design and Test Symposium (EWDTS), Batumi, Georgia, 13-16 September 2019. - 2019. - P. 517-522.

Sharing of Functional and Special Means in Pipeline Floating-Point Systems with Strongly Connected Versions / O. Drozd, I. Kovalev, M. Drozd, O. Martynyuk,, S. Polozhaenko // 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), Metz, France, September 18-20, 2019. - 2019. - Vol. 1. - P. 249-253.

Hierachical Model of Behavior On-line Testing for Distributed Information Systems / O. Martynyuk, O. Drozd, Ahmesh Tamim, Bui Van Thuong, A. Sachenko, H. Mykhailova // 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), Metz, France, 18-21 September 2019. - 2019. - Vol. 2. - P. 724-729.

Single-level method of behavioral online testing of distributed information systems / O. N. Martyniuk, T. Ahmesh, O. V. Drozd, O. N. Molotkov, K. V. Smoktii // Системи та технології. – 2019. – № 2. – С. 102–114

Multilevel Behavioral Testing of Distributed Information Systems / O. N. Martynyuk, Tamem Ahmesh, Bui Van Thuong, O. V. Drozd // Herald of Advanced Information Technology. – 2019. – Vol 2, N 4. – P. 298–309.

Behavioral Verification of Internet of Things Systems by Petri Nets / O. N. Martynyuk, O. V. Drozd, A. S. Nesterenko, T. Ahmesh // Applied aspects of information technology. - 2019. - Vol. 2, N 4. - С. 295-303.

Authentication and request processing model in high load modes for IoT components / S. Surkov, O. Martynyuk // IntelITSIS’2021 : 2nd International Workshop on Intelligent Information Technologies and Systems of Information Security, Khmelnytskyi, Ukraine, March 24–26, 2021. - Vol. 2853. - P. 427-438.

Martynyuk, O. Model of process synchronization in through analysis / O. Martynyuk // Advances in Cyber-Physical Systems. - 2021. - Vol. 6, N 1. - P. 33–38.

Behavioral hidden testing of distributed information systems taking into account of energy / O. M. Martynyuk, O. V. Drozd, S. A. Nesterenko, V. Yu. Skobtsov, Thuong Van Bui // Herald of Advanced Information Technology". 2021. - Vol. 4, N 2. - P. 135-145.

Model for verification of agent commutations of distributed multiagent systems / O. Martynyuk, O. Drozd, A. Sachenko, H. Stepova, Bui Van Thuong, D. Martynyuk // IEEE 4th International Conference on Advanced Information and Communication Technologies (AICT), Lviv, Ukraine, 21–25 September 2021. – 2021. – P. 60–65.

Verification model for agent coordination of distributed information systems / O. Martynyuk, O. Drozd, A. Sachenko, H. Stepova, D. Martynyuk, L. Sugak // 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), Cracow, Poland, 22–25 September 2021. – 2021. – P. 984–989.

Model of multiagent cooperation for behavioral testing / O. Martynyuk, O. Drozd, H. Stepova, Bui Van Thuong, D. Martynyuk, L. Sugak // IEEE East-West Design and Test Symposium (EWDTS), Batumi, Georgia, 10–13 September 2021. – 2021. – P. 224–228.

Augmented checkability of LUT-oriented circuits in FPGA-based components of safety-related systems / O. Drozd, I. Baskov, O. Martynyuk, K. Zashcholkin, M. Drozd // 3rd International Workshop on Intelligent Information Technologies and Systems of Information Security, Khmelnytskyi, Ukraine, March 23–25, 2022. – 2022. – Vol. 3156. – P. 474–483.

Development of verification model for intelligence of multiagent systems / O. Martynyuk, O. Drozd, A. Sachenko, D. Martynyuk, I. Mileiko, I. Kopytchuk, G. Hladiy // 12th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, Dortmund, Germany, 7-9 September 2023. - 2023. - P. 211-220.

Model of verification of distributed storage systems / O. Martynyuk, O. Drozd, L. Sugak, S. Kravtsov, D. Martynyuk, I. Kovalev // IEEE East-West Design and Test Symposium (EWDTS), Batumi, Georgia, 22-25 September 2023. - 2023. - P. [1-7].

An increase in trustworthiness of result checking in arithmetic components of embedded systems / O. Drozd, O. Martynyuk, K. Zashcholkin, Ju. Drozd // 1st International Workshop on Information-Communication Technologies and Embedded Systems, Mykolaiv 14-15 november 2019. - 2019. - Vol. 2516. - P. 177-189.

A model and method for enhancing the efficiency of processing operation queues atmaximum server equipment load / S. S. Surkov, O. M. Martynyuk, O. V. Drozd, M. O. Drozd // Applied Aspects of Information Technology. - 2024. - Vol. 7, N 2. - P. 125-134.

Checkable FPGA-Based Components of Safety-Related Systems / O. Drozd, K. Zashcholkin, A. Sachenko, O. Martynyuk, O. Ivanova, Ju. Drozd // Communications in Computer and Information Science. – 2022. – Vol. 1635. – P. 425–441. – [ICTERI 2021 Workshops].

Nesterenko S. A., Tishin P. M., Shtilman P. R., Martynyuk O. N., Mileiko I. G. Fuzzy models of wireless components sensor networks // Herald of Advanced Information Technology. 2025. Vol. 8, N 2. Р. 209–220.

Монографії

Internet of Things for Industry and Human Applications. In Vol. 1-3. Vol. 2. Modelling and Development / O. D. Drozd, О. О. Illiashenko, V. S. Kharchenko (et al.) ; еdited by V. S. Kharchenko ; National Aerospace University “Kharkiv Aviation Institute”. - 2019. - 547 p.

Simulation of Internet of Things based Systems : Internet of Things for Industry and Human Applications : рracticum / O. V. Drozd, D. A. Maevsky, O. J. Maevskaya [and others.] ; Edited by D. A. Maevsky ; Odessa National Polytechnic University, National Aerospace University “KhAI”, Zaporizhzhia National Technical University. – 2019. – 130 p.

Internet of Things for Industry and Human Application. In Vol. 1-3. Vol. 2. Modelling and Development / O. V. Drozd, O. O. Illiashenko, V. S. Kharchenko, M. O. Kolisnyk, G. V. Kondratenko, Yu. P. Kondratenko, O. Yu. Maevskaya, D. A. Maevsky, O. M. Martynyuk, D. S. Mazur, M. V. Nesterov, A. P. Plakhteyev, V. V. Shkarupylo, Ie. V. Sidenko, I. S. Skarga-Bandurova, V. V. Sklyar, G. V. Tabunshchyk, M. O. Taranov, A. Y. Velykzhanin, D. D. Uzun, Y. O. Uzun, N. G. Yatskiv, V. V. Yatskiv, H. A. Zemlianko ; Ministry of Education and Science of Ukraine, National Aerospace University KhAI. – 2019. – 547 p.

Internet of Things for Industry and Human Application. In Vol. 1-3. Vol. 3. Assessment and Implementation / R. M. Babakov, T. O. Biloborodova, A. O. Bojko, V. V. Bousher, E. V. Brezhniev, P. Y. Bykovyy, M. V. Derkach, Z. I. Dombrowskyi, S. I. Dotsenko, O. V. Drozd, H. V. Fesenko, O. S. Gerasin, G. M. Hladiy, O. O. Illiashenko, V. S. Kharchenko, V. V. Kochan, M. O. Kolisnyk, Yu. P. Kondratenko, O. V. Korobko, O. V. Kozlov, Y. M. Krainyk, Y. O. Kritska, S. D. Leoshchenko, D. A. Maevsky, O. Yu. Maevskaya, O. М. Martynyuk, S. V. Morshchavka, M. P. Musiyenko, A. O. Oliinyk, O. O. Orekhov, O. R. Osolinskyi, A. V. Parkhomenko, D. V. Pavlenko, O. Sachenko, I. S. Skarga-Bandurova, O. O. Solovyov, A. O. Stadnik, A. A. Strielkina, S. O. Subbotin, A. M. Topalov, D. D. Uzun, Al-Khafaji Ahmed Waleed, O. V. Yurchak, D. I. Zahorodnia, І. M. Zhuravska ; Ministry of Education and Science of Ukraine, National Aerospace University KhAI. – 2019. – 918 p.

Internet of Things for Smart Building and City : practicum / О. V. Drozd, D. A. Maevsky, O. J. Maevskaya, O. M. Martynyuk, A. V. Parkhomenko, O. M. Gladkova, M. O. Drozd, O. M. Ivanova, S. S. Surkov, K. V. Zashcholkin ; Edited by D. A. Maevsky. - 2019. - 156 p. - (Internet of Things for Industry and Human Applications).

Конференції

Evolution of a Problem of the Hidden Faults in the Digital Components of Safety-Related Systens / A. Drozd, M. Kuznietsov, S. Antoshchuk, A. Martynyuk, M. Drozd, Ju. Sulima // In Proceedings of 2018 IEEE East-West Design and Test Symposium, EWDTS 2018 / Institute of Electrical and Electronics Engineers. - 2018. - P. 1-5.

Sharing of functional and special means in pipeline floating-point systems with strongly connected versions / O. Drozd, I. Kovalev, M. Drozd, O. Martynyuk,, S. Polozhaenko // 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), Metz, France, September 18-20, 2019. - 2019. - Vol. 1. - P. 249-253.

Multi-level method of behavioral online testing of distributed information systems / O. Martynyuk, O. Drozd, H. Stepova, D. Martynyuk // The 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 18-20 September 2019. - Metz, France., 2019. - Vol. 1. - P. 279-284.

Multidimensional hierarchical model of behavioral testing of distributed information systems / O. Martynyuk, O. Drozd, H. Suhak, D. Martynyuk, L. Sugak // IEEE East-West Design and Test Symposium (EWDTS), Batumi, Georgia, 13-16 September 2019. - 2019. - P. 517-522.

A method to improve FPGA project checkability for safety-related applications / O. Drozd, O. Martynyuk, K. Zashcholkin, M. Kuznietsov, Ju. Drozd, A. Troynina // 9th International Conference "Information Control Systems and Technologies", ICST 2020, Odesa, 24-26 September 2020. - 2020. - Vol. 2711. - P. 150-160.

A method of developing a checkable self-recovery floating-point pipeline system / O. Drozd, I. Kovalev, O. Martynyuk, K. Zashcholkin, J. Drozd // 1st International Workshop on Intelligent Information Technologies and Systems of Information Security, Khmelnytskyi, 10-12 June 2020. - 2020. - Vol. 2623, - P. 357-367.

Using Natural Version Redundancy of FPGA Projects in Area of Critical Applications / O. Drozd, V. Romankevich, M. Kuznietsov, M. Drozd, O. Martynyuk // IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT), Kyiv, Ukraine, 14–18 May 2020. – 2020. – P. 58–64.

Development of Checkability in FPGA Components of Safety-Related Systems / O. Drozd, K. Zashcholkin, O. Martynyuk, O. Ivanova, J. Drozd // 2nd International Workshop on Information-Communication Technologies and Embedded Systems, ICTES 2020 Virtual, Mykolaiv? 12 November 2020. - 2020. - Vol. 2762. - P. 30-42.

Development of ICT models in area of safety education / O. Drozd, K. Zashcholkin, O. Martynyuk, Ju. Drozd, Yu. Sulima // IEEE East-West Design and Test Symposium (EWDTS), Varna, Bulgaria, 04-07 September 2020. - 2020. - P. 1-6.

Hidden Fault Analysis of FPGA Projects for Critical Applications / O. Drozd, I. Perebeinos, O. Martynyuk, K. Zashcholkin, O. Ivanova, M. Drozd // IEEE Proceedings 15th International Conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering, Lviv-Slavsko, Ukraine, 25-29 February, 2020. – 2020. – P. 467–471.

Model for verification of intelligence of multiagent systems / O. Martynyuk, O. Drozd, A. Sachenko, K. Zashcholkin, I. Mileiko // 3rd International Workshop on Intelligent Information Technologies and Systems of Information Security, Khmelnytskyi, Ukraine, 23–25 march 2022. – 2022. – Vol. 3156. – P. 175–186.

Some Method of Behavioral Energy Testing of Distributed Computer Systems / O. Martynyuk, O. Drozd, Bui Van Thiong, H. Stepova, L. Sugak, D. Martynyuk // 13th International Conference on Dependable Systems, Services and Technologies, DESSERT 2023, Athens, Greece, 13-15 october 2023. - 2023. - P. 1-7.

Problems of Matrix Structures in the Components of Modern Computer Systems / O. Drozd, V. Romankevich, O. Martynyuk, K. Zashcholkin, M. Drozd, V. Litvinov // 16th International Conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering (TCSET), Lviv-Slavske, Ukraine, 22-26 February 2022. - 2022. - Р. 222-227.

Optimizing Computational Time for Numerical Simulation of Dust-Laden Flows through Queue Management in Multi-Server Environments /S. S. Surkov, S. V. Surkov, O. M. Martynyuk, M. O. Drozd // 14th International Conference on Dependable Systems, Services and Technologies (DESSERT)Athens, Greece, 11-13 october 2024. - 2024. - P. 1-6.

Resilient Development of Models and Methods in Computing Space / O. Drozd, A. Rucinski, K. Zashcholkin, O. Martynyuk, Ju. Drozd // IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, 10-13 september 2021. - 2021. - P. 1-6

Checkable FPGA-Based Components of Safety-Related Systems / O. Drozd, K. Zashcholkin, A. Sachenko, O. Martynyuk, O. Ivanova, Ju. Drozd // 7th International Workshop on Theory of Reliability and Markov Modeling for Information Technologies (WS TheRMIT 2021 at the 17th International Conference ICTERI2021), Kherson, Ukraine, september 28 2021. - 2021. - [Vol. II : Workshops]. - P. [601-613].

Дисципліни які викладає

Безпека та діагностичне забезпечення IoT систем 2024

Діагностика комп'ютерних систем 2022

ДОСЛІДЖЕННЯ ТА ПРОЕКТУВАННЯ ПАРАЛЕЛЬНИХ ДИСКРЕТНИХ СИСТЕМ 2022

Дослідження та проектування паралельних дискретних систем 2022

Мережні інформаційні технології 2022

МЕРЕЖНІ ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ 2022

Програмне забезпечення мереж 2022

ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ МЕРЕЖ 2022

Проектування та діагностика систем критичного застосування 2022

ПРОЕКТУВАННЯ ТА ДІАГНОСТИКА СИСТЕМ КРИТИЧНОГО ЗАСТОСУВАННЯ 2022