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

Научный семинар лаборатории


Научный семинар научно-учебной лаборатории ПОИС является преемником семинара «Спецификация и верификация распределенных систем». В рамках семинара с докладами выступают не только ведущие ученые и исследователи, но и молодые специалисты, а также студенты-стажеры нашей лаборатории. Будем рады увидеть Вас на заседаниях нашего семинара! 
Семинар проходит по понедельникам в 18:10 в здании Факультета компьютерных наук НИУ ВШЭ по адресу Кочновский проезд, 3 (аудитория 402).
Следующий семинар состоится  
Рабочие языки семинара - русский, английский.
Приглашаются все желающие.

Если Вам нужно оформить пропуск в здание НИУ ВШЭ, заранее пишите менеджеру лаборатории на адрес aglazistov@hse.ru

Проведенные семинары

Сезон 2016–2017
09.10.2017 Использование журналов событий для локальной корректировки моделей процессов / Методы и инструменты повышения эффективности алгоритмов Process Mining
Алексей Мицюк, Сергей Шершаков

научные сотрудник ПОИС
02.10.2017 Победители BPI Challenge 2017, разбор и анализ решения
Елизавета Поваляева, Исмаил Хамитов, Артём Фоменко

студенты ФКН
11.05.2017 Простые алгоритмы анализа сетей Петри
Владимир Захаров

ведущий научный сотрудник ПОИС
20.04.2017 Арифметика Пресбургера
Владислав Подымов

научный сотрудник ПОИС
13.03.2017 BPI-Challenge 2012 — разбор решения
Владислав Скоков, Александр Сапрыкин и Артём Фоменко

студенты ФКН
13.02.2017 BPI-Challenge 2015 — разбор решения «Benchmarking of Five Dutch Municipalities with Process Mining Techniques Reveals Opportunities for Improvement»
Поваляева Елизавета и Александр Пластинин

студенты ФКН
17.01.2017 Nested Petri Nets: behaviour analysis and time semantics
Леонид Дворянский

научный сотрудник лаборатории ПОИС
16.01.2017 BPI Challenge 2016 — разбор решения «Analyzing customer interactions at the Dutch Employee Insurance Agency
Ложков Антон, Пономарева Анастасия и Никитина Наталья

студенты ФКН
Сезон 2015–2016
28.11.2016 Адаптивный структурно-параметрический синтез дискретных систем с заданным поведением
Петросов Давид Арегович

кандидат технических наук, заведующий кафедрой информатики и информационных технологий Белгородского государственного аграрного университета имени В.Я. Горина
14.11.2016 Композициональный синтез моделей процессов на основе паттернов интерфейсов
Нестеров Роман

студент магистратуры 2 курса ДПИ ФКН
31.10.2016 BPI Challenge 2016 — Разбор решения "Identification of Distinct Usage Patterns and Prediction of Customer Behavior"
Волков Сергей Борисович, Ефремов Савелий Валерьевич, Ефанов Евгений Владимирович

студенты ФКН
17.10.2016 Модульное исправление моделей процессов
Алексей Мицюк

младший научный сотрудник НУЛ ПОИС
03.10.2016 Инструмент для прикладного Process Mining: ProM
Хамитов Исмаил, Матвеенков Артём, Хайзников Фёдор, Чурин Даниил

студенты бакалавриата ПИ
19.09.2016 Process mining: теория, методы, инструменты
Ломазова И.А.

заведующая лабораторией ПОИС
23.08.2016 Планирование в знаковой картине мира
Панов А.

научный сотрудник ПОИС
04.06.2016 Методы анализа реактивных распределённых систем на основе теории автоматов и сетей Петри
Лукьянова Е.

Крымский федеральный университет, доцент кафедры алгебры и функционального анализа
02.05.2016 Знания и мнения агентов в облаке
Шилов Н.

старший научный сотрудник лаборатории теоретического программирования Института систем информатики им. А.П. Ершова
25.04.2016 Support of Decision-Making in IT-project Risk Assessment under Z-numbers / Discovering uml diagramm from event logs using process mining
Голева Е., Савитский М.

