Distributed Systems > CS > JBI > FWN > RUG

Heerko Groefsema

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.   bib
H. Groefsema, N. van Beest, and M. Aiello (2016) A Formal Model for Compliance Verification of Service Compositions. IEEE Transactions on Service Computing. To appear.   bib
H. Groefsema (2016) Business Process Variability: A Study into Process Management and Verification. PhD thesis.   url
bib
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,108–115.   bib
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,198–203.   url
bib
H. Groefsema, P. Bulanov, and M. Aiello (2012) Imperative versus Declarative Process Variability: Why Choose?. Technical Report JBI 2011-12-6, University of Groningen, December 2012.   url
bib
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,241–242.   bib
H. Groefsema, P. Bulanov, and M. Aiello (2011) Declarative Enhancement Framework for Business Processes. In International Conference on Service-Oriented Computing,495–504.   url
bib
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
bib