Vadym Shkarupylo
Vadym Shkarupylo
Assoc. Prof., National University of Life and Environmental Sciences of Ukraine
Підтверджена електронна адреса в it.nubip.edu.ua - Домашня сторінка
НазваПосиланняРік
Development of stratified approach to software defined networks simulation
VV Shkarupylo, SY Skrupsky, AO Oliinyk, TO Kolpakova
Приватне підприємство" Технологічний Центр", 2017
162017
The model for estimation of computer system used resources while extracting production rules based on parallel computations
AA Oliinyk, SY Skrupsky, VV Shkarupylo, SA Subbotin
Radio Electronics, Computer Science, Control, 2017
82017
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
62016
A technique of DEVS-driven validation
V Shkarupylo
2016 13th International Conference on Modern Problems of Radio Engineering …, 2016
62016
Sravnitel’nyjj analiz podkhodov k realizacii processa avtomatizirovannogo sinteza kompozitnykh veb-servisov
VV Shkarupylo, RK Kudermetov
Naukovyi visnyk Chernivetskoho natsionalnoho universytetu im. Yu. Fedkovycha …, 2011
52011
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
42018
Parallel multiagent method of big data reduction for pattern recognition
AО Oliinyk, SY Skrupsky, VV Shkarupylo, OY Blagodariov
Radio Electronics, Computer Science, Control, 82-92, 2017
42017
A Simulation-driven Approach for Composite Web Services Validation
V Shkarupylo
Central European Conference on Information and Intelligent Systems, 227, 2016
42016
DEVS-oriented technique for composite web services validity checking
VV Shkarupylo, RK Kudermetov, OV Polska
Radio Electronics, Computer Science, Control, 2015
32015
An Approach to Composite Web Services Formal Verification
VV Shkarupylo, RК Kudermetov
Наукові праці Донецького національного технічного університету. Сер …, 2012
32012
A MODEL OF MULTI-BEHAVIORAL COMPOSITE WEB SERVICE TLA-SPECIFICATION
VV Shkarupylo
Radio Electronics, Computer Science, Control, 2013
12013
Towards Model Checking of the Internet of Things Solutions Interoperability
V Shkarupylo, R Kudermetov, T Golub, O Polska, M Tiahunova
2018 International Scientific-Practical Conference Problems of …, 2018
2018
QUALITY OF SERVICES IN SCIENTIFIC WORKFLOWS
R Kudermetov, O Polska, V Shkarupylo, N Shcherbak
Electrotechnic and Computer Systems, 170-177, 2018
2018
The approach to SDN Network topology verification on a basis of Temporal Logic of Actions
V Shkarupylo, O Polska
2018 14th International Conference on Advanced Trends in Radioelecrtronics …, 2018
2018
The system for control and accounting of working time
AM Plakhtii, VV Shkarupylo, SB Byelikov
Faculty of Management Science and Informatics University of Zilina, 2017
2017
Разработка стратифицированного подхода к имитационному моделированию программно-конфигурируемых сетей
V Shkarupylo, S Skrupsky, A Oliinyk, T Kolpakova
Восточно-Европейский журнал передовых технологий 5 (9), 67-73, 2017
2017
The Concurrency Representation in TLA+ Specification
VV Shkarupylo, I Tomičić, DV Arapin
ОРГАНІЗАТОРИ КОНФЕРЕНЦІЇ, 118, 2016
2016
TLC model checking and the concurrency in specification
V Shkarupylo
ВНТУ, 2016
2016
МОДЕЛЬ TLA-СПЕЦИФИКАЦИИ КОМПОЗИТНОГО ВЕБ-СЕРВИСА С МНОЖЕСТВОМ ДИНАМИК
VV Shkarupylo
Радіоелектроніка, iнформатика, управління, 2013
2013
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 …, 0
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20