2 papers
cs.SE2025
Mining Constraints from Reference Process Models for Detecting Best-Practice Violations in Event Logs
Adrian Rebmann, Timotheus Kampik, Carl Corea +1
Detecting undesired process behavior is one of the main tasks of process mining and various conformance-checking techniques have been developed to this end. These techniques typica…
cs.CR2025
Privacy-Preserving Inconsistency Measurement
Carl Corea, Timotheus Kampik, Nico Potyka
We investigate a new form of (privacy-preserving) inconsistency measurement for multi-party communication. Intuitively, for two knowledge bases K_A, K_B (of two agents A, B), our r…