Семинар лаборатории ПОИС: Фреймворк ProM 6 как инструмент для работы с BPMN моделями // С. Иванов
В понедельник, 31-го марта, Сергей Иванов (стажер-исследователь лаборатории ПОИС) представил доклад на тему: Фреймворк ProM 6 как инструмент для работы с BPMN моделями.
PAIS Lab seminar: On the application of timed automata and UPAAL toolset to the verification of Software Defined Networks // U. Popesko
В понедельник, 17-го марта , Ульяна Владиславовна Попеско (аспирант Московского государственного университета имени Ломоносова) представила доклад на тему: On the application of timed automata and UPAAL toolset to the verification of Software Defined Networks.
PAIS Lab seminar: Analyzing Web Service Resource Compatibility // I. A. Lomazova
В понедельник, 3-го марта, на очередном заседании научного семинара лаборатории с докладом на тему "Analyzing Web Service Resource Compatibility" выступила проф. Ирина Александровна Ломазова, заведующий лабораторией ПОИС, профессор отделения программной инженерии НИУ ВШЭ.
PAIS Lab seminar: Static analysis for data race detection // P. Andrianov
В понедельник, 10-го февраля, на очередном заседании научного семинара лаборатории с докладом на тему "Static analysis for data race detection" выступил Павел Андрианов, сотрудник ИСП РАН.
Семинар лаборатории ПОИС: Software Process Mining // В. Рубин
В понедельник, 27-го января в 18:30, на очередном заседании научного семинара лаборатории с докладом на тему "Software Process Mining" выступил Владимир Рубин, PhD, ведущий научный сотрудник лаборатории ПОИС.
Семинар лаборатории ПОИС: Binary and source code analysis for developing high quality program systems // Е. Трошина
В понедельник 20-го января лаборатория ПОИС открыла новый сезон научных семинаров выступлением Екатерины Трошиной, к.ф.-м.н., SmartDec. Тема доклада: Binary and source code analysis for developing high quality program systems.
Конкурс НИРС – 2013: итоги подведены
Подведены итоги конкурса научно-исследовательских работ студентов Высшей школы экономики в 2013-ом году.
Двое стажеров-исследователей нашей лаборатории заняли призовые места.
Мы поздравляем Никиту Гундобина (2-е место в номинации «Лучшая работа бакалавра по бизнес-информатике»), который под руководством научного сотрудника лаборатории Анны Алексеевны Каленковой представил работу «Построение BPMN-моделей по каузальным сетям».
Не менее горячо поздравляем Даниила Фрумина (3-е место в номинации «Лучшая работа бакалавра по бизнес-информатике»), представившего под руководством научного сотрудника лаборатории Леонида Владимировича Дворянского работу «On temporal properties of nested Petri nets».
Желаем дальнейших успехов всем стажерам лаборатории!
PAIS Lab seminar: DPMine concept: current status // S. Shershakov
Состоялось последнее заседание научного семинара лаборатории ПОИС в 2013 году.
Сергей Шершаков (научный сотрудник лаборатории ПОИС) представил доклад на тему: DPMine concept: current status.
Ждем Вас на следующем заседании научного семинара лаборатории, которое состоится 20 января 2014 года.
Поздравляем с наступающим Новым годом и Рождеством!
Авторская аннотация и слайды
Семинар лаборатории ПОИС: True Concurrency and Net Unfoldings // Д. Фрумин
Даниил Фрумин (стажер-исследователь лаборатории ПОИС) представил доклад на тему: True Concurrency and Net Unfoldings.
подробнее...
Семинар лаборатории ПОИС: Activiti BPM Platform // Д. Назаренко
В понедельник (2-го декабря) на семинаре лаборатории ПОИС с докладом по теме «Activiti BPM Platform» выступил студент отделения программной инженерии НИУ ВШЭ Дмитрий Назаренко.
подробнее...