Подписаться
Vadym Shkarupylo / Вадим Шкарупило
Vadym Shkarupylo / Вадим Шкарупило
Другие именаВадим Шкарупило, В. Шкарупило, В.В. Шкарупило
NULES of Ukraine, G.E. Pukhov Institute for Modelling in Energy Engineering
Подтвержден адрес электронной почты в домене nubip.edu.ua - Главная страница
Название
Процитировано
Процитировано
Год
Development of stratified approach to software defined networks simulation
V Shkarupylo, S Skrupsky, A Oliinyk, T Kolpakova
Восточно-Европейский журнал передовых технологий, 67-73, 2017
392017
Stratified model of the internet of things infrastructure∗ jamil abedalrahim jamil alsayaydeh,“vadym shkarupylo,” mohd saad bin Hamid,“Stepan skrupsky” and “andrii oliinyk …
JAJ Alsayaydeh
Journal of Engineering and Applied Sciences 13 (20), 8634-8638, 2018
382018
The investigation of TLC model checker properties
VV Shkarupylo, I Tomičić, KM Kasian
Journal of Information and Organizational Sciences 40 (1), 145-152, 2016
262016
An Approach to increase the Effectiveness of TLC Verification with Respect to the Concurrent Structure of TLA+ Specification
VV Shkarupylo, I Tomičić, KM Kasyan, J Alsayaydeh
Faculty of Computer Systems & Software Engineering (FSKKP), 2018
212018
Evaluation of the efficiency of the use of electricity storage systems in the balancing group and the small distribution system
I Blinov, I Trach, Y Parus, V Khomenko, V Kuchanskyy, V Shkarupylo
2021 IEEE 2nd KhPI Week on Advanced Technology (KhPIWeek), 262-265, 2021
182021
Development of smart dustbin by using apps
JAJ Alsayaydeh, WAY Khang, WA Indra, V Shkarupylo, J Jayasundar
ARPN Journal of Engineering and Applied Sciences 14 (21), 3703-3711, 2019
172019
Homes appliances control using bluetooth
JA Alsayaydeh, M Nj, SN Syed, AW Yoon, WA Indra, V Shkarupylo, ...
ARPN Journal of Engineering and Applied Sciences 14 (19), 3344-3357, 2019
132019
A technique of DEVS-driven validation
V Shkarupylo
2016 13th International Conference on Modern Problems of Radio Engineering …, 2016
132016
Development of vehicle door security using smart tag and fingerprint system
JAJ Alsayaydeh, AWY Khang, WA Indra, HAKM Zakir, V Shkarupylo, ...
International Journal of Engineering and Advanced Technology 9 (1), 3108-3114, 2019
112019
A simulation-driven approach for composite web services validation
V Shkarupylo
Central European Conference on Information and Intelligent Systems, 227, 2016
102016
Development of vehicle ignition using fingerprint
JAJ Alsayaydeh, WA Indra, WAY Khang, V Shkarupylo, D Jkatisan
ARPN Journal of Engineering and Applied Sciences 14 (23), 4045-4053, 2019
92019
The model for estimation of computer system used resources while extracting production rules based on parallel computations
A Oliinyk, SY Skrupsky, VV Shkarupylo, S Subbotin
Радіоелектроніка, інформатика, управління, 142-152, 2017
92017
The experimental studies of the automatic control methods of magnetic separators performance by magnetic product
JAJ Alsayaydeh, WAY Khang, A Hossain, V Shkarupylo, J Pusppanathan
ARPN Journal of Engineering and Applied Sciences 15 (7), 922-927, 2020
82020
Modification and parallelization of genetic algorithm for synthesis of artificial neural networks
SD Leoshchenko, AO Oliinyk, SA Subbotin, VA Lytvyn, VV Shkarupylo
Radio Electronics, Computer Science, Control, 68-82, 2019
82019
On Applicability of Model Checking Technique in Power Systems and Electric Power Industry
VV Shkarupylo, IV Blinov, AA Chemeris, VV Dusheba, JAJ Alsayaydeh
Systems, Decision and Control in Energy III, 3-21, 2022
72022
QoS-aware Web-services ranking: normalization techniques comparative analysis for LSP method
O Polska, R Kudermetov, JAJ Alsayaydeh, V Shkarupylo
ARPN Journal of Engineering and Applied Sciences 16 (2), 248-254, 2021
72021
ОЦІНЮВАННЯ ПРОСТОРОВОЇ СКЛАДНОСТІ ЗАДАЧІ ФОРМАЛЬНОЇ ВЕРИФІКАЦІЇ, ВИРІШУВАНОЇ МЕТОДОМ ПЕРЕВІРКИ НА МОДЕЛІ1
ВВ Шкарупило, ОА Чемерис, ВВ Душеба
ВЧЕНІ ЗАПИСКИ, 52020147, 2020
72020
Method of artificial neural network synthesis for using in integrated cad
S Leoshchenko, A Oliinyk, S Subbotin, S Shylo, V Shkarupylo
2019 IEEE 15th International Conference on the Experience of Designing and …, 2019
72019
Застосування формальних методів для перевірки систем критичного призначення
ВВ Шкарупило, ВФ Євдокимов, ВВ Душеба
Вчені записки ТНУ імені ВІ Вернадського 30 (69), 188-193, 2019
72019
DEVS-орієнтована методика валідації композитних веб-сервісів
ВВ Шкарупило, РК Кудерметов, ОВ Польська
Радіоелектроніка, інформатика, управління, 79-86, 2015
72015
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20