Skip to ContentSkip to Navigation
About us Practical matters How to find us H. (Heerko) Groefsema, PhD

Publications

Supporting business process variability through declarative process families

Cross-Instance Regulatory Compliance Checking of Business Process Event Logs

On the Use of the Conformance and Compliance Keywords During Verification of Business Processes

"log data compliance"

Efficient conditional compliance checking of business process models

Variability in business processes: Automatically obtaining a generic specification

A Formal Model for Compliance Verification of Service Compositions

Automated compliance verification of business processes in Apromore

Business Process Variability: a study into process management and verification

Design-time Compliance of Service Compositions in Dynamic Service Environments

Read more