Publications

Conformance checking of process event streams with constraints on data retention

Posted onAuthorEric VerbeekLeave a comment

Zaman, R., Hassani, M., & van Dongen, B. F. (2023). Conformance checking of process event streams with constraints on data retention. Information Systems, 117, Article 102228. https://doi.org/10.1016/j.is.2023.102228 Abstract Conformance checking (CC) techniques in process mining determine the conformity of cases, by means of their event sequences, with respect to a business process model. Online conformance Read More …

Detecting Complex Anomalous Behaviors in Business Processes: A Multi-perspective Conformance Checking Approach

Posted onAuthorEric VerbeekLeave a comment

Mozafari Mehr, A. S., M. de Carvalho, R., & van Dongen, B. (2023). Detecting Complex Anomalous Behaviors in Business Processes: A Multi-perspective Conformance Checking Approach. In M. Montali, A. Senderovich, & M. Weidlich (Eds.), Process Mining Workshops – ICPM 2022 International Workshops, Revised Selected Papers (pp. 44-56). (Lecture Notes in Business Information Processing; Vol. 468 LNBIP). Read More …

An Association Rule Mining-Based Framework for the Discovery of Anomalous Behavioral Patterns

Posted onAuthorEric VerbeekLeave a comment

Mozafari Mehr, A. S., M. de Carvalho, R., & van Dongen, B. (2022). An Association Rule Mining-Based Framework for the Discovery of Anomalous Behavioral Patterns. In W. Chen, L. Yao, T. Cai, S. Pan, T. Shen, & X. Li (Eds.), Advanced Data Mining and Applications – 18th International Conference, ADMA 2022, Proceedings (pp. 397-412). (Lecture Notes in Computer Read More …

MLA: A Tool for Multi-Perspective Conformance Checking of Business Processes

Posted onAuthorEric VerbeekLeave a comment

Mehr, A. S. M., de Carvalho, R. M., & van Dongen, B. (2021). MLA: A Tool for Multi-Perspective Conformance Checking of Business Processes. In ICPM 2021 Doctoral Consortium and Demo Track 2021 (pp. 35-36). (CEUR Workshop Proceedings; Vol. 3098). CEUR-WS.org. https://ceur-ws.org/Vol-3098/demo_200.pdf Abstract Existing conformance checking techniques focus more on the control-flow perspective rather than other Read More …

Aligning Event Logs to Resource-Constrained ν-Petri Nets

Posted onAuthorEric VerbeekLeave a comment

Sommers, D., Sidorova, N., & van Dongen, B. (2022). Aligning Event Logs to Resource-Constrained ν-Petri Nets. In L. Bernardinello, & L. Petrucci (Eds.), Application and Theory of Petri Nets and Concurrency – 43rd International Conference, PETRI NETS 2022, Proceedings (pp. 325-345). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Read More …

Online Prediction of Aggregated Retailer Consumer Behaviour

Posted onAuthorEric VerbeekLeave a comment

Spenrath, Y., Hassani, M., & van Dongen, B. F. (2022). Online Prediction of Aggregated Retailer Consumer Behaviour. In J. Munoz-Gama, & X. Lu (Eds.), Process Mining Workshops – ICPM 2021 International Workshops, Revised Selected Papers (pp. 211-223). (Lecture Notes in Business Information Processing; Vol. 433 LNBIP). Springer. https://doi.org/10.1007/978-3-030-98581-3_16 Abstract Predicting the behaviour of consumers provides valuable Read More …

BitBooster: Effective Approximation of Distance Metrics via Binary Operations

Posted onAuthorEric VerbeekLeave a comment

Spenrath, Y., Hassani, M., & Van Dongen, B. F. (2022). BitBooster: Effective Approximation of Distance Metrics via Binary Operations. In H. Va Leong, S. S. Sarvestani, Y. Teranishi, A. Cuzzocrea, H. Kashiwazaki, D. Towey, J-J. Yang, & H. Shahriar (Eds.), Proceedings – 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022 (pp. 201-210). Read More …

Defining Meaningful Local Process Models

Posted onAuthorEric VerbeekLeave a comment

Brunings, M., Fahland, D., & van Dongen, B. (2022). Defining Meaningful Local Process Models. In M. Koutny, F. Kordon, & D. Moldt (Eds.), Transactions on Petri Nets and Other Models of Concurrency XVI (pp. 24-48). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13220 LNCS). Read More …

