H. M. W. Verbeek

60 papers A 6B 2C 1Misc 1Journal 26Unranked 24

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