• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Modeling of information systems and analysis of their behavior on the basis of the event history

Priority areas of development: IT and mathematics
2018
The project has been carried out as part of the HSE Program of Fundamental Studies.

Publications:


Shunin T., Zubkova N., Sergey Shershakov. Neural Approach to the Discovery Problem in Process Mining, in: Analysis of Images, Social Networks and Texts. 7th International Conference AIST 2018 / Ed. by W. van der Aalst, D. I. Ignatov. Springer, 2018. P. 261-273. doi
Tarantsova P. D., Kalenkova A. A. Constructing Regular Expressions from Real-life Event Logs, in: Analysis of Images, Social Networks and Texts. 7th International Conference AIST 2018 / Ed. by W. van der Aalst, D. I. Ignatov. Springer, 2018. P. 274-280.
Захаров В. А., Аббас М. М. Даже простые процессы pi-исчисления трудны для анализа // Моделирование и анализ информационных систем. 2018. Т. 25. № 6. С. 589-606. doi
Gnatenko A. R., Zakharov V. On the Model Checking of Finite State Transducers over Semigroups // Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 3. P. 303-324. doi
Захаров В. А., Гнатенко А. Р. О выразительных возможностях некоторых расширений линейной темпоральной логики // Моделирование и анализ информационных систем. 2018. Т. 25. № 5. С. 506-524. doi
Захаров В. А. Полиномиальный алгоритм проверки эквивалентности детерминированных двухленточных автоматов // В кн.: Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды / Под общ. ред.: Д. С. Романов. МГУ, МАКС Пресс, 2018. С. 128-130.
Гнатенко А. Р., Захаров В. А. Языки спецификаций моделей Крипке на основе темпоральных логик и их выразительные возможности // В кн.: Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды / Под общ. ред.: Д. С. Романов. МГУ, МАКС Пресс, 2018. С. 131-133.
Zakharov V., Gnatenko A. R. On the expressive power of some extensions of Linear Temporal Logic, in: Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018 / Ed. by V. Zakharov, Н. В. Шилов. Yaroslavl : Ярославский государственный университет им. П.Г. Демидова, 2018. P. 29-36 .
Roman A. Nesterov, Irina A. Lomazova. Compositional Process Model Synthesis based on Interface Patterns, in: Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers Vol. 779: Communications in Computer and Information Science. Cham: Springer, 2018. doi P. 151-162. doi
Bernardinello L., Irina Lomazova, Roman Nesterov, Pomello L. Compositional Discovery of Workflow Nets from Event Logs Using Morphisms, in: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Vol. 2115: CEUR Workshop Proceedings. CEUR-WS.org, 2018. P. 23-38.
Nesterov R.A., Mitsyuk A.A., Lomazova I.A. Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents // Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 3. P. 285-302. doi
Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды / Под общ. ред.: Д. С. Романов. МГУ, МАКС Пресс, 2018.
Захаров В. А., Гнатенко А. Р. Языки спецификаций моделей Крипке на основе темпоральных логик и их выразительные возможности С. 131-133.
Kalenkova A. A., Агеев А. А., Lomazova I. A., van der Aalst W. E-Government Services: Comparing Real and Expected User Behavior, in: BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers Vol. 308. Springer, 2018. P. 484-496. doi
Mitsyuk A. A., Котылев Я. В. Layered Layouts for Software Systems Visualization Using Nested Petri Nets, in: Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers Vol. 779: Communications in Computer and Information Science. Cham: Springer, 2018. doi Ch. 11. P. 127-138. doi
Mitsyuk A. A. Non-Local Correction of Process Models Using Event Logs, in: Proceedings of the 2017 Ivannikov ISPRAS Open Conference. Los Alamitos : IEEE Computer Society, 2018. Ch. 2. P. 6-11. doi
Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018 / Ed. by V. Zakharov, Н. В. Шилов. Yaroslavl : Ярославский государственный университет им. П.Г. Демидова, 2018.
Kalenkova A. A., Burattin A., de Leoni M., van der Aalst W., Sperduti A. Discovering high-level BPMN process models from event data // Business Process Management Journal. 2018. P. 1-25. doi