| Дата выпуска | Название | Автор(ы) |
| 2020 | Behavioral agent testing of distributed information systems | Martynyuk, Oleksandr; Мартинюк, Олександр Миколайович; Drozd, Oleksandr; Дрозд, Олександр Валентинович; Stepova, Hanna; Степова, Ганна Сергіївна; Antonyuk, Viktor; Антонюк, Віктор Вікторович; Martynyuk, Dmytro; Мартинюк, Дмитро Олександрович |
| 7-Окт-2019 | Behavioral Verefication of Internet of Things Systems by Petri Nets | Martynyuk, Oleksandr; Мартинюк, Олександр Миколайович; Мартынюк, Александр Николаевич; Drozd, Oleksandr; Дрозд, Олександр Валентинович; Дрозд, Александр Валентинович; Nesterenko, Sergey; Нестеренко, Сергій Анатольевич; Нестеренко, Cергей Анатольевич; Tamem Ahmesh; Тамем Ахмеш |
| 2019 | Checkable FPGA Design: Energy Consumption, Throughput and Trustworthiness | Drozd, Alex; Antoshchuk, Svetlana; Drozd, Julia; Zashcholkin, Konstantin; Drozd, Miroslav; Kuznietsov, Nikolay; Al-Dhabi, Mohammed; Nikul, Valery; Дрозд, Олександр Валентинович; Drozd, Oleksandr; Антощук, Світлана; Защолкін, Костянтин Вячеславович; Дрозд, Мирослав Олександрович |
| 5-Мар-2019 | Compositional Method of FPGA Program Code Integrity Monitoring Based on the Usage of Digital Watermarks | Zashcholkin, Kostantin; Защолкін, Костянтин Вячеславович; Защелкин, Константин Вячеславович; Drozd, Oleksandr; Дрозд, Олександр Валентинович; Дрозд, Александр Валентинович; Ivanova, Olena; Іванова, Олена Миколаївна; Иванова, Елена Николаевна; Sulima, Julian; Суліма, Юліан Юрієвич; Сулима, Юлиан Юрьевич |
| 2019 | Embedding the Digital Watermarks into FPGA-Projects Containing the Adaptive Logic Modules | Zashcholkin, Kostiantyn; Drozd, Oleksandr; Ivanova, Olena; Shaporin, Ruslan; Veselska, Olga; Stepova, Hanna |
| 2019 | Power-consumption-oriented checkability for FPGA-based components of safety-related systems | Drozd, Oleksandr; Antoniuk, Viktor; Drozd, Miroslav; Karpinskyi, Volodymyr; Bykovyy, Pavlo |
| 25-Мар-2019 | Power-Oriented Checkability and Monitoring of the Current Consumption in FPGA Projects of the Critical Applicftions | Antoniuk, Viktor; Антонюк, Віктор Вікторович; Антонюк, Виктор Викторович; Drozd, Miroslav; Дрозд, Мирослав Олександрович; Дрозд, Мирослав Александрович; Drozd, Oleksandr; Дрозд, Олександр Валентинович; Дрозд, Александр Валентинович |
| 2018 | Дослідження динамічної моделі подійного моніторингу веб сервісу | Богдан, Сергій Віталійович; Дрозд, Олександр Валентинович; Дрозд, Александр Валентинович; Drozd, Oleksandr |
| 7-Дек-2018 | Достоверность результатов и метода их контроля в матричном умножителе Мантисс | Ясмина Мохамад Зейн; Косандяк, Валентин; Дрозд, Олександр Валентинович; Дрозд, Александр Валентинович; Drozd, Oleksandr |
