Segui
Heerko Groefsema
Heerko Groefsema
Assistant professor, Bernoulli Institute, University of Groningen
Email verificata su rug.nl - Home page
Titolo
Citata da
Citata da
Anno
Requirements and tools for variability management
M Aiello, P Bulanov, H Groefsema
2010 IEEE 34th Annual Computer Software and Applications Conference …, 2010
682010
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
472013
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
332015
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
292016
Declarative enhancement framework for business processes
H Groefsema, P Bulanov, M Aiello
Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011
172011
Variability in business processes: Automatically obtaining a generic specification
N van Beest, H Groefsema, L García-Bañuelos, M Aiello
Information Systems, 2018
142018
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
112022
Efficient conditional compliance checking of business process models
H Groefsema, N van Beest, A Armas-Cervantes
Computers in Industry 115, 103181, 2020
92020
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
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
52023
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
42017
Imperative versus declarative process variability: Why Choose?
H Groefsema, P Bulanov, M Aiello
32012
"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
Supporting business process variability through declarative process families
H Groefsema, N van Beest
Computers in Industry 159, 104107, 2024
2024
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–18