The Log Skeleton Visualizer in ProM 6.9

Verbeek, H.M.W. The Log Skeleton Visualizer in ProM 6.9. Int J Softw Tools Technol Transfer (2021). https://doi.org/10.1007/s10009-021-00618-y Abstract Process discovery is an important area in the field of process mining. To help advance this area, a process discovery contest (PDC) has been set up, which allows us to compare different approaches. At the moment of Read More …

Log skeletons: a classification approach to process discovery

Verbeek, H. M. W., & Medeiros de Carvalho, R. (2018). Log skeletons: a classification approach to process discovery. arXiv.org. http://arxiv.org/abs/1806.08247 Abstract To test the effectiveness of process discovery algorithms, a Process Discovery Contest (PDC) has been set up. This PDC uses a classification approach to measure this effectiveness: The better the discovered model can classify Read More …

Improving merging conditions for recomposing conformance checking

Lee, W. L. J., Munoz-Gama, J., Verbeek, H. M. W., van der Aalst, W. M. P., & Sepúlveda, M. (2019). Improving merging conditions for recomposing conformance checking. In F. Daniel, Q. Z. Sheng, & H. Motahari (Eds.), Business Process Management Workshops – BPM 2018 International Workshops, Revised Papers (pp. 31-43). (Lecture Notes in Business Information Read More …

Incremental computation of synthesis rules for free-choice Petri nets

Dixit, Prabhakar M., Verbeek, H.M.W. & van der Aalst, Wil M.P. (2018). Incremental computation of synthesis rules for free-choice Petri nets. In Peter Csaba Ölveczky & Kyungmin Bae (Eds.), Formal Aspects of Component Software – 15th International Conference, FACS 2018, Proceedings (pp. 97-117). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence Read More …

Interactive data-driven process model construction

Dixit, P. M., Verbeek, H.M.W., Buijs, J. C.A.M. & van der Aalst, W. M.P. (2018). Interactive data-driven process model construction. In Xiaoyong Du, Guoliang Li, Zhanhuai Li, Juan C. Trujillo, Tok Wang Ling, Karen C. Davis & Mong Li Lee (Eds.), Conceptual Modeling – 37th International Conference, ER 2018, Proceedings (pp. 251-265). (Lecture Notes in Read More …

Fast incremental conformance analysis for interactive process discovery

Dixit, P.M., Buijs, J.C.A.M., Verbeek, H.M.W., & van der Aalst, W.M.P. (2018). Fast incremental conformance analysis for interactive process discovery. In W. Abramowicz & A. Paschke (Eds.), Business Information Systems – 21st International Conference, BIS 2018, Proceedings (pp. 163-175). (Lecture Notes in Business Information Processing, No. 320). Springer. Abstract Interactive process discovery allows users to Read More …

Recomposing conformance : Closing the circle on decomposed alignment-based conformance checking in process mining

Lee, Wai Lam Jonathan, Verbeek, H.M.W., Munoz-Gama, Jorge, van der Aalst, Wil M.P. & Sepúlveda, Marcos (2018). Recomposing conformance : Closing the circle on decomposed alignment-based conformance checking in process mining. Information Sciences, 466, 55-91. Abstract In the area of process mining, efficient conformance checking is one of the main challenges. Several process mining vendors Read More …

Optimal algorithms for compact linear layouts

Sonke, Willem, Verbeek, Kevin, Meulemans, Wouter, Verbeek, Eric & Speckmann, Bettina (2018). Optimal algorithms for compact linear layouts. Proceedings – 2018 IEEE Pacific Visualization Symposium, PacificVis 2018 (pp. 1-10). Brussels: IEEE Computer Society. Abstract Linear layouts are a simple and natural way to draw a graph: all vertices are placed on a single line and Read More …

Optimal algorithms for compact linear layouts

Meulemans, W., Sonke, W.M., Speckmann, B., Verbeek, H.M.W. & Verbeek, K.A.B. (2018). Optimal algorithms for compact linear layouts. Abstracts of the 34th European Workshop on Computational Geometry (EuroCG), 21-23 March 2018, Berlin, Germany (pp. 10:1-10:6). Abstract Linear layouts are a simple and natural way to draw a graph: all vertices are placed on a single Read More …

Visual analytics for soundness verification of process models

Garcia Caballero, Humberto S., Westenberg, Michel A., Verbeek, H.M.W. & van der Aalst, Wil M.P. (2018). Visual analytics for soundness verification of process models. In M. Weidlich & E. Teniente (Eds.), Business Process Management Workshops (pp. 744-756). (Lecture Notes in Business Information Processing, No. 308). Dordrecht: Springer Netherlands. Abstract Soundness validation of process models is Read More …

Discovering workflow nets using integer linear programming

van Zelst, S.J., van Dongen, B.F., van der Aalst, W.M.P. && Verbeek, H.M.W. (2018). Discovering workflow nets using integer linear programming. Computing, 100(5), 529-556. Abstract Process mining is concerned with the analysis, understanding and improvement of business processes. Process discovery, i.e. discovering a process model based on an event log, is considered the most challenging Read More …

Publications in 2017

Article Scientific peer reviewed Arriagada-Benítez, M., Sepúlveda, M., Munoz-Gama, J. & Buijs, J.C.A.M. (2017). Strategies to automatically derive a process model from a configurable process model based on event data. Applied Sciences, 7(10):1023. Bolt, A., de Leoni, M. & van der Aalst, W.M.P. (2017). Process variant comparison: using event logs to detect differences in behavior Read More …

Publications in 2016

Article Scientific peer reviewed Van Der Aa, Han, Leopold, H. & Reijers, H.A. (2016). Dealing with behavioral ambiguity in textual process descriptions. Lecture notes in computer science, 9850, 271-288. Scopus. van der Aa, J.H., Reijers, H.A. & Vanderfeesten, I.T.P. (2016). Designing like a pro : the automated composition of workflow activities. Computers in Industry, 75, Read More …

Publications in 2015

Article Scientific peer reviewed Adriansyah, Arya, Munoz Gama, Jorge, Carmona, J., van Dongen, Boudewijn & van der Aalst, Wil (2015). Measuring precision of modeled behavior. Information Systems and e-Business Management, 13(1), 37-67. Claes, Jan, Vanderfeesten, Irene, Pinggera, J., Reijers, Hajo, Weber, B. & Poels, G. (2015). A visual analysis of the process of process modeling. Read More …