activity
20142026
most citedReduction of Event Structures under History Preserving Bisimulation

1 citations · 1 across the 6 of their papers we have counts for

collaborators

8 papers

cs.CR2026

A Privacy-Preserving Approach to Conformance Checking

Luis Rodríguez-Flores, Luciano García-Bañuelos, Abel Armas-Cervantes +1

Conformance checking, one of the main process mining operations, aims to identify discrepancies between a process model and an event log. The model represents the expected behaviou…

cs.CR2026

Secure Conformance Checking using Token-based Replay and Homomorphic Encryption

Luis-Armando Rodríguez-Flores, Luciano García-Bañuelos, Abel Armas-Cervantes +1

Conformance checking, one of the main process mining operations, aims to identify discrepancies between a process model and an event log. The model represents the expected behaviou…

cs.CL2025

Automated Business Process Analysis: An LLM-Based Approach to Value Assessment

William De Michele, Abel Armas Cervantes, Lea Frermann

Business processes are fundamental to organizational operations, yet their optimization remains challenging due to the timeconsuming nature of manual process analysis. Our paper ha…

cs.AI2022

Generalization in Automated Process Discovery: A Framework based on Event Log Patterns

Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa

The importance of quality measures in process mining has increased. One of the key quality aspects, generalization, is concerned with measuring the degree of overfitting of a proce…

cs.SE2020

Efficient Conformance Checking using Approximate Alignment Computation with Tandem Repeats

Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa

Conformance checking encompasses a body of process mining techniques which aim to find and describe the differences between a process model capturing the expected process behavior…

cs.SE2019

Scalable Alignment of Process Models and Event Logs: An Approach Based on Automata and S-Components

Daniel Reißner, Abel Armas-Cervantes, Raffaele Conforti +3

Given a model of the expected behavior of a business process and an event log recording its observed behavior, the problem of business process conformance checking is that of ident…

cs.LG2018

Discovering Process Maps from Event Streams

Volodymyr Leno, Abel Armas-Cervantes, Marlon Dumas +2

Automated process discovery is a class of process mining methods that allow analysts to extract business process models from event logs. Traditional process discovery methods extra…

cs.LO2014★ 1 cited

Reduction of Event Structures under History Preserving Bisimulation

Abel Armas-Cervantes, Paolo Baldan, Luciano Garcia-Bañuelos

Event structures represent concurrent processes in terms of events and dependencies between events modelling behavioural relations like causality and conflict. Since the introducti…