Skip to ContentSkip to Navigation
Over ons Praktische zaken Waar vindt u ons H. (Heerko) Groefsema, PhD

Publicaties

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

A survey of formal business process verification: From soundness to variability

Lees meer