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
662010
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
272016
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
112018
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
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
42022
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
42017
Imperative versus declarative process variability: Why Choose?
H Groefsema, P Bulanov, M Aiello
32012
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
12023
"log data compliance"
G Governatori, N van Beest, A Cryer, H Groefsema
WO Patent WO2021/248,201, 2021
12021
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
Log data compliance
G Governatori, N Van Beest, A Cryer, H Groefsema
US Patent App. 18/009,503, 2023
2023
Interoperability framework of virtual factory and business innovation
M Medema, L Xu, P de Vrieze, Y Bai, S Wei, FM Macella, F Leotta, ...
European Commission, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–17