Heerko Groefsema

Requirements and Tools for Variability Management

Marco Aiello, Pavel Bulanov, Heerko Groefsema · 2010 · 44 citations · Full text

Business, Information Systems, Management Information Systems +17

A survey of formal business process verification : From soundness to variability

Heerko Groefsema, Doina Bucur · University of Groningen research database (University of Groningen / Centre for Information Technology) · 2013 · 30 citations

Engineering, Systems Engineering, Business Process Management +16

Computer Software and Applications Conference Workshops (COMPSACW)

Marco Aiello, Pavel Bulanov, Heerko Groefsema · University of Groningen research database (University of Groningen / Centre for Information Technology) · 2010 · 29 citations · Full text

Computing, Computer Engineering, Computer Science +10

Design-Time Compliance of Service Compositions in Dynamic Service Environments

Heerko Groefsema, Nick van Beest · 2015 · 27 citations · Full text

Computing, Information Systems, Systems Engineering +17

A Formal Model for Compliance Verification of Service Compositions

Heerko Groefsema, Nick van Beest, Marco Aiello · IEEE Transactions on Services Computing · 2016 · 25 citations · Full text

Computing, Systems Engineering, Formal Methods +16