H. Groefsema, PhD

Researcher

Research

Research units:

Postal address:
Nijenborgh
9
Gebouw 5161, ruimte 0591
Groningen
Netherlands
Phone: +31 50 363 4566
  1. 2017
  2. Groefsema, H., van Beest, N., & Armas-Cervantes, A. (2017). Automated compliance verification of business processes in Apromore. In Proceedings of the BPM Demo Track 2017 CEUR Workshop Proceedings (CEUR-WS.org).
  3. 2015
  4. Groefsema, H., & van Beest, N. (2015). Design-time Compliance of Service Compositions in Dynamic Service Environments. In 8th IEEEE International Conference on Service Oriented Computing & Applications (SOCA) (pp. 108-115). IEEE (The Institute of Electrical and Electronics Engineers).
  5. 2013
  6. Groefsema, H., & Bucur, D. (2013). A survey of formal business process verification: From soundness to variability. In Proceedings of International Symposium on Business Modeling and Software Design (pp. 198–203). SciTePress.
  7. 2012
  8. Bulanov, P., Groefsema, H., & Aiello, M. (2012). Business Process Variability: A Tool for Declarative Template Design. In Service-Oriented Computing: ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events. Revised Selected Papers (Vol. 7221, pp. 241–242). Springer. https://doi.org/10.1007/978-3-642-31875-7_30
  9. 2011
  10. Groefsema, H., Bulanov, P., & Aiello, M. (2011). Declarative Enhancement Framework for Business Processes. In G. Kappel, Z. Maamar, & HR. MotahariNezhad (Eds.), Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings (Vol. 7084, pp. 495-504). (Lecture Notes in Computer Science; Vol. 7084). BERLIN: Springer. https://doi.org/10.1007/978-3-642-25535-9_34
  11. 2010
  12. Aiello, M., Bulanov, P., & Groefsema, H. (2010). Requirements and Tools for Variability Management. In Computer Software and Applications Conference Workshops (COMPSACW) (pp. 245-250). IEEE (The Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/COMPSACW.2010.50

ID: 362613