Dr. Heerko Groefsema

Assistant Professor

• Room number: 591
• Email: h.groefsema@rug.nl
• Personal website: Heerko Groefsema

Research

• Service Oriented Architecture
• Business Process Management
• Variability Management

Recent publications

1. Groefsema, H., van Beest, N. R. T. P., & Governatori, G. (2022). On the Use of the Conformance and Compliance Keywords During Verification of Business Processes. In C. Di Ciccio, R. Dijkman, A. del Río Ortega, & S. Rinderle-Ma (Eds.), Business Process Management Forum (pp. 21–37). Springer. https://doi.org/10.1007/978-3-031-16171-1_2
2. Groefsema, H., van Beest, N. R. T. P., & Armas-Cervantes, A. (2020). Efficient conditional compliance checking of business process models. Computers in Industry, 115. https://doi.org/10.1016/j.compind.2019.103181
3. Groefsema, H., van Beest, N. R. T. P., & Aiello, M. (2018). A Formal Model for Compliance Verification of Service Compositions. Ieee Transactions on Services Computing, 11(3), 466–479. https://doi.org/10.1109/TSC.2016.2579621
4. Groefsema, H., van Beest, N. R. T. P., & Armas-Cervantes, A. (2017, September). Automated compliance verification of business processes in Apromore. Proceedings of the BPM Demo Track 2017. https://research.rug.nl/en/publications/automated-compliance-verification-of-business-processes-in-apromo
5. Groefsema, H. (2016). Business Process Variability: a study into process management and verification [PhD thesis, Rijksuniversiteit Groningen]. https://research.rug.nl/en/publications/business-process-variability-a-study-into-process-management-and-