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
V Shkarupylo, S Skrupsky, A Oliinyk, T Kolpakova
Восточно-Европейский журнал передовых технологий, 67-73, 2017
262017
Stratified model of the internet of things infrastructure
JAJ Alsayaydeh, HMS Bin, V Shkarupylo, S Skrupsky, A Oliinyk
Journal of Engineering and Applied Sciences 13 (20), 8634-8638, 2018
182018
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 investigation of TLC model checker properties
VV Shkarupylo, I Tomičić, KM Kasian
Journal of Information and Organizational Sciences 40 (1), 145-152, 2016
92016
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
72018
A technique of DEVS-driven validation
V Shkarupylo
2016 13th International Conference on Modern Problems of Radio Engineering …, 2016
62016
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
52017
A simulation-driven approach for composite web services validation
V Shkarupylo
Central European Conference on Information and Intelligent Systems, 227, 2016
52016
Kudermetov RK Sravnitel’nyj analiz podxodov k realizacii processa avtomatizirovannogo sinteza kompozitnyx veb-servisov
VV Shkarupylo
Naukovyi visnyk Chernivetskoho natsionalnoho universytetu imeni Yuriia …, 2011
52011
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
32018
DEVS-oriented technique for composite web services validity checking
VV Shkarupylo, RK Kudermetov, OV Polska
Radio Electronics, Computer Science, Control, 2015
32015
On the Aspects of IoT Protocols Specification and Verification
V Shkarupylo, R Kudermetov, A Timenko, O Polska
2019 IEEE International Scientific-Practical Conference Problems of …, 2019
22019
Modification of the genetic method for neuroevolution synthesis of neural network models for medical diagnosis
S Leoshchenko, A Oliinyk, S Subbotin, N Gorobii, V Shkarupylo
CEUR Workshop Proceedings, 143-158, 2019
22019
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
22018
On the approaches to cyber-physical systems simulation
V Shkarupylo, R Kudermetov, O Polska
Advances in Cyber-Physical Systems, 1 (3), 2018, 51-54, 2018
22018
An Approach to Composite Web Services Formal Verification
VV Shkarupylo, RК Kudermetov
Донецкий национальний технический университет, 2012
22012
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
12019
A MODEL OF MULTI-BEHAVIORAL COMPOSITE WEB SERVICE TLA-SPECIFICATION
VV Shkarupylo
Radio Electronics, Computer Science, Control, 2013
12013
On Hoare Triples Applicability to Dependable System Specification Synthesis
V Shkarupylo, A Chemeris, V Dusheba, R Kudermetov, A Oliinyk
2020 IEEE 11th International Conference on Dependable Systems, Services and …, 2020
2020
Formal Model for Checking the Interoperability Between the Components of the IoT system
A Tmenko, V Şkarpilo, A Oleinik, S Grușko
Problemele Energeticii Regionale 40 (1-1), 69-78, 2019
2019
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20