Science seminar
PAIS Lab science seminar is a successor of the Specification and verification of concurrent and distribut
|
|
Previous sessions
| Season 2015–2016 | |
| 02.05.2016 | Knowledge and beliefs of agents in the cloud Nikolay Shilov
Senior researcher at A.P. Ershov Institute of Informatics Systems |
| 25.04.2016 | Support of Decision-Making in IT-project Risk Assessment under Z-numbers / Discovering uml diagramm from event logs using process mining Ekaterina Goleva, Maxim Savitsky
Master's students at the HSE CS Faculty |
| 18.04.2016 | Structural analysis of systems in case of uncertainty / Transformation of event logs for synthesis high-level process models Marina Kaleturina, Semyon Velichko
Master's students at the HSE CS Faculty |
| 11.04.2016 | Method for synthesis of well-structured process models for transition systems based on hierarchy of events Evgenii Elokhov
Master's student at the HSE CS Faculty |
| 04.04.2016 | Models, methods and software for the analysis of digraph similarity and their application to the study of temporal digraphs Viktor Kokhov
National Research University "Moscow Power Engineering Institute" |
| 14.03.2016 | Business Process Model and Notation (BPMN) Kirill Samokhvalov, Nikolai Sidiropulo
Bachelor's students at the HSE CS Faculty |
| 29.02.2016 | Yet Another Process Model Rinat Yusupov
Master's student at the HSE CS Faculty |
| 15.02.2016 | Detection of anti-patterns in service-based systems Alexander Yugov
Master's student at the HSE CS Faculty |
| 08.02.2016 | Formal grammars after the Cuban missile crisis Alexander Okhotin
University of Turku, Finnland |
| 04.02.2016 | Methods and algorithms for checking adequacy of analytical models of organizational enterprise activities Inna Grigoreva
Tyumen State University |
| 01.02.2016 | Existing methods of abstracting process models Antonina Begicheva
Research assistant of the PAIS Lab |
| 25.01.2016 | Distibuted process mining algorithms / Application of artificial neural networks for time series prediction Ivan Shugurov, Alexandra Shulman
Bachelor's students at the HSE CS Faculty |
| 18.01.2016 | Verification on nested Petri nets by means of unfoldings Vera Ermakova
Master's student at the HSE CS Faculty |
| 30.11.2015 | Markov chains and their applications Vladimir Kovtunovskiy
Bachelor's student at the HSE CS Faculty |
| 23.11.2015 | Problems and challenges of process mining Natalia Nikitina
Research assistant of the PAIS Lab |
| 16.11.2015 | User interface analysis by means of process discovery Yana Manukhina
Master's student at the HSE CS Faculty |
| 09.11.2015 | Possible applications of using Petri nets compositions by means of morphisms for process mining Roman Nesterov
Master's student at the HSE CS Faculty |
| 02.11.2015 | Transition systems reduction for process mining Sergey Shershakov
Research fellow of the PAIS Lab |
| 19.10.2015 | Good and bad process models Alexey Mitsyuk
|
| 12.10.2015 | Good and bad process models Alexey Mitsyuk
|
| 05.10.2015 | Analysis of information structure and modeling of software development process Sergey Politsyn
|
| 28.09.2015 | Synthesis of process models based on event logs of information systems. Language choice Anna Kalenkova
|
| 21.09.2015 | Verification of software-defined networks Vladimir Podymov
|
| 14.09.2015 | Equivalence checking problem for finite state transducers Vladimir Zakharov
|
| Summer Sessions – 2015 | |
| 15.07.2015 | Study of methods for controlling of software-defined networks functioning Eugeniy Chemeritskiy
|
| 08.07.2015 | Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data Andrey Mokhov
|
| Season 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 Rinat Yusupov; Yana Mukhina; Maksim Savitskiy; Alexander Yugov
|
| 18.05.2015 | Verification of Multi-Agent System Models via Nested Petri Net Unfoldings Vera Ermakova |
| 27.04.2015 | Systems of functional countable-valued logic equations I.S. Kalinina |
| 20.04.2015 | ARIMA as a tool for time series prediction Alexandra Shulman |
| 13.04.2015 | On place invariants of nested Petri nets. Часть 2 Leonid W. Dworzanski Research fellow of the PAIS Lab |
| 06.04.2015 | On place invariants of nested Petri nets. Часть 1 Leonid W. Dworzanski Research fellow of the PAIS Lab |
| 23.03.2015 | Methodology of creation of executable models and business process management systems Igor Fyodorov |
| Season 2014–2015 | |
| 02.03.2015 | Comparing business models using graph-edit distance Sergey Ivanov
Research Assistant of PAIS Lab
4-year student of bachelor program at HSE CS Faculty |
| 16.02.2015 | Log-based transition system recovery Eugeny Mistyukov
Research Assistant of PAIS Lab
4-year student of bachelor program at HSE CS Faculty GENA: Generator of artificial event logs. Current state of work Ivan Shugurov
Research Assistant of PAIS Lab
3-year student of bachelor program at HSE CS Faculty |
| 09.02.2015 | Conformance checking algorithms for Petri nets Antonina Begicheva
Research Assistant of PAIS Lab
3-year student of bachelor program at HSE CS Faculty Petri net 2D-Layout Algorithms Natalia Nikitina
Research Assistant of PAIS Lab
2-year student of bachelor program at HSE CS Faculty |
| 02.02.2015 | Computational models in software engineering Dmitry Zagorulkin
Sberbank CIB former Troika Dialog
|
| 19.01.2015 | Fast algorithms for program equivalence checking using semigroup-semantics models (RU) Vladislav Podymov
MSU
|
| 15.12.2014 | Business Process Management (BPM) Global IT Trends: BIG DATA (Data Science and Process Mining) Dr. Vladimir Rubin
PhD, lead research fellow of the PAIS Lab
|
| 08.12.2014 | Software Apchitecture 1: Modern Client Technologies Software Architecture 2: SOA Dr. Vladimir Rubin
PhD, lead research fellow of the PAIS Lab
|
| 27.11.2014 | Process Mining: Data Science in Action ( Colloquium of the Computer Science Faculty, 16:40, lecture hall Descartes) Prof. dr.ir. Wil van der Aalst
PAIS Lab Academic supervisor
Professor at the TU Eindhoven |
| 24.11.2014 | Process Mining: Beyond Control-Flow Prof. dr.ir. Wil van der Aalst
PAIS Lab Academic supervisor
Professor at the TU Eindhoven |
| 17.11.2014 | Model-Driven Development: UML and DSLS Dr. Vladimir Rubin
PhD, lead research fellow of the PAIS Lab
|
| 10.11.2014 | Introduction: IT Projects and Profitability Modern Software Development Projects: From Waterfall to Agile Dr. Vladimir Rubin
PhD, lead research fellow of the PAIS Lab
|
| 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
|
| 6.10.2014 | Summer work of the trainees of PAIS Lab Studens of the HSE Computer Science Faculty
|
| 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)
|
| Summer Sessions – 2014 | |
| 08.07.2014 | Recommending Process Discovery Algorithms Dr. Joseph Carmona
Associate professor at the Universitat Politècnica de Catalunya (Barcelona, Spain)
|
| 04.07.2014 | Contributions to process conformance Dr. Joseph Carmona
Associate professor at the Universitat Politècnica de Catalunya (Barcelona, Spain)
|
| Season 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 | Polina Kim - Component-based VTMine/C Framework: Not Only Modelling Ivan Shugurov - Generation of a Set of Event Logs with Noise Bachelor-students at SE Dept., HSE
|
| 19.05.2014 | Antonina Begicheva - Checking Conformance of High-Level Business Process Models to Event Logs Ilona Knizhnikova - Modular construction of Time Petri net reachability graph Bachelor-students at SE Dept., HSE
|
| 28.04.2014 | Applying graph grammars for the generation of process models and their logs Valeria Kataeva
Master-student at SE Dept., HSE
|
| 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 Olga Kochetova
Student of the Department of Software Engineering, HSE
|
| 31.03.2014 | ProM 6 framework as a tool for work with BPMN models Sergey Ivanov
Research assistant of the PAIS Lab
|
| 17.03.2014 | On the application of timed automata and UPAAL toolset to the verification of Software Defined Networks Uliana V. Popesko
Ph.D. student, Lomonosov Moscow State University
|
| 03.03.2014 | Analyzing Web Service Resource Compatibility Prof. Irina A. Lomazova
Director of the PAIS Lab
Professor of the Department of Software Engineering, HSE |
| 10.02.2014 | Static analysis for data race detection Pavel Andrianov
ISP RAS
|
| 27.01.2014 | Software Process Mining Vladimir Rubin
PhD, lead research fellow of the PAIS Lab
|
| 20.01.2014 | Binary and source code analysis for developing high quality program systems Katerina Troshina
Ph.D., SmartDec
|
| 16.12.2013 | DPMine concept: current status Sergey Shershakov
Research Fellow of the PAIS Lab
Lecturer at the Department of Software Engineering, HSE |
| 09.12.2013 | True Concurrency and Net Unfoldings Daniil Frumin
Research Assistant of the PAIS Lab
Student of the Department of Software Engineering, HSE |
| 02.12.2013 | Activiti BPM Platform Dmitry Nazarenko
Student of the Department of Software Engineering, HSE
|
| 18.11.2013 | Causal nets – a modeling language designed for process discovery Nikita Gundobin
Research Assistant of the PAIS Lab
|
| 11.11.2013 | Service Oriented Computing: Forthcoming challenges Prof. Dr. Wolfgang Reisig
Professor at the Humboldt-Universität zu Berlin
|
| 28.10.2013 | Process Cubes: Slicing, Dicing, Rolling Up and Drilling Down Event Data for Process Mining Prof. dr.ir. Wil van der Aalst
Academic Supervisor of the PAIS Lab
Full professor of Information Systems at the Technische Universiteit Eindhoven (TU/e) |
| 21.10.2013 | Methods of analysis for Nested Petri Nets (Part 2) Leonid W. Dworzanski
Research fellow of the PAIS Lab
Senior lecturer of Software Management Department of NRU HSE |
| 07.10.2013 | Methods of analysis for Nested Petri Nets (Part 1) Leonid W. Dworzanski
Research fellow of the PAIS Lab
Senior lecturer of Software Management Department of NRU HSE |
| 30.09.2013 | Some method of WF-model correction Alexey A. Mitsyuk
Assistant researcher of the PAIS Lab
|
| 23.09.2013 | Fast and Accurate Declare Mining Michael Westergaard
Leading researcher of the PAIS Lab
|
| 16.09.2013 | Time and Petri Nets - A Way for Modeling and Verification of Time-dependent Concurrent Systems Louchka Popova-Zeugmann
Professor at the Humboldt-Universität (Berlin)
|
| 09.09.2013 | Discovery of Reset workflow nets Anna A. Kalenkova
Research fellow of the PAIS Lab, PhD
|
| Season 2012–2013 | |
| 27.05.2013 | Possibilities and limitations of formal methods for business process analysis and design (ru)
Joseph Barjis
Associate professor at TUDelft
|
| 13.05.2013 | The practical application of the methods of extraction and analysis of process models: principles and examples (ru)
Alexander D. Breyman
Research fellow of PAIS Lab
|
| 29.04.2013 | Workflow boolean verification algorithm. Equivalent transformations of workflows (ru)
Anna A. Kalenkova
Research fellow of PAIS Lab
|
| 15.04.2013 | Mediating Between Modeled and Observed Behavior: The Quest for the "Right" Process
Wil van der Aalst
|
| 08.04.2013 | The Principles of Business Process' Behavior Modeling (ru)
I. G. Fedorov
Professor of department of Applied Informatics in Economics, MESI
|
| 01.04.2013 | Similarity of Business Process Models: Metrics and Evaluation
A. Derguzova
HSE student, School of Software Engineering
|
| 18.03.2013 | Modeling is not Just for Supermodels
Michael Westergaard
Leading researcher of PAIS Lab
|
| 25.02.2013 | Petri nets for modeling transient secure associations (ru)
D. Frumin
HSE student, School of Software Engineering
|
| 18.02.2013 | Three problems related to the BPM systems (ru)
A.G. Miheev
|
| 11.02.2013 | Timed Automata (ru)
Y. Novikova
HSE student, School of Software Engineering
|
| 28.01.2013 | A generalized approach to the decomposition of Petri nets for Process Mining problems (ru)
S. Shershakov
PAIS Lab
|
| 21.01.2013 | Distributed process mining techniques (ru)
A. Mitsyuk
PAIS Lab
|
Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.