Efficient Memory Utilization in Conformance Checking of Process Event Streams

Posted onAuthorEric VerbeekLeave a comment

Zaman, R., Hassani, M., & van Dongen, B. F. (2022). Efficient Memory Utilization in Conformance Checking of Process Event Streams. 437-440. https://doi.org/10.1145/3477314.3507217 Abstract Conformance checking (CC) techniques of the process mining field gauge the conformance of the events constituting a case with respect to a business process model. Online conformance checking (OCC) techniques assess such Read More …

Conformance Checking: A Systemic View

Posted onAuthorEric VerbeekLeave a comment

Dongen, B. F. V. (2022). Conformance Checking: A Systemic View. In A. Marrella, & B. Weber (Eds.), Business Process Management Workshops – BPM 2021 International Workshops, Revised Selected Papers (pp. 61-72). (Lecture Notes in Business Information Processing; Vol. 436 LNBIP). https://doi.org/10.1007/978-3-030-94343-1_5 Abstract Within the field of process mining, conformance checking plays an important role. While Read More …

A Framework for Efficient Memory Utilization in Online Conformance Checking

Posted onAuthorEric VerbeekLeave a comment

Zaman, R., Hassani, M., & van Dongen, B. F. (2021). A Framework for Efficient Memory Utilization in Online Conformance Checking. arXiv.org. https://arxiv.org/pdf/2112.13640.pdf Abstract Conformance checking (CC) techniques of the process mining field gauge the conformance of the sequence of events in a case with respect to a business process model, which simply put is an Read More …

Conformance checking of mixed-paradigm process models

Posted onAuthorEric VerbeekLeave a comment

van Dongen, B. F., De Smedt, J., Di Ciccio, C., & Mendling, J. (2021). Conformance checking of mixed-paradigm process models. Information Systems, 102, [101685]. https://doi.org/10.1016/j.is.2020.101685 Abstract Mixed-paradigm process models integrate strengths of procedural and declarative representations like Petri nets and DECLARE. They are specifically interesting for process mining because they allow capturing complex behavior in Read More …

Prefix Imputation of Orphan Events in Event Stream Processing

Posted onAuthorEric VerbeekLeave a comment

Zaman, R., Hassani, M., & van Dongen, B. F. (2021). Prefix Imputation of Orphan Events in Event Stream Processing. Frontiers in Big Data, 4, [705243]. https://doi.org/10.3389/fdata.2021.705243 Abstract In the context of process mining, event logs consist of process instances called cases. Conformance checking is a process mining task that inspects whether a log file is Read More …

What Averages Do Not Tell – Predicting Real Life Processes with Sequential Deep Learning

Posted onAuthorEric VerbeekLeave a comment

Ketykó, I., Mannhardt, F., Hassani, M., & van Dongen, B. F. (2021). What Averages Do Not Tell – Predicting Real Life Processes with Sequential Deep Learning. CoRR, abs/2110.10225. https://arxiv.org/abs/2110.10225 Abstract Deep Learning is proven to be an effective tool for modeling sequential data as shown by the success in Natural Language, Computer Vision and Signal Read More …

Actionable Conformance Checking: From Intuitions to Code

Posted onAuthorEric VerbeekLeave a comment

Carmona, J., Weidlich, M., & Dongen, B. V. (2020). Actionable Conformance Checking: From Intuitions to Code. In R-D. Kutsche, & E. Zimányi (Eds.), Big Data Management and Analytics – 9th European Summer School, eBISS 2019, Revised Selected Papers (pp. 1-24). (Lecture Notes in Business Information Processing; Vol. 390). Springer. https://doi.org/10.1007/978-3-030-61627-4_1 Abstract Conformance checking is receiving Read More …

Detecting Privacy, Data and Control-Flow Deviations in Business Processes

Posted onAuthorEric VerbeekLeave a comment

