Abel Armas Cervantes

Scalable alignment of process models and event logs: An approach based on automata and S-components

D Reißner, A Armas-Cervantes, R Conforti, M Dumas, D Fahland, M La Rosa

Report  |  2020  |  Information Systems

Efficient conditional compliance checking of business process models

H Groefsema, NRTP van Beest, A Armas-Cervantes

Journal article  |  2020  |  Computers in Industry

© 2019 Elsevier B.V. When checking compliance of business processes against a set of business rules or regulations, the ability to..

Local Concurrency Detection in Business Process Event Logs

A Armas Cervantes, Marlon Dumas, Marcello La Rosa, Abderrahmane Maaradji

Journal article  |  2019  |  ACM Transactions on Internet Technology

Process mining techniques aim at analysing records generated during the execution of a business process in order to provide insigh..

Measuring Fitness and Precision of Automatically Discovered Process Models: A Principled and Scalable Approach

A Augusto, Abel Armas Cervantes, Raffaele Conforti, Marlon Dumas, Marcello LA ROSA, Daniel Reissner

Report  |  2019

Process Model Repair

Abel Armas Cervantes

Book Chapter  |  2019

Discovering process maps from event streams

MARLON Dumas

Conference Proceedings  |  2018  |  Proceedings of the 2018 International Conference on Software and System Process - ICSSP '18

© 2018 Association for Computing Machinery. Automated process discovery is a class of process mining methods that allow analysts t..

Abstract and Compare: A Framework for Defining Precision Measures for Automated Process Discovery

A Augusto, A Armas Cervantes, R Conforti, M Dumas, M La Rosa, D Reissner

Conference Proceedings  |  2018  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Automated process discovery techniques allow us to extract business process models from event logs. The quality of process models ..

Online conformance checking using behavioural patterns

A Burattin, SJ van Zelst, A Armas-Cervantes, BF van Dongen, J Carmona

Conference Proceedings  |  2018  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© Springer Nature Switzerland AG 2018. New and compelling regulations (e.g., the GDPR in Europe) impose tremendous pressure on org..

Scalable conformance checking of business processes

D Reißner, R Conforti, M Dumas, M La Rosa, A Armas-Cervantes

Conference Proceedings  |  2017  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© 2017, Springer International Publishing AG. Given a process model representing the expected behavior of a business process and a..

Interactive and incremental business process model repair

A Armas Cervantes, NRTP van Beest, M La Rosa, M Dumas, L García-Bañuelos

Conference Proceedings  |  2017  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© 2017, Springer International Publishing AG. It is common for the observed behavior of a business process to differ from the beha..