студенты магистратуры ФКН НИУ ВШЭ
18.04.2016 Трансформация журналов событий с целью получения высокоуровневых моделей процессов
Калетурина М., Величко С.

студенты магистратуры ФКН НИУ ВШЭ
11.04.2016 Метод синтеза структурированных моделей процессов по системам переходов на основе иерархий событий
Елохов Е.

студент магистратуры ФКН НИУ ВШЭ
04.04.2016 Модели, методы и программные средства анализа сходства орграфов и их применение при исследовании темпоральных орграфов
Кохов В.В.

аспирант кафедры прикладной математики НИУ "МЭИ"
14.03.2016 Язык моделирования BPMN
Самохвалов К., Сидиропуло Н.

магистранты 4 курса ПИ ФКН НИУ ВШЭ
29.02.2016 Yet Another Process Model
Юсупов Р.

магистрант 4 курса ФКН НИУ ВШЭ
15.02.2016 Detection of anti-patterns in service-based systems
Югов А.

магистрант 2 курса ФКН НИУ ВШЭ
08.02.2016 Формальные грамматики после Карибского кризиса
Охотин А.С.

Университет Турку, Финляндия
04.02.2016 Методы и алгоритмы проверки адекватности аналитических моделей организационной деятельности предприятия
Григорьева И.И.

к.т.н., Тюменский государственный университет
01.02.2016 О существующих способах абстракции моделей
Бегичева А.

стажёр-исследователь ПОИС
25.01.2016 Распределённые алгоритмы Process Mining / Использование нейронных сетей для прогнозирования временных рядов
Шугуров И.; Шульман А.

студенты 4 курса бакалавриата ФКН
18.01.2016 Верификация вложенных сетей Петри с помощью метода развёртки
Вера Ермакова

студентка магистратуры ФКН
30.11.2015 Цепи Маркова и их применения
Владимир Ковтуновский

студент бакалавриата ФКН
23.11.2015 Проблемы и сложности возникающие в процессе process mining
Наталья Никитина

стажёр-исследователь лаборатории ПОИС
16.11.2015 Анализ пользовательских интерфейсов с помощью методов извлечения процессов
Яна Манухина

студентка ФКН
09.11.2015 Возможности применения композиции сетей Петри с помощью морфизмов для решения задачи Process mining
Роман Нестеров

студент магистратуры ФКН
02.11.2015 О задаче сокращения систем переходов в извлечении и анализе моделей процессов
Сергей Шершаков

научный сотрудник лаборатории ПОИС
19.10.2015 Плохие и хорошие модели бизнес-процессов
Алексей Мицюк

младший научный сотрудник лаборатории ПОИС
12.10.2015 Плохие и хорошие модели бизнес-процессов
Алексей Мицюк

младший научный сотрудник лаборатории ПОИС
05.10.2015 Анализ информационной структуры и моделирование процесса выполнения проекта разработки программного обеспечения
Сергей Полицын

преподаватель департамента программной инженерии
28.09.2015 Построение моделей процессов по логам событий информационных систем. Выбор базисного языка
Анна Каленкова

старший научный сотрудник лаборатории ПОИС
21.09.2015 Верификация программно-конфигурируемых сетей
Владимир Подымов

научный сотрудник лаборатории ПОИС
14.09.2015 Проблема эквивалентности для конечных автоматов-преобразователей над полугруппами
Владимир Захаров

ведущий научный сотрудник лаборатории ПОИС
Летние сессии 2015-го года
15.07.2015 Исследование методов контроля функционирования программно-конфигурируемых сетей
Евгений Чемерицкий

аспирант ВМК МГУ
08.07.2015 Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data
Андрей Мохов

лектор по компьютерной инженерии Ньюкасльского университета
Сезон 2014–2015
15.06.2015 Mining causal relations on events from logs / Process mining approach to user interface design / Performance analysis using software process mining / Discovering service oriented architecture antipatterns using process mining
Ринат Юсупов; Яна Манухина; Максим Савицкий; Александр Югов