Mozafari Mehr, A., Medeiros de Carvalho, R., & van Dongen, B. F. (2021). Detecting Privacy, Data and Control-Flow Deviations in Business Processes. In S. Nurcan, & A. Korthaus (Eds.), Intelligent Information Systems – CAiSE Forum 2021, Proceedings (pp. 82-91). (Lecture Notes in Business Information Processing; Vol. 424 LNBIP). Springer. https://doi.org/10.1007/978-3-030-79108-7_10 Abstract Existing access control mechanisms Read More …

Scalable Discovery of Hybrid Process Models in a Cloud Computing Environment

Posted onAuthorEric VerbeekLeave a comment

Cheng, L., van Dongen, B. F., & van der Aalst, W. M. P. (2020). Scalable Discovery of Hybrid Process Models in a Cloud Computing Environment. IEEE Transactions on Services Computing, 13(2), 368-380. [8669858]. https://doi.org/10.1109/TSC.2019.2906203 Abstract Process descriptions are used to create products and deliver services. To lead better processes and services, the first step is Read More …

Enabling efficient process mining on large data sets: realizing an in-database process mining operator

Posted onAuthorEric VerbeekLeave a comment

Dijkman, R., Gao, J., Syamsiyah, A., van Dongen, B., Grefen, P., & ter Hofstede, A. (2020). Enabling efficient process mining on large data sets: realizing an in-database process mining operator. Distributed and Parallel Databases, 38(1), 227-253. https://doi.org/10.1007/s10619-019-07270-1 Abstract Process mining can be used to analyze business processes based on logs of their execution. These execution Read More …

Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones

Posted onAuthorEric VerbeekLeave a comment

Bloemen, V., van Zelst, S., van der Aalst, W., van Dongen, B., & van de Pol, J. (Accepted/In press). Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones. Information Systems, 103, [101456]. https://doi.org/10.1016/j.is.2019.101456 Abstract Given a process model and an event log, conformance checking aims to relate the two together, e.g. to Read More …

Defining meaningful local process models

Posted onAuthorEric VerbeekLeave a comment

Brunings, M., Fahland, D., & van Dongen, B. (2020). Defining meaningful local process models. In W. van der Aalst, R. Bergenthum, & J. Carmona (Eds.), ATAED 2020 Algorithms & Theories for the Analysis of Event Data 2020: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2020: Satellite event Read More …

Data Minimisation as Privacy and Trust Instrument in Business Processes

Posted onAuthorEric VerbeekLeave a comment

Zaman, R., Hassani, M., & van Dongen, B. F. (Accepted/In press). Data Minimisation as Privacy and Trust Instrument in Business Processes. In Business Process Management Workshops (BPM 2020) Springer. Abstract Data is vital for almost all sorts of business processes and workflows. However, the possession of personal data of other beings bear consequences. Data is Read More …

Why did my Consumer Shop? Learning an Efficient Distance Metric for Retailer Transaction Data

Posted onAuthorEric VerbeekLeave a comment

