Requirements and Tools for Variability Management. - Marco Aiello 001; Pavel Bulanov; Heerko Groefsema (COMPSAC Workshops, 2010)

Business Process Variability: A Tool for Declarative Template Design. - Pavel Bulanov; Heerko Groefsema; Marco Aiello 001 (ICSOC Workshops, 2011)

Declarative Enhancement Framework for Business Processes. - Heerko Groefsema; Pavel Bulanov; Marco Aiello 001 (ICSOC, 2011)

Design-Time Compliance of Service Compositions in Dynamic Service Environments. - Heerko Groefsema; Nick van Beest (SOCA, 2015)

Automated Compliance Verification of Business Processes in Apromore. - Heerko Groefsema; Nick van Beest; Abel Armas-Cervantes (BPM (Demos), 2017)

A Formal Model for Compliance Verification of Service Compositions. - Heerko Groefsema; Nick van Beest; Marco Aiello 001 (IEEE Trans. Serv. Comput., 2018)

Variability in business processes: Automatically obtaining a generic specification. - Nick van Beest; Heerko Groefsema; Luciano García-Bañuelos; Marco Aiello 001 (Inf. Syst., 2019)

Efficient conditional compliance checking of business process models. - Heerko Groefsema; Nick R. T. P. van Beest; Abel Armas-Cervantes (Comput. Ind., 2020)

On the Use of the Conformance and Compliance Keywords During Verification of Business Processes. - Heerko Groefsema; Nick R. T. P. van Beest; Guido Governatori (BPM (Forum), 2022)

Cross-Instance Regulatory Compliance Checking of Business Process Event Logs. - Nick van Beest; Heerko Groefsema; Adrian Cryer; Guido Governatori; Silvano Colombo Tosatto; Hannah M. S. Burke (IEEE Trans. Software Eng., 2023)

Managing and Anticipating Out-of-Order Events in Online Compliance Monitoring. - Silvano Colombo Tosatto; Hannah M. S. Burke; Nick R. T. P. van Beest; Heerko Groefsema (CAiSE (2), 2025)