студенты НИУ ВШЭ
18.05.2015 Verification of Multi-Agent System Models via Nested Petri Net Unfoldings
Вера Ермакова

студентка магистратуры НИУ ВШЭ
27.04.2015 Системы функциональных уравнений счетнозначной логики
И.С. Калинина

аспирантка ВМК МГУ, кафедра МК
20.04.2015 ARIMA как инструмент для предсказания будущего поведения временного ряда
Александра Шульман

Студентка третьего курса бакалавриата ФКН НИУ ВШЭ
13.04.2015 On place invariants of nested Petri nets. Часть 2
Леонид Дворянский
Научный сотрудник лаборатории ПОИС
Старший преподаватель департамента программной инженерии НИУ ВШЭ
06.04.2015 On place invariants of nested Petri nets. Часть 1
Леонид Дворянский
Научный сотрудник лаборатории ПОИС
Старший преподаватель департамента программной инженерии НИУ ВШЭ
23.03.2015 Методология создания исполняемой модели и системы управления бизнес-процессами
Игорь Фёдоров
Кандидат технических наук
Профессор МЭСИ
02.03.2015 Comparing business models using graph-edit distance
Сергей Иванов
Стажер-исследователь лаборатории ПОИС
Студент четвертого курса бакалавриата ФКН НИУ ВШЭ
16.02.2015 Log-based transition system recovery
Евгений Мистюков
Стажер-исследователь лаборатории ПОИС
Студент четвертого курса бакалавриата ФКН НИУ ВШЭ

GENA: Generator of artificial event logs. Current state of work
Иван Шугуров
Стажер-исследователь лаборатории ПОИС
Студент третьего курса бакалавриата ФКН НИУ ВШЭ
09.02.2015 Алгоритмы проверки соответствия между моделью и журналом событий на примере сетей Петри
Антонина Бегичева
Стажер-исследователь лаборатории ПОИС
Студентка третьего курса бакалавриата ФКН НИУ ВШЭ

Алгоритмы размещения сетей Петри на плоскости
Наталья Никитина
Стажер-исследователь лаборатории ПОИС
Студентка второго курса бакалавриата ФКН НИУ ВШЭ
02.02.2015 Computational models in software engineering
Dmitry Zagorulkin
Sberbank CIB former Troika Dialog
19.01.2015 Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой
Владислав Подымов
ВМиК МГУ
15.12.2014 Business Process Management (BPM)
Global IT Trends: BIG DATA (Data Science and Process Mining)

Владимир Рубин
PhD, ведущий научный сотрудник лаборатории ПОИС
08.12.2014 Software Apchitecture 1: Modern Client Technologies
Software Architecture 2: SOA

Владимир Рубин
PhD, ведущий научный сотрудник лаборатории ПОИС
27.11.2014 Process Mining: Data Science in Action
( Colloquium of the Computer Science Faculty, 16:40, lecture hall Descartes)
Вил ван дер Аалст (Wil van der Aalst)
Научный руководитель лаборатории ПОИС
Профессор Технического университета города Эйндховена
24.11.2014 Process Mining: Beyond Control-Flow
Вил ван дер Аалст (Wil van der Aalst)
Научный руководитель лаборатории ПОИС
Профессор Технического университета города Эйндховена
17.11.2014 Model-Driven Development: UML and DSLS
Владимир Рубин
PhD, ведущий научный сотрудник лаборатории ПОИС
10.11.2014 Introduction: IT Projects and Profitability
Modern Software Development Projects: From Waterfall to Agile

