Requirements and tools for variability management M Aiello, P Bulanov, H Groefsema 2010 IEEE 34th Annual Computer Software and Applications Conference …, 2010 | 58 | 2010 |
A Survey of Formal Business Process Verification H Groefsema, D Bucur | 32 | 2013 |
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 | 17 | 2015 |
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 | 15 | 2016 |
Declarative enhancement framework for business processes H Groefsema, P Bulanov, M Aiello International Conference on Service-Oriented Computing, 495-504, 2011 | 15 | 2011 |
Business process variability: A tool for declarative template design P Bulanov, H Groefsema, M Aiello International Conference on Service-Oriented Computing, 241-242, 2011 | 6 | 2011 |
Business process variability: a study into process management and verification H Groefsema Rijksuniversiteit Groningen, 2016 | 3 | 2016 |
Imperative versus Declarative Process Variability: Why Choose? H Groefsema, P Bulanov, M Aiello Technical Report JBI 2011-12-6, University of Groningen, 2012 | 3 | 2012 |
Variability in business processes: Automatically obtaining a generic specification N van Beest, H Groefsema, L García-Bañuelos, M Aiello Information Systems, 2018 | 2 | 2018 |
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 | 2 | 2017 |
Efficient conditional compliance checking of business process models H Groefsema, N van Beest, A Armas-Cervantes Computers in Industry 115, 103181, 2020 | 1 | 2020 |
REPLICATING SUBSETS OF DATA FOR THE DUTCH EGovernment G Biemolt, H Groefsema, M Aiello, GRR de Lavalette, A Althoff, R Beikes Technical Report, University of Groningen and Ordina Oracle Solutions, 2008 | 1 | 2008 |