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

Новости

Семинар лаборатории ПОИС: Applying graph grammars for the generation of process models and their logs // В. Катаева

В понедельник, 28-го апреля, на очередном заседании семинара лаборатории ПОИС Валерия Катаева (студентка 1-го курса магистратуры отделения программной инженерии НИУ ВШЭ) представила доклад на тему: Applying graph grammars for the generation of process models and their logs.

Семинар лаборатории ПОИС: Modular system development by composing Petri nets on interfaces // Prof. Lucia Pomello

В понедельник, 21-го апреля, доктор Лючия Помелло (профессор департамента информатики, систем и коммуникаций (DISCo) университета Milano-Bicocca, Италия) представила доклад на тему: Modular system development by composing Petri nets on interfaces.

Семинар лаборатории ПОИС: Petri Hypernets for modeling mobile agents // Prof. Lucia Pomello

В понедельник, 14-го апреля, доктор Лючия Помелло (профессор департамента информатики, систем и коммуникаций (DISCo) университета Milano-Bicocca, Италия) представила доклад на тему: Petri Hypernets for modeling mobile agents.

Семинар лаборатории ПОИС: Improvements to Translation of LTL Formula to Buchi Automata // О. Кочетова

В понедельник, 7-го апреля, Ольга Кочетова (студент отделения программной инженерии НИУ ВШЭ) представила доклад на тему: Improvements to Translation of LTL Formula to Buchi Automata.

Семинар лаборатории ПОИС: Фреймворк 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.