Efficient conditional compliance checking of business process models (H. Groefsema, N.R.T.P. van Beest and A. Armas-Cervantes), In Computers in Industry, volume 115, 2020.
Variability in business processes: Automatically obtaining a generic specification (N. R. T. P. van Beest, H. Groefsema, L. García-Bañuelos and M. Aiello), In Information Systems, volume 80, 2019.
A Formal Model for Compliance Verification of Service Compositions (H. Groefsema, N.R.T.P. van Beest and M. Aiello), In IEEE Transactions on Services Computing, volume 11, 2018.
Automated compliance verification of business processes in Apromore (H. Groefsema, N.R.T.P. van Beest and A. Armas-Cervantes), In Proceedings of the BPM Demo Track 2017, 2017.
Business Process Variability: A Study into Process Management and Verification (H. Groefsema), Rijksuniversiteit Groningen, 2016.
Design-time Compliance of Service Compositions in Dynamic Service Environments (H. Groefsema and N.R.T.P. van Beest), In IEEE International Conference on Service Oriented Computing & Applications, 2015.
A Survey of Formal Business Process Verification: From Soundness to Variability (H. Groefsema and D. Bucur), In International Symposium on Business Modeling and Software Design, 2013.
Imperative versus Declarative Process Variability: Why Choose? (H. Groefsema, P. Bulanov, and M. Aiello), Technical report JBI 2011-12-6, University of Groningen, 2012.
Business Process Variability: A Tool for Declarative Template Design (H. Groefsema, P. Bulanov, and M. Aiello), In International Conference on Service-Oriented Computing - Demo Track, 2011.
Declarative Enhancement Framework for Business Processes (H. Groefsema, P. Bulanov, and M. Aiello), In International Conference on Service-Oriented Computing, 2011.
Requirements and Tools for Variability Management (M. Aiello, P. Bulanov, H. Groefsema), In IEEE Workshop on Requirement Engineering for Services at IEEE COMPSAC, 2010.