Follow
Heerko Groefsema
Heerko Groefsema
Assistant professor, Bernoulli Institute, University of Groningen
Verified email at rug.nl - Homepage
Title
Cited by
Cited by
Year
Requirements and tools for variability management
M Aiello, P Bulanov, H Groefsema
2010 IEEE 34th Annual Computer Software and Applications Conference …, 2010
672010
A Survey of Formal Business Process VerificationFrom Soundness to Variability
H Groefsema, D Bucur
Third International Symposium on Business Modeling and Software Design 1 …, 2013
442013
Design-time compliance of service compositions in dynamic service environments
H Groefsema, N van Beest
2015 IEEE 8th International Conference on Service-Oriented Computing and …, 2015
322015
A Formal Model for Compliance Verification of Service Compositions
H Groefsema, N van Beest, M Aiello
IEEE Transactions on Services Computing 11 (3), 466 - 479, 2016
262016
Declarative enhancement framework for business processes
H Groefsema, P Bulanov, M Aiello
Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011
162011
Variability in business processes: Automatically obtaining a generic specification
N van Beest, H Groefsema, L García-Bañuelos, M Aiello
Information Systems, 2018
92018
Efficient conditional compliance checking of business process models
H Groefsema, N van Beest, A Armas-Cervantes
Computers in Industry 115, 103181, 2020
72020
Business process variability: A tool for declarative template design
P Bulanov, H Groefsema, M Aiello
Service-Oriented Computing-ICSOC 2011 Workshops: ICSOC 2011, International …, 2012
62012
Business process variability: a study into process management and verification
H Groefsema
52016
Automated compliance verification of business processes in apromore
H Groefsema, N van Beest, A Armas Cervantes
Proceedings of the BPM Demo Track and BPM Dissertation Award (CEUR Workshop …, 2017
32017
Imperative versus declarative process variability: Why Choose?
H Groefsema, P Bulanov, M Aiello
32012
On the Use of the Conformance and Compliance Keywords During Verification of Business Processes
H Groefsema, NRTP van Beest, G Governatori
International Conference on Business Process Management, 21-37, 2022
12022
REPLICATING SUBSETS OF DATA FOR THE DUTCH EGovernment
G Biemolt, H Groefsema, S RuG, M Aiello, GRR de Lavalette, S Ordina, ...
Technical Report, University of Groningen and Ordina Oracle Solutions, 2008
12008
Cross-Instance Regulatory Compliance Checking of Business Process Event Logs
N van Beest, H Groefsema, A Cryer, G Governatori, SC Tosatto, H Burke
IEEE Transactions on Software Engineering, 2023
2023
Log data compliance
G Governatori, N Van Beest, A Cryer, H Groefsema
US Patent App. 18/009,503, 2023
2023
"log data compliance"
G Governatori, N van Beest, A Cryer, H Groefsema
WO Patent WO2021/248,201, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–16