Keyword:conformance checking

Papers
Checking and Establishing Reachset Conformance in CORA 2023 Matthias Althoff In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ASP-Based Declarative Process Mining Francesco Chiariello, Fabrizio Maria Maggi and Fabio Patrizi EasyChair Preprint no. 8675
Process Mining on Blockchain Data: a Case Study of Augur Richard Hobeck, Christopher Klinkmüller, Hmn Dilum Bandara, Ingo Weber and Wil M.P. van der Aalst EasyChair Preprint no. 5865