EDBT 2026 Demo / reviewers in the wild / expert
H. M. W. Verbeek
dblp:v/HMWVerbeek · also Eric Verbeek 0001, Henricus M. W. (Eric) Verbeek
· DBLP profile ↗
11ranked-venue papers in the field
1as first author
1since 2021 · last 2022
0000-0002-1658-9679ORCID · verified
Domains — venue-derived; a paper can count in several
Database Systems & Data Management · 5Business Process & Enterprise Data · 4 (1 first)Knowledge Engineering, Semantic Web & Information Systems · 2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Discovering an S-Coverable WF-net using DiSCoverabstractAlthough many algorithms exist that can discover a WF-net from an event log, only a few (if any at all) can discover advanced routing constructs. As examples, the Inductive miner uses process trees and cannot discover complex loops, or situations where choice and parallel behavior is mixed, and the Hybrid ILP miner cannot discover certain complex routing constructs because it cannot discover silent transitions. This paper introduces the DiSCover miner, a discovery algorithm that can discover these more complex constructs and that is implemented in ProM. The DiSCover miner discovers from the event log a WF-net that corresponds to a collection of state machines that need to synchronize on the visible transitions (that is, on the activities from the event log). As such, it discovers a WF-net that is S-Coverable but not necessarily sound. Initial results show that it can discover complex routing constructs and that it performs well on the data sets of the different Process Discovery Contests. It even preformed better than winners of the 2020 and 2021 contests. H. M. W. Verbeek |
ICPM | 1 |
| 2018 | Interactive Data-Driven Process Model Construction
Prabhakar M. Dixit, H. M. W. Verbeek, Joos C. A. M. Buijs, Wil M. P. van der Aalst |
ER | 2 |
| 2018 | Recomposing conformance: Closing the circle on decomposed alignment-based conformance checking in process mining
Wai Lam Jonathan Lee, H. M. W. Verbeek, Jorge Munoz-Gama, Wil M. P. van der Aalst, Marcos Sepúlveda |
Inf. Sci. | 2 |
| 2017 | Merging event logs: Combining granularity levels for process flow analysis
Lihi Raichelson, Pnina Soffer, H. M. W. Verbeek |
Inf. Syst. | 3 |
| 2009 | Soundness-preserving reduction rules for reset workflow nets
Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond |
Inf. Sci. | 2 |
| 2008 | Detection and prediction of errors in EPCs of the SAP reference model
Jan Mendling, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst, Gustaf Neumann |
Data Knowl. Eng. | 2 |
| 2007 | Business process management: Where business processes and web services meet
Wil M. P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera, H. M. W. Verbeek |
Data Knowl. Eng. | 5 |
| 2007 | Business process mining: An industrial application
Wil M. P. van der Aalst, Hajo A. Reijers, A. J. M. M. Weijters, Boudewijn F. van Dongen, Ana Karla A. de Medeiros, Minseok Song 0001, H. M. W. Verbeek |
Inf. Syst. | 7 |
| 2005 | Verification of EPCs: Using Reduction Rules and Petri Nets
Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek |
CAiSE | 3 |
| 2004 | Advances in business process management
Mathias Weske, Wil M. P. van der Aalst, H. M. W. Verbeek |
Data Knowl. Eng. | 3 |
| 2002 | An Alternative Way to Analyze Workflow Graphs
Wil M. P. van der Aalst, Alexander Hirnschall, H. M. W. Verbeek |
CAiSE | 3 |