H. M. W. Verbeek

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 17

Top Topics

Top Venues

Business Process Management Workshops

Publications

H. M. W. Verbeek
The Log Skeleton Visualizer in ProM 6.9. Int. J. Softw. Tools Technol. Transf. 24 (4) (2022)
Moe Thandar Wynn, Julian Lebherz, Wil M. P. van der Aalst, Rafael Accorsi, Claudio Di Ciccio, Lakmali Jayarathna, H. M. W. Verbeek
Rethinking the Input for Process Mining: Insights from the XES Survey and Workshop. ICPM Workshops (2021)
Wai Lam Jonathan Lee, H. M. W. Verbeek, Jorge Munoz-Gama, Wil M. P. van der Aalst, Marcos Sepúlveda
Recomposing conformance: Closing the circle on decomposed alignment-based conformance checking in process mining. Inf. Sci. 466 (2018)
Prabhakar M. Dixit, Joos C. A. M. Buijs, H. M. W. Verbeek, Wil M. P. van der Aalst
Fast Incremental Conformance Analysis for Interactive Process Discovery. BIS (2018)
Dennis M. M. Schunselaar, H. M. W. Verbeek
Task Elimination may Actually Increase Throughput Time. CoRR (2018)
H. M. W. Verbeek, R. Medeiros de Carvalho
Log Skeletons: A Classification Approach to Process Discovery. CoRR (2018)
Prabhakar M. Dixit, H. M. W. Verbeek, Joos C. A. M. Buijs, Wil M. P. van der Aalst
Interactive Data-Driven Process Model Construction. ER (2018)
Wai Lam Jonathan Lee, Jorge Munoz-Gama, H. M. W. Verbeek, Wil M. P. van der Aalst, Marcos Sepúlveda
Improving Merging Conditions for Recomposing Conformance Checking. Business Process Management Workshops (2018)
Prabhakar M. Dixit, H. M. W. Verbeek, Wil M. P. van der Aalst
Fast Conformance Analysis Based on Activity Log Abstraction. EDOC (2018)
Prabhakar M. Dixit, H. M. W. Verbeek, Wil M. P. van der Aalst
Incremental Computation of Synthesis Rules for Free-Choice Petri Nets. FACS (2018)
Sebastiaan J. van Zelst, Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek
Discovering workflow nets using integer linear programming. Computing 100 (5) (2018)
Sebastiaan J. van Zelst, Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek
Discovering Relaxed Sound Workflow Nets using Integer Linear Programming. CoRR (2017)
H. M. W. Verbeek
Decomposed Replay Using Hiding and Reduction as Abstraction. Trans. Petri Nets Other Model. Concurr. 12 (2017)
H. M. W. Verbeek, Wil M. P. van der Aalst, Jorge Munoz-Gama
Divide and Conquer: A Tool Framework for Supporting Decomposed Discovery in Process Mining. Comput. J. 60 (11) (2017)
Wai Lam Jonathan Lee, H. M. W. Verbeek, Jorge Munoz-Gama, Wil M. P. van der Aalst, Marcos Sepúlveda
Replay using Recomposition: Alignment-Based Conformance Checking in the Large. BPM (Demos) (2017)
H. M. W. Verbeek, Wil M. P. van der Aalst
Merging Alignments for Decomposed Replay. Petri Nets (2016)
H. M. W. Verbeek
Decomposed Replay Using Hiding and Reduction. PNSE @ Petri Nets (2016)
Dennis M. M. Schunselaar, H. M. W. Verbeek, Hajo A. Reijers, Wil M. P. van der Aalst
A Structural Model Comparison for Finding the Best Performing Models in a Collection. BPM (2015)
Ronny Mans, Wil M. P. van der Aalst, H. M. W. Verbeek
Supporting Process Mining Workflows with RapidProM. BPM (Demos) (2014)
Dennis M. M. Schunselaar, Henrik Leopold, H. M. W. Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers
Configuring Configurable Process Models Made Easier: An Automated Approach. Business Process Management Workshops (2014)
Jan Martijn E. M. van der Werf, H. M. W. Verbeek
Online Compliance Monitoring of Service Landscapes. Business Process Management Workshops (2014)
Sebastiaan J. van Zelst, Andrea Burattin, Boudewijn F. van Dongen, H. M. W. Verbeek
Data Streams in ProM 6: A Single-node Architecture. BPM (Demos) (2014)
Dennis M. M. Schunselaar, H. M. W. Verbeek, Hajo A. Reijers, Wil M. P. van der Aalst
YAWL in the Cloud: Supporting Process Sharing and Variability. Business Process Management Workshops (2014)
H. M. W. Verbeek, Wil M. P. van der Aalst
Decomposed Process Mining: The ILP Case. Business Process Management Workshops (2014)
Wil M. P. van der Aalst, H. M. W. Verbeek
Process Discovery and Conformance Checking Using Passages. Fundam. Informaticae 131 (1) (2014)
B. F. A. Hompes, H. M. W. Verbeek, Wil M. P. van der Aalst
Finding Suitable Activity Clusters for Decomposed Process Discovery. SIMPDA (Revised Selected Papers) (2014)
Dennis M. M. Schunselaar, Tim van der Avoort, H. M. W. Verbeek, Wil M. P. van der Aalst
YAWL in the Cloud. YAWL Symposium (2013)
Jan Martijn E. M. van der Werf, H. M. W. Verbeek, Wil M. P. van der Aalst
Context-Aware Compliance Checking. BPM (2012)
Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn
Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23 (3) (2011)
Jan Vogelaar, H. M. W. Verbeek, B. Luka, Wil M. P. van der Aalst
Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study. Business Process Management Workshops (2) (2011)
H. M. W. Verbeek, Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst
XES, XESame, and ProM 6. CAiSE Forum (Selected Papers) (2010)
Wil M. P. van der Aalst, Vladimir A. Rubin, H. M. W. Verbeek, Boudewijn F. van Dongen, Ekkart Kindler, Christian W. Günther
Process mining: a two-step approach to balance between underfitting and overfitting. Softw. Syst. Model. 9 (1) (2010)
H. M. W. Verbeek, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede
Reduction rules for reset/inhibitor nets. J. Comput. Syst. Sci. 76 (2) (2010)
Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond
Reduction rules for YAWL workflows with cancellation regions and OR-joins. Inf. Softw. Technol. 51 (6) (2009)
Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn
Soundness of Workflow Nets with Reset Arcs. Trans. Petri Nets Other Model. Concurr. 3 (2009)
Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova
A Framework for Linking and Pricing No-Cure-No-Pay Services. Trans. Petri Nets Other Model. Concurr. 2 (2009)
Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond
Business process verification - finally a reality! Bus. Process. Manag. J. 15 (1) (2009)
Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond
Soundness-preserving reduction rules for reset workflow nets. Inf. Sci. 179 (6) (2009)
Wil M. P. van der Aalst, H. M. W. Verbeek
Process Mining in Web Services: The WebSphere Case. IEEE Data Eng. Bull. 31 (3) (2008)
Jan Mendling, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst, Gustaf Neumann
Detection and prediction of errors in EPCs of the SAP reference model. Data Knowl. Eng. 64 (1) (2008)
Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers, H. M. W. Verbeek
Protos2CPN: using colored Petri nets for configuring and testing business processes. Int. J. Softw. Tools Technol. Transf. 10 (1) (2008)
Wil M. P. van der Aalst, Hajo A. Reijers, A. J. M. M. Weijters, Boudewijn F. van Dongen, Ana Karla Alves de Medeiros, Minseok Song, H. M. W. Verbeek
Business process mining: An industrial application. Inf. Syst. 32 (5) (2007)
H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. Comput. J. 50 (3) (2007)
Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, R. S. Mans, Ana Karla Alves de Medeiros, Anne Rozinat, Vladimir A. Rubin, Minseok Song, H. M. W. Verbeek, A. J. M. M. Weijters
Process Analysis. ICATPN (2007)
Boudewijn F. van Dongen, Monique H. Jansen-Vullers, H. M. W. Verbeek, Wil M. P. van der Aalst
Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Comput. Ind. 58 (6) (2007)
H. M. W. Verbeek, Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst
Interoperability in the ProM Framework. EMOI-INTEROP (2006)
Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, H. M. W. Verbeek
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. The Role of Business Processes in Service Oriented Architectures (2006)
Jan Mendling, Michael Moser, Gustaf Neumann, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst
Faulty EPCs in the SAP Reference Model. Business Process Management (2006)
Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell, H. M. W. Verbeek, Petia Wohed
Life After BPEL? EPEW/WS-FM (2005)
Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek
Verification of EPCs: Using Reduction Rules and Petri Nets. CAiSE (2005)
Boudewijn F. van Dongen, Ana Karla A. de Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, Wil M. P. van der Aalst
The ProM Framework: A New Era in Process Mining Tool Support. ICATPN (2005)
H. M. W. Verbeek, Wil M. P. van der Aalst, Akhil Kumar
XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows. Inf. Technol. Manag. 5 (1-2) (2004)
Mathias Weske, Wil M. P. van der Aalst, H. M. W. Verbeek
Advances in business process management. Data Knowl. Eng. 50 (1) (2004)
Wil M. P. van der Aalst, Akhil Kumar, H. M. W. Verbeek
Organizational Modeling in UML and XML in the Context of Workflow Systems. SAC (2003)
H. M. W. Verbeek, Twan Basten
Deciding Life-Cycle Inheritance on Petri Nets. ICATPN (2003)
Wil M. P. van der Aalst, Alexander Hirnschall, H. M. W. Verbeek
An Alternative Way to Analyze Workflow Graphs. CAiSE (2002)
H. M. W. Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst
XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. WES (2002)
Wil M. P. van der Aalst, H. M. W. Verbeek, Akhil Kumar
Verification of XRL: An XML-based Workflow Language. CSCWD (2001)
H. M. W. Verbeek, Twan Basten, Wil M. P. van der Aalst
Diagnosing Workflow Processes using Woflan. Comput. J. 44 (4) (2001)
Wil M. P. van der Aalst, Twan Basten, H. M. W. Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve
Adaptive Workflow-On the Interplay between Flexibility and Support. ICEIS (1999)