Владимир Рубин
PhD, ведущий научный сотрудник лаборатории ПОИС
16.10.2014 A Survey on Synthesis of Petri Nets from Partially Ordered Runs
Dr. Jörg Desel
13.10.2014 On Negotiation as Concurrency Primitive
Dr. Jörg Desel
06.10.2014 Защита летней практики
Студенты Факультета компьютерных наук, проходившие летнюю практику в лаборатории ПОИС
22.09.2014 Reveal your faults!
Prof. Stefan Haar
Senior Researcher (DR2) INRIA / Head of MExICo team (ENS Cachan)
18.09.2014 True concurrency - from C.A. Petri to Telecom and Systems Biology
( Colloquium of the Computer Science Faculty, 16:40, lecture hall Descartes)
Prof. Stefan Haar
Senior Researcher (DR2) INRIA / Head of MExICo team (ENS Cachan)
15.09.2014 What Occurrence Nets Reveal
Prof. Stefan Haar
Senior Researcher (DR2) INRIA / Head of MExICo team (ENS Cachan)
Летние сессии 2014-го года
08.07.2014 Recommending Process Discovery Algorithms
Dr. Josep Carmona
Associate professor at the Universitat Politècnica de Catalunya (Barcelona, Spain)
04.07.2014 Contributions to process conformance
Dr. Josep Carmona
Associate professor at the Universitat Politècnica de Catalunya (Barcelona, Spain)
Сезон 2013–2014
09.06.2014 Towards a Process Scientist: Dealing with Big Data and Processes in a Comprehensive Manner
Вил ван дер Аалст (Wil van der Aalst)
Научный руководитель лаборатории ПОИС
Профессор Технического университета города Эйндховена
05.06.2014 Mining of Hospitalization Trajectories with FCA and Pattern Structures
Alexey Buzmakov
PhD Student, School of Applied Mathematics and Information Science, HSE 
26.05.2014 Полина Ким - Component-based VTMine/C Framework: Not Only Modelling
Иван Шугуров - Generation of a Set of Event Logs with Noise
Студенты бакалавриата НИУ ВШЭ
 
19.05.2014 Антонина Бегичева - Checking Conformance of High-Level Business Process Models to Event Logs
Илона Книжникова - Modular construction of Time Petri net reachability graph
Студенты бакалавриата НИУ ВШЭ
 
