145 citations · 360 across the 54 of their papers we have counts for
5 papers · 1 filter
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach
Anti Alman, Fabrizio Maria Maggi, Marco Montali +2
Business process monitoring approaches have thus far mainly focused on monitoring the execution of a process with respect to a single process model. However, in some cases it is ne…
Process discovery on deviant traces and other stranger things
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini +5
As the need to understand and formalise business processes into a model has grown over the last years, the process discovery research field has gained more and more importance, dev…
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
Diego Calvanese, Alessandro Gianola, Andrea Mazzullo +1
In the context of verification of data-aware processes (DAPs), a formal approach based on satisfiability modulo theories (SMT) has been considered to verify parameterised safety pr…
Probabilistic Trace Alignment
Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali +1
Alignments provide sophisticated diagnostics that pinpoint deviations in a trace with respect to a process model and their severity. However, approaches based on trace alignments u…
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)
Paolo Felli, Alessandro Gianola, Marco Montali +2
Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log. While this problem has…