Heerko Groefsema
Heerko Groefsema
Researcher, Bernoulli Institute, University of Groningen
Bestätigte E-Mail-Adresse bei rug.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Requirements and tools for variability management
M Aiello, P Bulanov, H Groefsema
2010 IEEE 34th Annual Computer Software and Applications Conference …, 2010
562010
A survey of formal business process verification
H Groefsema, D Bucur
Proc. Int. Sym. Business Modeling and Software Design, Noordwijkerhout, The …, 2013
312013
Declarative enhancement framework for business processes
H Groefsema, P Bulanov, M Aiello
International Conference on Service-Oriented Computing, 495-504, 2011
152011
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
142016
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
132015
Business process variability: A tool for declarative template design
P Bulanov, H Groefsema, M Aiello
International Conference on Service-Oriented Computing, 241-242, 2011
62011
Business process variability: a study into process management and verification
H Groefsema
Rijksuniversiteit Groningen, 2016
32016
Imperative versus Declarative Process Variability: Why Choose?
H Groefsema, P Bulanov, M Aiello
32013
Variability in business processes: Automatically obtaining a generic specification
N van Beest, H Groefsema, L García-Bañuelos, M Aiello
Information Systems, 2018
22018
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
22017
Efficient conditional compliance checking of business process models
H Groefsema, N van Beest, A Armas-Cervantes
Computers in Industry 115, 103181, 2020
12020
Replicating Subsets of Data for the Dutch E-Government‖
G Biemolt, H Groefsema, M Aiello, GRR de Lavalette, A Althoff, R Beikes
Technical Report, University of Groningen and Ordina Oracle Solutions, 2008
12008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12