28.04.2014 Applying graph grammars for the generation of process models and their logs
Валерия Катаева
Cтудентка 1-го курса магистратуры отделения программной инженерии НИУ ВШЭ
21.04.2014 Modular system development by composing Petri nets on interfaces
Лючия Помелло (Dr. Lucia Pomello)
Professor at the Department of Informatics, Systems and Communication (DISCo), University of Milano-Bicocca, Italy
14.04.2014 Petri Hypernets for modeling mobile agents
Лючия Помелло (Dr. Lucia Pomello)
Professor at the Department of Informatics, Systems and Communication (DISCo), University of Milano-Bicocca, Italy
7.04.2014 Improvements to Translation of LTL Formula to Buchi Automata
Ольга Кочетова
студент отделения программной инженерии НИУ ВШЭ
31.03.2014 Фреймворк ProM 6 как инструмент для работы с BPMN моделями
Сергей Иванов
cтажер-исследователь лаборатории ПОИС
17.03.2014 On the application of timed automata and UPAAL toolset to the verification of Software Defined Networks/a>
Ульяна Попеско
аспирант МГУ
03.03.2014 Analyzing Web Service Resource Compatibility
Проф. Ирина Александровна Ломазова
д.ф.-м.н., заведующий лабораторией ПОИС
профессор отделения программной инженерии НИУ ВШЭ
10.02.2014 Static analysis for data race detection
Павел Андрианов
ИСП РАН
27.01.2014 Software Process Mining
Владимир Рубин
PhD, ведущий научный сотрудник лаборатории ПОИС
20.01.2014 Binary and source code analysis for developing high quality program systems
Екатерина Трошина
16.12.2013 DPMine concept: current status
Сергей Андреевич Шершаков
Научный сотрудник лаборатории ПОИС
Преподаватель отделения программной инженерии НИУ ВШЭ
09.12.2013 True Concurrency and Net Unfoldings
Диниил Фрумин
Стажер-исследователь лаборатории ПОИС
Студент отделения программной инженерии
02.12.2013 Activiti BPM Platform
Дмитрий Назаренко
Студент отделения программной инженерии
18.11.2013 Causal nets – a modeling language designed for process discovery
Никита Гундобин
Стажер-исследователь лаборатории ПОИС
11.11.2013 Service Oriented Computing: Forthcoming challenges
Проф. Вольфганг Райзиг (Wolfgang Reisig)
Профессор Университета Гумбольдта (Humboldt-Universität), Германия
28.10.2013 Process Cubes: Slicing, Dicing, Rolling Up and Drilling Down Event Data for Process Mining
Проф. Вил ван дер Аалст
Научный руководитель лаборатории ПОИС
Профессор Технического университета города Эйндховен, Нидерланды
21.10.2013 Методы анализа вложенных сетей Петри (часть 2)
Леонид В. Дворянский
Научный сотрудник лаборатории ПОИС
Старший преподаватель кафедры управления разработкой ПО НИУ ВШЭ
07.10.2013 Методы анализа вложенных сетей Петри (часть 1)
Леонид В. Дворянский
Научный сотрудник лаборатории ПОИС
Старший преподаватель кафедры управления разработкой ПО НИУ ВШЭ
30.09.2013 Некоторые методики исправления моделей в виде сетей потоков работ
Алексей А. Мицюк
Стажер-исследователь лаборатории ПОИС
23.09.2013 Fast and Accurate Declare Mining
Майкл Вестергаард (Michael Westergaard)
Ведущий научный сотрудник лаборатории ПОИС
16.09.2013 Time and Petri Nets - A Way for Modeling and Verification of Time-dependent Concurrent Systems
Louchka Popova-Zeugmann
Professor at Humboldt-Universität (Berlin)
09.09.2013 Discovery of Reset workflow nets
Анна Алексеевна Каленкова
Научный сотрудник МЛПОИС, к. ф.-м. н.
Сезон 2012–2013
27.05.2013 Possibilities and limitations of formal methods for business process analysis and design
Joseph Barjis
Associate professor at TUDelft
13.05.2013 Практическое применение методов извлечения и анализа моделей процессов: принципы и примеры
Александр Брейман
Научный сотрудник МЛПОИС, к.т.н., доцент
29.04.2013 Алгоритм булевой верификации (АБВ) потоков работ. Эквивалентные преобразования потоков работ
Анна Каленкова
Научный сотрудник МЛПОИС, к. ф.-м. н.
15.04.2013 Mediating Between Modeled and Observed Behavior: The Quest for the "Right" Process
Вил ван дер Аалст (Wil van der Aalst)
Научный руководитель Лаборатории ПОИС,
профессор Технического университета Эйндховена (Нидерланды)
08.04.2013 Принципы формального представления поведенческой перспективы модели бизнес-процесса
И.Г. Федоров
Профессор кафедры ПИЭ МЭСИ
01.04.2013 Метрики и оценки схожести моделей бизнес-процессов
Анна Дергузова
Магистрант НИУ ВШЭ, отделение ПИ
18.03.2013 Modeling is not Just for Supermodels
Майкл Вестергаард (Michael Westergaard)
Ведущий научный сотрудник Лаборатории ПОИС
25.02.2013 Сети Петри и моделирование безопасных динамических ассоциаций
Д. Фрумин
Студент НИУ ВШЭ, отделение ПИ
18.02.2013 Три проблемы, относящиеся к системам управления бизнес-процессами
А.Г. Михеев
Доцент кафедры БИСУП НИТУ МИСиС, докторант кафедры ПИЭ МЭСИ, руководитель OpenSource проекта RunaWFE
11.02.2013 Временные автоматы (Timed Automata)
Ю. Новикова
Магистрант НИУ ВШЭ, отделение ПИ
28.01.2013 Обобщенный подход к декомпозиции сетей Петри для задач Process Mining
С. Шершаков
Лаборатория ПОИС
21.01.2013 Распределенные процедуры извлечения и анализа процессов
А. Мицюк
Лаборатория ПОИС

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!