Heerko Groefsema

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 6

Top Topics

Workflow Management Systems

Business Process

Inter Organizational

Top Venues

IEEE Trans. Serv. Comput.

Publications

Nick van Beest, Heerko Groefsema, Adrian Cryer, Guido Governatori, Silvano Colombo Tosatto, Hannah M. S. Burke
Cross-Instance Regulatory Compliance Checking of Business Process Event Logs. IEEE Trans. Software Eng. 49 (11) (2023)
Heerko Groefsema, N. R. T. P. van Beest, Guido Governatori
On the Use of the Conformance and Compliance Keywords During Verification of Business Processes. BPM (Forum) (2022)
Heerko Groefsema, N. R. T. P. van Beest, Abel Armas-Cervantes
Efficient conditional compliance checking of business process models. Comput. Ind. 115 (2020)
Nick van Beest, Heerko Groefsema, Luciano García-Bañuelos, Marco Aiello
Variability in business processes: Automatically obtaining a generic specification. Inf. Syst. 80 (2019)
Heerko Groefsema, Nick van Beest, Marco Aiello
A Formal Model for Compliance Verification of Service Compositions. IEEE Trans. Serv. Comput. 11 (3) (2018)
Heerko Groefsema, Nick van Beest, Abel Armas-Cervantes
Automated Compliance Verification of Business Processes in Apromore. BPM (Demos) (2017)
Heerko Groefsema, Nick van Beest
Design-Time Compliance of Service Compositions in Dynamic Service Environments. SOCA (2015)
Heerko Groefsema, Pavel Bulanov, Marco Aiello
Declarative Enhancement Framework for Business Processes. ICSOC (2011)
Pavel Bulanov, Heerko Groefsema, Marco Aiello
Business Process Variability: A Tool for Declarative Template Design. ICSOC Workshops (2011)
Marco Aiello, Pavel Bulanov, Heerko Groefsema
Requirements and Tools for Variability Management. COMPSAC Workshops (2010)