Distributed Systems

Dr. Heerko Groefsema

Postdoc

  • room number: 591
  • phone number: +31 (0) 50 363 4566
  • e-mail: h.groefsema [at] rug.nl
  • personal website: Heerko Groefsema

Research

  • Service Oriented Architecture
  • Business Process Management
  • Variability Management

PhD Thesis

  1. Business Process Variability: A Study into Process Management and Verification (), Rijksuniversiteit Groningen, . [pdf]

Recent publications

  1. Efficient conditional compliance checking of business process models (, and ), In Computers in Industry, volume 115, . [url] [doi]
  2. Variability in business processes: Automatically obtaining a generic specification (, , and ), In Information Systems, volume 80, . [url] [doi]
  3. A Formal Model for Compliance Verification of Service Compositions (, and ), In IEEE Transactions on Services Computing, volume 11, . [doi]
  4. Automated compliance verification of business processes in Apromore (, and ), In Proceedings of the BPM Demo Track 2017, .
  5. Business Process Variability: A Study into Process Management and Verification (), Rijksuniversiteit Groningen, . [pdf]

(For more publications go to Heerko's publication page)