| Requirements and tools for variability management M Aiello, P Bulanov, H Groefsema 2010 IEEE 34th Annual Computer Software and Applications Conference …, 2010 | 67 | 2010 |
| 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 | 45 | 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 | 33 | 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 | 28 | 2016 |
| Declarative enhancement framework for business processes H Groefsema, P Bulanov, M Aiello Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011 | 17 | 2011 |
| Variability in business processes: Automatically obtaining a generic specification N van Beest, H Groefsema, L García-Bañuelos, M Aiello Information Systems, 2018 | 13 | 2018 |
| 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 | 9 | 2022 |
| Efficient conditional compliance checking of business process models H Groefsema, N van Beest, A Armas-Cervantes Computers in Industry 115, 103181, 2020 | 9 | 2020 |
| 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 | 6 | 2012 |
| Business process variability: A study into process management and verification H Groefsema | 5 | 2016 |
| 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 | 4 | 2023 |
| 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 | 4 | 2017 |
| Imperative versus declarative process variability: Why Choose? H Groefsema, P Bulanov, M Aiello | 3 | 2012 |
| "log data compliance" G Governatori, N van Beest, A Cryer, H Groefsema WO Patent WO2021/248,201, 2021 | 1 | 2021 |
| 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 | 1 | 2008 |
| 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 |
Marco AielloUniversity of StuttgartVerified email at iaas.uni-stuttgart.de
