• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Новости

Семинар лаборатории ПОИС: Фреймворк 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» выступил студент отделения программной инженерии НИУ ВШЭ Дмитрий Назаренко.

подробнее...