Research output per year
Research output per year
- 16 results
Search results
-
2024
Supporting business process variability through declarative process families
Groefsema, H. & van Beest, N. R. T. P., Aug-2024, In: Computers in Industry. 159-160, 9 p., 104107.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile17 Downloads (Pure) -
2023
Cross-Instance Regulatory Compliance Checking of Business Process Event Logs
van Beest, N., Groefsema, H., Cryer, A., Governatori, G., Colombo Tosatto, S. & Burke, H., Nov-2023, In: IEEE Transactions on Software Engineering. 49, 11, p. 1-14 15 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile2 Citations (Scopus)28 Downloads (Pure) -
2022
On the Use of the Conformance and Compliance Keywords During Verification of Business Processes
Groefsema, H., van Beest, N. & Governatori, G., 7-Sept-2022, Business Process Management Forum. Di Ciccio, C., Dijkman, R., del Río Ortega, A. & Rinderle-Ma, S. (eds.). Springer, p. 21–37 17 p. (Lecture Notes in Business Information Processing; vol. 458).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile2 Citations (Scopus)108 Downloads (Pure) -
2021
"log data compliance"
Governatori, G. (Inventor), van Beest, N. (Inventor), Cryer, A. (Inventor) & Groefsema, H. (Inventor), 16-Dec-2021, Patent No. WO2021248201, 10-Jun-2021, Priority date 11-Jun-2020Research output: Patent
Open AccessFile56 Downloads (Pure) -
2020
Efficient conditional compliance checking of business process models
Groefsema, H., van Beest, N. & Armas-Cervantes, A., Feb-2020, In: Computers in Industry. 115, 14 p., 103181.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile8 Citations (Scopus)160 Downloads (Pure) -
2019
Variability in business processes: Automatically obtaining a generic specification
van Beest, N., Groefsema, H., Garcia-Banuelos , L. & Aiello, M., Feb-2019, In: Information Systems. 80, p. 36-55 20 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile8 Citations (Scopus)183 Downloads (Pure) -
2018
A Formal Model for Compliance Verification of Service Compositions
Groefsema, H., van Beest, N. & Aiello, M., May-2018, In: Ieee transactions on services computing. 11, 3, p. 466-479 14 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile21 Citations (Scopus)159 Downloads (Pure) -
2017
Automated compliance verification of business processes in Apromore
Groefsema, H., van Beest, N. & Armas-Cervantes, A., 2017, Proceedings of the BPM Demo Track 2017. CEUR Workshop Proceedings (CEUR-WS.org)Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1 Citation (Scopus) -
2016
Business Process Variability: a study into process management and verification
Groefsema, H., 2016, [Groningen]: Rijksuniversiteit Groningen. 228 p.Research output: Thesis › Thesis fully internal (DIV)
Open AccessFile949 Downloads (Pure) -
2015
Design-time Compliance of Service Compositions in Dynamic Service Environments
Groefsema, H. & van Beest, N., Oct-2015, 8th IEEEE International Conference on Service Oriented Computing & Applications (SOCA). IEEE (The Institute of Electrical and Electronics Engineers), p. 108-115 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile30 Citations (Scopus)66 Downloads (Pure) -
2013
A survey of formal business process verification: From soundness to variability
Groefsema, H. & Bucur, D., 2013, Proceedings of International Symposium on Business Modeling and Software Design. SciTePress, p. 198–203 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
29 Citations (Scopus) -
2012
Business Process Variability: A Tool for Declarative Template Design
Bulanov, P., Groefsema, H. & Aiello, M., 2012, Service-Oriented Computing: ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events. Revised Selected Papers. Springer, Vol. 7221. p. 241–242 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
4 Citations (Scopus) -
Imperative versus declarative process variability: Why Choose?
Groefsema, H., Bulanov, P. & Aiello, M., Dec-2012, (Unpublished) 52 p.Research output: Other contribution › Popular
File53 Downloads (Pure) -
2011
Declarative Enhancement Framework for Business Processes
Groefsema, H., Bulanov, P. & Aiello, M., 2011, Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings. Kappel, G., Maamar, Z. & MotahariNezhad, H. (eds.). BERLIN: Springer, Vol. 7084. p. 495-504 10 p. (Lecture Notes in Computer Science; vol. 7084).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
7 Citations (Scopus)204 Downloads (Pure) -
2010
A survey of variability management requirements
Aiello, M., Bulanov, P. & Groefsema, H., 2010, 5th SIKS/BENAIS Conference on Enterprise Information Systems, EIS 2010. 2010 ed. CEUR Workshop Proceedings (CEUR-WS.org), Vol. 662. p. 35-36 (CEUR Workshop Proceedings; vol. 662).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
Requirements and Tools for Variability Management
Aiello, M., Bulanov, P. & Groefsema, H., 2010, Computer Software and Applications Conference Workshops (COMPSACW). IEEE (The Institute of Electrical and Electronics Engineers), p. 245-250 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile31 Citations (Scopus)443 Downloads (Pure)