Ви є тут

Головна

1.            Шкарупило В.В. Преобразование TLA-спецификаций WS-BPEL-процессов в DEVS-модели / В.В. Шкарупило // Моделювання: ХХХІІІ науково-технічна конференція, 15–16 січня 2014 р.: тези доп. – К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2014. – с. 3.
2.            Шкарупило В.В. Метод формальной верификации TLA-спецификаций композитных веб-сервисов / В.В. Шкарупило // Параллельные вычисления и моделирование : Школа-семинар, посвященная 95-летию НАНУ, Киев, 13 дек. 2013 г. : тез. докл. – К.: ИПМЭ им. Г.Е. Пухова. – К., 2013. – С. 12.
3.            Шкарупило В.В. Стратифицированная метамодель формальных TLA-спецификаций композиций веб-сервисов / В.В. Шкарупило, Р.К. Кудерметов // Информатика и компьютерные технологии : ІХ Междунар. науч.-техн. конф. студентов, аспирантов и молодых ученых, 4–6 ноября 2013 г. : тез. докл. – Донецк : ДонНТУ, 2013. – С. 220–224.
4.            Шкарупило В.В. Подход к автоматизации процедуры верификации формальной TLA-спецификации композитного веб-сервиса / В.В. Шкарупило // Автоматизація і комп’ютерні технології : Міжнар. наук.-практ. конф., присвячена 50-річчю кафедри АТПіВ ДВНЗ ПДТУ, 25–27 вересня 2012 р. : тези доп. – Маріуполь : ДВНЗ ПДТУ, 2012. – С. 51–52.
5.            Shkarupylo V.V. A brief review on Model Checking method usage / V.V. Shkarupylo // Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій : VI Міжнар. наук.-практ. конф., 19–21 вересня 2012 р. : тези доп. – Запоріжжя : ЗНТУ, 2012. – С. 227–229.
6.            Шкарупило В.В. Подход к валидации композитных веб-сервисов / В.В. Шкарупило, Р.К. Кудерметов // МОДЕЛИРОВАНИЕ – 2012 : Междунар. науч. конф., 16–18 мая 2012 г. : тез. докл. – К. : ИПМЭ им. Г.Е. Пухова, 2012. – С. 458–460.
7.            Шкарупило В.В. Методика автоматизированного синтеза композитных веб-сервисов / В.В. Шкарупило, Р.К. Кудерметов // Информатика и компьютерные технологии : VІІ Междунар. науч.-техн. конф. студентов, аспирантов и молодых ученых, 22–23 ноября 2011 г. : тез. докл. – Донецк : ДонНТУ, 2011. – Том 1. – С. 382–384.
8.            Шкарупило В.В. Анализ подходов к композиции веб-сервисов / В.В. Шкарупило // Современные информационные и электронные технологии, СИЭТ-2011 : 12 Междунар. науч.-практ. конф., 23–27 мая 2011 г. : тез. докл. – Одесса : ОНПУ, 2011. – с. 146.
9.            Шкарупило В.В. Анализ проблематики композиции веб-сервисов / В.В. Шкарупило // Радиоэлектроника и молодежь в XXI веке : 15 Юбилейный Междунар. молодежн. форум, 18–20 апреля 2011 г. : тез. докл. – Харьков : ХНУРЭ, 2011. – Том 5. – С. 48–49.
10.       Шкарупило В.В. О критериях анализа процессов композиции веб-сервисов / В.В. Шкарупило, Р.К. Кудерметов // Інформаційні управляючі системи та комп’ютерний моніторинг, ІУС-КМ-2011 : ІІ Всеукр. наук.-техн. конф. студентів, аспірантів та молодих вчених, 11–13 квітня 2011 р. : тези доп. – Донецьк : ДонНТУ, 2011. – Том 3. – С. 243–246.
11.       Шкарупило В.В. Навчально-дослідницький Grid-кластер ЗНТУ / В.В. Шкарупило, Р.К. Кудерметов, С.Ю. Скрупський [та ін.] // Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій, РТІТ-2010 : V Міжнар. наук.-техн. конф., 22–24 вересня 2010 р. : тези доп. – Запоріжжя : ЗНТУ, 2010. – С. 202–204.
12.       Shkarupylo V.V. Virtual chair model based on jade agent system / V.V. Shkarupylo, R.K. Kudermetov // Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій, РТІТ-2010 : V Міжнар. наук.-техн. конф., 22–24 вересня 2010 р. : тези доп. – Запоріжжя : ЗНТУ, 2010. – С. 138–139.
13.       Шкарупило В.В. Развертывание кластера GRID ЗНТУ / В.В. Шкарупило, Р.К. Кудерметов // Тиждень науки : наук.-техн. конф., 12–16 квітня 2010 р. : тези доп. – Запоріжжя: ЗНТУ, 2010.
14.       Шкарупило В.В. Прогнозирование роста Internet-трафика / В.В. Шкарупило, К.М. Касьян // Тиждень науки : наук.-техн. конф., 12–16 квітня 2010 р. : тези доп. – Запоріжжя: ЗНТУ, 2010.
15.       Шкарупило В.В. Дискретно-событийное моделирование взаимодействия планировщиков Grid / Информационные процессы и технологии "Информатика-2010" : III Всеукр. науч.-практ. конф. молодых ученых и студентов, 26–30 апреля 2010 г. : тез. докл. – Севастополь: СевНТУ, 2010.
 
Всього виконано доповідей на 15 конференціях.