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

When checking compliance of business processes against a set of business rules or regulations, the ability to handle and verify co..

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

Adriano Augusto, Raffaele Conforti, Abel Armas-Cervantes, Marlon Dumas, Marcello La Rosa

Journal article  |  2020  |  IEEE Transactions on Knowledge and Data Engineering

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..

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

© 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..

Incremental and interactive business process model repair in apromore

Marcello La Rosa

Conference Proceedings  |  2017  |  CEUR Workshop Proceedings

This paper presents the integration of a plugin for interactive and incremental business process repair into the Apromore advanced..

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..