Keyword:conformance checking

Publications
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)
Decision Mining in the Rail Industry: a Case Study in the Context of an Industrial Wheelset Revision Process Bart Hoornstra, Joris Mens, Iris Beerepoot and Inge van de Weerd EasyChair Preprint 12779
ASP-Based Declarative Process Mining Francesco Chiariello, Fabrizio Maria Maggi and Fabio Patrizi EasyChair Preprint 8675
Process Mining on Blockchain Data: a Case Study of Augur Richard Hobeck, Christopher Klinkmüller, Hmn Dilum Bandara, Ingo Weber and Wil Van der Aalst EasyChair Preprint 5865