Spenrath, Y., Hassani, M., van Dongen, B. F., & Tariq, H. Why did my Consumer Shop? Learning an Efficient Distance Metric for Retailer Transaction Data. In Y. Dong, D. Mladenic, & C. Saunders (Eds.), Machine Learning and Knowledge Discovery in Databases. Applied Data Science and Demo Track – European Conference, ECML PKDD 2020, Proceedings (pp. Read More …

A tour in process mining: from practice to algorithmic challenges

Posted onAuthorEric VerbeekLeave a comment

van der Aalst, W., Carmona, J., Chatain, T., & van Dongen, B. (2019). A tour in process mining: from practice to algorithmic challenges. In M. Koutny, L. Pomello, & L. M. Kristensen (Eds.), Transactions on Petri Nets and Other Models of Concurrency XIV (pp. 1-35). (Lecture Notes in Computer Science (including subseries Lecture Notes in Read More …

Conformance checking: relating processes and models, relating processes and models

Posted onAuthorEric VerbeekLeave a comment

Carmona, J., van Dongen, B., Solti, A., & Weidlich, M. (2018). Conformance checking: relating processes and models. Springer International Publishing Switzerland. https://doi.org/10.1007/978-3-319-99414-7 Abstract This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. Conformance checking interrelates the modelled and recorded behaviour of Read More …

Computing alignments of event data and process models

Posted onAuthorEric VerbeekLeave a comment

van Zelst, S. J., Bolt, A., & van Dongen, B. F. (2018). Computing alignments of event data and process models. In M. Koutny, L. M. Kristensen, & W. Penczek (Eds.), Transactions on Petri Nets and Other Models of Concurrency XIII (pp. 1-26). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Read More …

Improving alignment computation using model-based preprocessing

Posted onAuthorEric VerbeekLeave a comment

Syamsiyah, A., & van Dongen, B. F. (2019). Improving alignment computation using model-based preprocessing. In Proceedings – 2019 International Conference on Process Mining, ICPM 2019 (pp. 73-80). [8786043] Piscataway: Institute of Electrical and Electronics Engineers. DOI: 10.1109/ICPM.2019.00021 Abstract Alignments are a fundamental approach in conformance checking to provide an explicit relation between traces of events Read More …

Efficiently computing alignments: algorithm and datastructures

Posted onAuthorEric VerbeekLeave a comment

van Dongen, B. F. (2019). Efficiently computing alignments: algorithm and datastructures. In F. Daniel, Q. Z. Sheng, & H. Motahari (Eds.), Business Process Management Workshops – BPM 2018 International Workshops, Revised Papers (pp. 44-55). (Lecture Notes in Business Information Processing; Vol. 342). Springer. DOI: 10.1007/978-3-030-11641-5_4 Abstract Conformance checking is considered to be anything where observed Read More …

Detecting behavioral design patterns from software execution data

Posted onAuthorEric VerbeekLeave a comment

Liu, C., van Dongen, B. F., Assy, N., & van der Aalst, W. M. P. (2019). Detecting behavioral design patterns from software execution data. In E. Damiani, G. Spanoudakis, & L. A. Maciaszek (Eds.), Evaluation of Novel Approaches to Software Engineering – 13th International Conference, ENASE 2018, Revised Selected Papers (pp. 137-164). (Communications in Computer Read More …

A general framework to identify software components from execution data

Posted onAuthorEric VerbeekLeave a comment

Liu, C., van Dongen, B. F., Assy, N., & van der Aalst, W. M. P. (2019). A general framework to identify software components from execution data. In G. Spanoudakis, E. Damiani, L. Maciaszek, & L. Maciaszek (Eds.), ENASE 2019 – Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering (pp. Read More …

Software architectural model discovery from execution data

Posted onAuthorEric VerbeekLeave a comment

Liu, C., van Dongen, B. F., Assy, N., & van der Aalst, W. M. P. (2018). Software architectural model discovery from execution data. In ENASE 2018 – Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (pp. 3-10) Abstract During the execution of software systems, many crashes and exceptions may Read More …

Online conformance checking: relating event streams to process models using prefix-alignments

Posted onAuthorEric VerbeekLeave a comment

van Zelst, S. J., Bolt Irondio, A. J., Hassani, M., van Dongen, B. F., & van der Aalst, W. M. P. (2019). Online conformance checking: relating event streams to process models using prefix-alignments. International Journal of Data Science and Analytics, 8(3), 269-284. DOI: 10.1007/s41060-017-0078-6 Abstract Companies often specify the intended behaviour of their business processes Read More …

Enabling efficient process mining on large data sets: realizing an in-database process mining operator

Posted onAuthorEric VerbeekLeave a comment

Dijkman, R., Gao, J., Syamsiyah, A., van Dongen, B., Grefen, P., & ter Hofstede, A. (2019). Enabling efficient process mining on large data sets: realizing an in-database process mining operator. Distributed and Parallel Databases, 38(1), 227-253. https://doi.org/10.1007/s10619-019-07270-1 Abstract Process mining can be used to analyze business processes based on logs of their execution. These execution Read More …

Native directly follows operator

Posted onAuthorEric VerbeekLeave a comment

Syamsiyah, A., Dongen, B. F. van, & Dijkman, R. M. (2018). Native directly follows operator. arXiv. Abstract Typical legacy information systems store data in relational databases. Process mining is a research discipline that analyzes this data to obtain insights into processes. Many different process mining techniques can be applied to data. In current techniques, an Read More …