Научный семинар лаборатории
В рамках семинара научно-учебной лаборатории ПОИС с докладами выступают не только ведущие ученые и исследователи, но и молодые специалисты, а также студенты-стажеры нашей лаборатории. Будем рады видеть Вас на нашем семинаре!
Семинар проходит на факультете компьютерных наук НИУ ВШЭ по адресу Покровский бульвар,11
Анонсы семинаров размещаются на главной странице лаборатории.
Проведенные семинары 2013-2019
Сезон 2018–2019 | |
25.06.2019 | Предварительная защита кандидатской диссертации Шершакова Сергея Андреевича |
21.06.2019 | Finite countermodel finding for the infinite-state and parameterized verification Докладчик: Алексей Лисица Университет Ливерпуля |
11.06.2019 | Modeling Trading Systems Докладчик: Каленкова Анна Ведущий научный сотрудник лаборатории Pre-Processing FIX Event Data & Conformance Checking on Multi-Agent Systems Докладчик: Карраскель Гамес Хулио Сесар Стажер-исследователь лаборатории |
10.06.2019 | Process Mining for Educational Game Analysis Докладчик: Никитин Константин Аспирант факультета компьютерных наук |
11.02.2019 |
Обнаружение Скомпрометированных Коммутаторов в ПКС (Программно-Конфигурируемых Сетях) |
21.01.2019 |
"Анализ образовательных процессов" |
14.01.2019 |
Докладчик: Нестеров Роман Александрович, |
10.12.2018 |
Основанные на знаковых представлениях модели обучения и коллективное поведение. |
28.11.2018 |
НУЛ ПОИС и НУЛ МУСС 28.11 "Композициональный синтез сетей Петри с помощью алгоритма регионов" Докладчик : Каленкова Анна Алексеевна,
|
26.11.2018 |
A Walk through Process Discovery Algorithms |
12.11.2018 | Process Mining в решении бизнес-задач российских компаний Докладчики: Наталья Обарская - старший консультант направления по оказанию услуг в области анализа данных, PwC; Дмитрий Морозов - старший консультант направления по оказанию услуг в области анализа данных, PwC. |
16.10.2018 | Коллоквиум ФКН: Asynchronous games for Petri nets. Докладчик: Luca Bernardinello (University of Milano-Bicocca) |
15.10.2018 | The logic of regions in transition system Докладчик: Luca Bernardinello (University of Milano-Bicocca) |
24.09.2018 | Рандомизированные алгоритмы на основе интервальных узорных структур для задач классификации и регрессии в кредитном риск-менеджменте Докладчик: Масютин Алексей Александрович |
10.09.2018 |
Анализ процессов уголовной процедуры Докладчик: Скугаревский Дмитрий Анатольевич |
05.09.2018 |
Process Mining for Market Data
Иосиф Иткин (Exactpro): "Exactpro и тестирование биржевых систем"; Сергей Павлов (Exactpro): "Ядро биржевой системы, основные правила биржевой торговли, жизненный цикл заявки"; Евгений Литвиненко (Exactpro): " Входные данные: торговые протоколы FIX и Native, свойства заявок"; Евгений Ушаков (Exactpro): " Выходные данные: отчеты о выполнении заявок в разных протоколах, особенности канала распространения рыночной информации (ITCH)"; Анна Каленкова (PAIS Lab) "Модели процессов и методы Process mining"; |
23.04.2018 |
DB-nets: о браке между раскрашенными сетями Петри и реляционными базами данных". Докладчик: Андрей Ривкин Свободный университет Боцен-Больцано, Италия |
26.02.2018 |
Симуляция моделей процессов для мультиагентных систем
|
19.02.2018 | VTMine for Visio» для задач Process Mining Докладчик: Шершаков Сергей Андреевич научный сотрудник лаборатории ПОИС |
15.01.2018 |
Паттерны интерфейсов для композицонного синтеза моделей мультиагентных систем по журналам событий
|
Сезон 2016–2017 | |
14.12.2017 | Знаковые модели обучения при коллективном планировании Александр Панов
научный сотрудник ПОИС |
11.12.2017 | Проверка соответствия между моделью и логом с использованием структур событий Кирилл Артаманов
студент магистратуры ПИ |
27.11.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
Professor at the FernUniversität in Hagen, Fakultät für Mathematik und Informatik
|
13.10.2014 | On Negotiation as Concurrency Primitive Dr. Jörg Desel
Professor at the FernUniversität in Hagen, Fakultät für Mathematik und Informatik
|
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 Екатерина Трошина
PhD, SmartDec
|
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 и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.