Distributed Systems > CS > JBI > FWN > RUG

Heerko Groefsema

  1. H. Groefsema, N. R. T. P. van Beest and A. Armas-Cervantes (2020) Efficient conditional compliance checking of business process models.. . (URL) (BibTeX)
  2. N. R. T. P. van Beest, H. Groefsema, L. Garcia-Banuelos and M. Aiello (2019) Variability in business processes: Automatically obtaining a generic specification.. . (URL) (BibTeX)
  3. H. Groefsema, N. R. T. P. van Beest and M. Aiello (2018) A Formal Model for Compliance Verification of Service Compositions.. . (BibTeX)
  4. H. Groefsema, N. van Beest and A. Armas-Cervantes (2017) Automated compliance verification of business processes in Apromore. In Proceedings of the BPM Demo Track 2017.. (BibTeX)
  5. H. Groefsema (2016) Business Process Variability: A Study into Process Management and Verification. PhD thesis. (URL) (BibTeX)
  6. H. Groefsema and N. R. T. P. van Beest (2015) Design-time Compliance of Service Compositions in Dynamic Service Environments. In IEEE International Conference on Service Oriented Computing \& Applications., pages 108-115. (BibTeX)
  7. H. Groefsema and D. Bucur (2013) A Survey of Formal Business Process Verification: From Soundness to Variability. In International Symposium on Business Modeling and Software Design., pages 198-203. (URL) (BibTeX)
  8. H. Groefsema, P. Bulanov, and M. Aiello (2012) Imperative versus Declarative Process Variability: Why Choose? Technical Report JBI 2011-12-6, University of Groningen. (URL) (BibTeX)
  9. H. Groefsema, P. Bulanov, and M. Aiello (2011) Business Process Variability: A Tool for Declarative Template Design. In International Conference on Service-Oriented Computing - Demo Track., pages 241-242. (BibTeX)
  10. H. Groefsema, P. Bulanov, and M. Aiello (2011) Declarative Enhancement Framework for Business Processes. In International Conference on Service-Oriented Computing., pages 495-504. (URL) (BibTeX)
  11. M. Aiello, P. Bulanov, H. Groefsema (2010) Requirements and Tools for Variability Management. In IEEE Workshop on Requirement Engineering for Services at IEEE COMPSAC.. (URL) (BibTeX)