Heerko Groefsema

Orcid: 0000-0001-8081-6883

According to our database1, Heerko Groefsema authored at least 10 papers between 2010 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Cross-Instance Regulatory Compliance Checking of Business Process Event Logs.
IEEE Trans. Software Eng., November, 2023

2022
On the Use of the Conformance and Compliance Keywords During Verification of Business Processes.
Proceedings of the Business Process Management Forum, 2022

2020
Efficient conditional compliance checking of business process models.
Comput. Ind., 2020

2019
Variability in business processes: Automatically obtaining a generic specification.
Inf. Syst., 2019

2018
A Formal Model for Compliance Verification of Service Compositions.
IEEE Trans. Serv. Comput., 2018

2017
Automated Compliance Verification of Business Processes in Apromore.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

2015
Design-Time Compliance of Service Compositions in Dynamic Service Environments.
Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

2011
Declarative Enhancement Framework for Business Processes.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Business Process Variability: A Tool for Declarative Template Design.
Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011

2010
Requirements and Tools for Variability Management.
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010


  Loading...