Heerko Groefsema

13 papers A 1Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
A first and fast symbolic approach for data-aware business process compliance checking.
Inf. Softw. Technol.
Silvano Colombo Tosatto, Hannah M. S. Burke, Nick van Beest, Heerko Groefsema
2025 — conf
Managing and Anticipating Out-of-Order Events in Online Compliance Monitoring.
CAiSE (2)
Silvano Colombo Tosatto, Hannah M. S. Burke, Nick R. T. P. van Beest, Heerko Groefsema
2024 — ed.
Proceedings of the First International Workshop on Distributed Digital Twins co-located with DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques (DisCoTec 2024), Groningen, the Netherlands, June 17, 2024.
DiDit@DisCoTec
Victoria Degeler, Dilek Dustegör, Heerko Groefsema, Elena Lazovik
2023 J jnl
Cross-Instance Regulatory Compliance Checking of Business Process Event Logs.
IEEE Trans. Software Eng.
Nick van Beest, Heerko Groefsema, Adrian Cryer, Guido Governatori, Silvano Colombo Tosatto, Hannah M. S. Burke
2022 — conf
On the Use of the Conformance and Compliance Keywords During Verification of Business Processes.
BPM (Forum)
Heerko Groefsema, Nick R. T. P. van Beest, Guido Governatori
2020 J jnl
Efficient conditional compliance checking of business process models.
Comput. Ind.
Heerko Groefsema, Nick R. T. P. van Beest, Abel Armas-Cervantes
2019 J jnl
Variability in business processes: Automatically obtaining a generic specification.
Inf. Syst.
Nick van Beest, Heerko Groefsema, Luciano García-Bañuelos, Marco Aiello
2018 J jnl
A Formal Model for Compliance Verification of Service Compositions.
IEEE Trans. Serv. Comput.
Heerko Groefsema, Nick van Beest, Marco Aiello
2017 — conf
Automated Compliance Verification of Business Processes in Apromore.
BPM (Demos)
Heerko Groefsema, Nick van Beest, Abel Armas-Cervantes
2015 — conf
Design-Time Compliance of Service Compositions in Dynamic Service Environments.
SOCA
Heerko Groefsema, Nick van Beest
2011 — conf
Business Process Variability: A Tool for Declarative Template Design.
ICSOC Workshops
Pavel Bulanov, Heerko Groefsema, Marco Aiello
2011 A conf
Declarative Enhancement Framework for Business Processes.
ICSOC
Heerko Groefsema, Pavel Bulanov, Marco Aiello
2010 — conf
Requirements and Tools for Variability Management.
COMPSAC Workshops
Marco Aiello, Pavel Bulanov, Heerko Groefsema