1. Design-time compliance of service compositions in dynamic service environments;Groefsema;International Conference on Service Oriented Computing & Applications,2015
2. A formal model for compliance verification of service compositions;Groefsema;IEEE Trans. Serv. Comput.,2018
3. Automated compliance verification of business processes in Apromore;Groefsema;Proceedings of the BPM Demo Track,2017
4. Variability in business processes: automatically obtaining a generic specification;van Beest;Inf. Syst.,2018
5. A survey of formal business process verification: from soundness to variability;Groefsema;International Symposium on Business Modeling and Software Design,2013