Skip to ContentSkip to Navigation
Rijksuniversiteit Groningenfounded in 1614  -  top 100 university
Over ons Praktische zaken Waar vindt u ons dr. ing. H. (Heerko) Groefsema

Publicaties

A first and fast symbolic approach for data-aware business process compliance checking

Managing and Anticipating Out-of-Order Events in Online Compliance Monitoring

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