References

• 2011Process Mining: Discovery, Conformance and Enhancement of Business Processes1,725 cited
• 2007Conformance checking of processes based on monitoring real behavior1,119 cited
• 2009Declarative workflows: Balancing between flexibility and support531 cited
• 2011Conformance Checking Using Cost-Based Fitness Analysis393 cited
• 2016Conformance checking based on multi-perspective declarative process models180 cited
• 2012Aligning Event Logs and Declarative Process Models for Conformance Checking98 cited
• 2014An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data97 cited
• 2016Intelligent Process Adaptation in the SmartPM System80 cited
• 2013Towards data-aware constraints in declare62 cited
• 2015Generating Event Logs Through the Simulation of Declare Models51 cited
• 2012Techniques for a Posteriori Analysis of Declarative Processes46 cited
• 2011Declare : a tool suite for declarative workflow modeling and enactment46 cited
• 2009Checking Compliance of Execution Traces to Business Rules44 cited
• 2012Planlets: Automatically Recovering Dynamic Processes in YAWL34 cited
• 2016Computing Trace Alignment against Declarative Process Models through Planning