default search action
H. M. W. Verbeek
Eric Verbeek 0001 – Henricus M. W. (Eric) Verbeek
Person information
- affiliation: Eindhoven University of Technology, Netherlands
Other persons with the same name
- Eric Verbeek 0002 — University of Victoria, BC, Canada (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j33]Moe Thandar Wynn
, Wil M. P. van der Aalst, Eric Verbeek, Bruno N. Di Stefano:
The IEEE XES Standard for Process Mining: Experiences, Adoption, and Revision [Society Briefs]. IEEE Comput. Intell. Mag. 19(1): 20-23 (2024) - 2023
- [c61]Eric Verbeek:
Excavating event logs with DiSCover. ICPM Doctoral Consortium / Demo 2023 - [c60]Eric Verbeek, Dirk Fahland:
Generating event logs with CPN IDE. ICPM Doctoral Consortium / Demo 2023 - 2022
- [j32]H. M. W. Verbeek
The Log Skeleton Visualizer in ProM 6.9. Int. J. Softw. Tools Technol. Transf. 24(4): 549-561 (2022) - [c59]Eric Verbeek:
Discovering an S-Coverable WF-net using DiSCover. ICPM 2022: 64-71 - [c58]Mitchel Brunings, Dirk Fahland, Eric Verbeek:
Discover Context-Rich Local Process Models (Extended Abstract). ICPM Doctoral Consortium / Demo 2022: 100-103 - [p2]Adriano Augusto, Josep Carmona, Eric Verbeek:
Advanced Process Discovery Techniques. Process Mining Handbook 2022: 76-107 - 2021
- [c57]Moe Thandar Wynn, Julian Lebherz, Wil M. P. van der Aalst
Rethinking the Input for Process Mining: Insights from the XES Survey and Workshop. ICPM Workshops 2021: 3-16
2010 – 2019
- 2018
- [j31]Sebastiaan J. van Zelst
Discovering workflow nets using integer linear programming. Computing 100(5): 529-556 (2018) - [j30]Wai Lam Jonathan Lee
Recomposing conformance: Closing the circle on decomposed alignment-based conformance checking in process mining. Inf. Sci. 466: 55-91 (2018) - [c56]Willem Sonke
Optimal Algorithms for Compact Linear Layouts. PacificVis 2018: 1-10 - [c55]Prabhakar M. Dixit, Joos C. A. M. Buijs, H. M. W. Verbeek
Fast Incremental Conformance Analysis for Interactive Process Discovery. BIS 2018: 163-175 - [c54]Wai Lam Jonathan Lee, Jorge Munoz-Gama
Improving Merging Conditions for Recomposing Conformance Checking. Business Process Management Workshops 2018: 31-43 - [c53]Prabhakar M. Dixit, H. M. W. Verbeek
Fast Conformance Analysis Based on Activity Log Abstraction. EDOC 2018: 135-144 - [c52]Prabhakar M. Dixit, H. M. W. Verbeek
Interactive Data-Driven Process Model Construction. ER 2018: 251-265 - [c51]Prabhakar M. Dixit, H. M. W. Verbeek
Incremental Computation of Synthesis Rules for Free-Choice Petri Nets. FACS 2018: 97-117 - [i4]H. M. W. Verbeek, Renata Medeiros de Carvalho:
Log Skeletons: A Classification Approach to Process Discovery. CoRR abs/1806.08247 (2018) - [i3]Dennis M. M. Schunselaar, H. M. W. Verbeek:
Task Elimination may Actually Increase Throughput Time. CoRR abs/1812.11793 (2018) - 2017
- [j29]Giovanni Acampora, Autilia Vitiello, Bruno N. Di Stefano, Wil M. P. van der Aalst
IEEE 1849: The XES Standard: The Second IEEE Standard Sponsored by IEEE Computational Intelligence Society [Society Briefs]. IEEE Comput. Intell. Mag. 12(2): 4-8 (2017) - [j28]H. M. W. Verbeek
Divide and Conquer: A Tool Framework for Supporting Decomposed Discovery in Process Mining. Comput. J. 60(11): 1649-1674 (2017) - [j27]Lihi Raichelson, Pnina Soffer, Eric Verbeek
Merging event logs: Combining granularity levels for process flow analysis. Inf. Syst. 71: 211-227 (2017) - [j26]H. M. W. Verbeek
Decomposed Replay Using Hiding and Reduction as Abstraction. Trans. Petri Nets Other Model. Concurr. 12: 166-186 (2017) - [c50]Humberto S. Garcia Caballero
Visual Analytics for Soundness Verification of Process Models. Business Process Management Workshops 2017: 744-756 - [c49]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 - [i2]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 abs/1703.06733 (2017) - 2016
- [c48]H. M. W. Verbeek
Merging Alignments for Decomposed Replay. Petri Nets 2016: 219-239 - [c47]H. M. W. Verbeek:
Decomposed Replay Using Hiding and Reduction. PNSE @ Petri Nets 2016: 233-252 - 2015
- [c46]Wil M. P. van der Aalst
Process Discovery Using Localized Events. Petri Nets 2015: 287-308 - [c45]Dennis M. M. Schunselaar, H. M. W. Verbeek
A Structural Model Comparison for Finding the Best Performing Models in a Collection. BPM 2015: 180-188 - 2014
- [j25]Wil M. P. van der Aalst
Process Discovery and Conformance Checking Using Passages. Fundam. Informaticae 131(1): 103-138 (2014) - [c44]Dennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers:
Petra: A Tool for Analysing a Process Family. PNSE @ Petri Nets 2014: 269-288 - [c43]Ronny Mans, Wil M. P. van der Aalst, H. M. W. Verbeek:
Supporting Process Mining Workflows with RapidProM. BPM (Demos) 2014: 56 - [c42]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: 81 - [c41]Eric Verbeek:
Decomposed Process Mining with DivideAndConquer. BPM (Demos) 2014: 86 - [c40]Jan Martijn E. M. van der Werf
Online Compliance Monitoring of Service Landscapes. Business Process Management Workshops 2014: 89-95 - [c39]Dennis M. M. Schunselaar, Henrik Leopold, H. M. W. Verbeek
Configuring Configurable Process Models Made Easier: An Automated Approach. Business Process Management Workshops 2014: 105-117 - [c38]H. M. W. Verbeek
Decomposed Process Mining: The ILP Case. Business Process Management Workshops 2014: 264-276 - [c37]Dennis M. M. Schunselaar, H. M. W. Verbeek
YAWL in the Cloud: Supporting Process Sharing and Variability. Business Process Management Workshops 2014: 367-379 - [c36]Bart Hompes, Eric Verbeek, Wil M. P. van der Aalst:
Finding Suitable Activity Clusters for Decomposed Process Discovery. SIMPDA 2014: 16-30 - [c35]B. F. A. Hompes, H. M. W. Verbeek
Finding Suitable Activity Clusters for Decomposed Process Discovery. SIMPDA (Revised Selected Papers) 2014: 32-57 - [c34]Dennis M. M. Schunselaar, Eric Verbeek, Hajo A. Reijers, Wil M. P. van der Aalst:
Using Monotonicity to Find Optimal Process Configurations Faster. SIMPDA 2014: 123-137 - 2013
- [c33]Dennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers:
A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets. PNSE+ModPE 2013: 135-154 - [c32]Eric Verbeek, Wil M. P. van der Aalst:
Decomposing Replay Problems: A Case Study. PNSE+ModPE 2013: 219-235 - [c31]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: 41-48 - 2012
- [c30]Dennis M. M. Schunselaar, Eric Verbeek
Creating Sound and Reversible Configurable Process Models Using CoSeNets. BIS 2012: 24-35 - [c29]Jan Martijn E. M. van der Werf
Context-Aware Compliance Checking. BPM 2012: 98-113 - [c28]Henricus M. W. (Eric) Verbeek
An Experimental Evaluation of Passage-Based Process Discovery. Business Process Management Workshops 2012: 205-210 - [c27]Henricus M. W. (Eric) Verbeek
BPI Challenge 2012: The Transition System Case. Business Process Management Workshops 2012: 225-226 - 2011
- [j24]Wil M. P. van der Aalst
Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3): 333-363 (2011) - [c26]Michael Westergaard, Henricus M. W. (Eric) Verbeek:
Efficient Implementation of Prioritized Transitions for High-level Petri Nets. PNSE 2011: 27-41 - [c25]Jan Vogelaar, H. M. W. Verbeek
Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study. Business Process Management Workshops (2) 2011: 50-61 - [c24]Wil M. P. van der Aalst
Process Mining Manifesto. Business Process Management Workshops (1) 2011: 169-194 - [c23]R. P. Jagadeesh Chandra Bose, Henricus M. W. (Eric) Verbeek, Wil M. P. van der Aalst:
Discovering Hierarchical Process Models Using ProM. CAiSE Forum 2011: 33-40 - [c22]R. P. Jagadeesh Chandra Bose, Henricus M. W. (Eric) Verbeek
Discovering Hierarchical Process Models Using ProM. CAiSE Forum (Selected Papers) 2011: 33-48 - 2010
- [j23]H. M. W. Verbeek
Reduction rules for reset/inhibitor nets. J. Comput. Syst. Sci. 76(2): 125-143 (2010) - [j22]Wil M. P. van der Aalst
Process mining: a two-step approach to balance between underfitting and overfitting. Softw. Syst. Model. 9(1): 87-111 (2010) - [c21]Eric Verbeek, Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst:
ProM 6: The Process Mining Toolkit. BPM (Demos) 2010 - [c20]H. M. W. Verbeek
XES, XESame, and ProM 6. CAiSE Forum (Selected Papers) 2010: 60-75 - [c19]Eric Verbeek, Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst:
XES Tools. CAiSE Forum 2010 - [p1]Eric Verbeek
Verification. Modern Business Process Automation 2010: 513-539
2000 – 2009
- 2009
- [j21]Moe Thandar Wynn
Business process verification - finally a reality! Bus. Process. Manag. J. 15(1): 74-92 (2009) - [j20]Niels Lohmann
Comparing and evaluating Petri net semantics for BPEL. Int. J. Bus. Process. Integr. Manag. 4(1): 60-73 (2009) - [j19]Moe Thandar Wynn
Reduction rules for YAWL workflows with cancellation regions and OR-joins. Inf. Softw. Technol. 51(6): 1010-1020 (2009) - [j18]Moe Thandar Wynn
Soundness-preserving reduction rules for reset workflow nets. Inf. Sci. 179(6): 769-790 (2009) - [j17]Niels Lohmann, Eric Verbeek
Petri Net Transformations for Business Processes - A Survey. Trans. Petri Nets Other Model. Concurr. 2: 46-63 (2009) - [j16]Kees M. van Hee, H. M. W. Verbeek
A Framework for Linking and Pricing No-Cure-No-Pay Services. Trans. Petri Nets Other Model. Concurr. 2: 192-207 (2009) - [j15]Wil M. P. van der Aalst
Soundness of Workflow Nets with Reset Arcs. Trans. Petri Nets Other Model. Concurr. 3: 50-70 (2009) - [c18]Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, Anne Rozinat, Eric Verbeek, Ton Weijters:
ProM: The Process Mining Toolkit. BPM (Demos) 2009 - 2008
- [j14]Wil M. P. van der Aalst, H. M. W. Verbeek:
Process Mining in Web Services: The WebSphere Case. IEEE Data Eng. Bull. 31(3): 45-48 (2008) - [j13]Jan Mendling
Detection and prediction of errors in EPCs of the SAP reference model. Data Knowl. Eng. 64(1): 312-329 (2008) - [j12]Florian Gottschalk, Wil M. P. van der Aalst
Protos2CPN: using colored Petri nets for configuring and testing business processes. Int. J. Softw. Tools Technol. Transf. 10(1): 95-110 (2008) - [j11]Wil M. P. van der Aalst
Conformance checking of service behavior. ACM Trans. Internet Techn. 8(3): 13:1-13:30 (2008) - [j10]Henricus M. W. (Eric) Verbeek
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. Trans. Petri Nets Other Model. Concurr. 1: 152-171 (2008) - 2007
- [j9]Boudewijn F. van Dongen
Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Comput. Ind. 58(6): 578-601 (2007) - [j8]H. M. W. Verbeek
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. Comput. J. 50(3): 294-314 (2007) - [j7]Wil M. P. van der Aalst
Business process management: Where business processes and web services meet. Data Knowl. Eng. 61(1): 1-5 (2007) - [j6]Wil M. P. van der Aalst
Business process mining: An industrial application. Inf. Syst. 32(5): 713-732 (2007) - [j5]Chun Ouyang, Eric Verbeek
Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2-3): 162-198 (2007) - [c17]Wil M. P. van der Aalst
ProM 4.0: Comprehensive Support for Real Process Analysis. ICATPN 2007: 484-494 - 2006
- [c16]Jan Mendling, Michael Moser, Gustaf Neumann, H. M. W. Verbeek
Faulty EPCs in the SAP Reference Model. Business Process Management 2006: 451-457 - [c15]H. M. W. Verbeek, Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst:
Interoperability in the ProM Framework. EMOI-INTEROP 2006 - [c14]Paul Barborka, Lukas Helm, Georg Köldorfer, Jan Mendling, Gustaf Neumann, Boudewijn F. van Dongen, Eric Verbeek, Wil M. P. van der Aalst:
Integration of EPC-related Tools with ProM. EPK 2006: 105-120 - [i1]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 - 2005
- [c13]Boudewijn F. van Dongen, Ana Karla A. de Medeiros, H. M. W. Verbeek
The ProM Framework: A New Era in Process Mining Tool Support. ICATPN 2005: 444-454 - [c12]Eric Verbeek
Protos 7.0: Simulation Made Accessible. ICATPN 2005: 465-474 - [c11]Boudewijn F. van Dongen, Wil M. P. van der Aalst
Verification of EPCs: Using Reduction Rules and Petri Nets. CAiSE 2005: 372-386 - [c10]Wil M. P. van der Aalst
Life After BPEL? EPEW/WS-FM 2005: 35-50 - [c9]Chun Ouyang, Eric Verbeek
WofBPEL: A Tool for Automated Analysis of BPEL Processes. ICSOC 2005: 484-489 - 2004
- [j4]Mathias Weske, Wil M. P. van der Aalst
Advances in business process management. Data Knowl. Eng. 50(1): 1-8 (2004) - [j3]H. M. W. Verbeek
XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows. Inf. Technol. Manag. 5(1-2): 65-110 (2004) - [c8]Eric Verbeek
Transit Case Study. ICATPN 2004: 391-410 - 2003
- [c7]H. M. W. Verbeek, Twan Basten:
Deciding Life-Cycle Inheritance on Petri Nets. ICATPN 2003: 44-63 - [c6]Wil M. P. van der Aalst
Organizational Modeling in UML and XML in the Context of Workflow Systems. SAC 2003: 603-608 - 2002
- [j2]Akhil Kumar, Wil M. P. van der Aalst
Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance. J. Manag. Inf. Syst. 18(3): 157-194 (2002) - [c5]Wil M. P. van der Aalst
An Alternative Way to Analyze Workflow Graphs. CAiSE 2002: 535-552 - [c4]H. M. W. Verbeek
XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. WES 2002: 93-108 - 2001
- [j1]H. M. W. Verbeek
Diagnosing Workflow Processes using Woflan. Comput. J. 44(4): 246-279 (2001) - [c3]Wil M. P. van der Aalst
Verification of XRL: An XML-based Workflow Language. CSCWD 2001: 427-432 - 2000
- [c2]Eric Verbeek
Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. ICATPN 2000: 475-484
1990 – 1999
- 1999
- [c1]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: 353-360
Coauthor Index
[j33] [c57] [j31] [j30] [c55] [c54] [c53] [c52] [c51] [j29] [j28] [c50] [c49] [i2] [c48] [c46] [c45] [j25] [c44] [c43] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [j24] [c25] [c24] [c23] [c22] [j23] [j22] [c21] [c20] [c19] [j21] [j19] [j18] [j15] [c18] [j14] [j13] [j12] [j11] [j10] [j9] [j8] [j7] [j6] [j5] [c17] [c16] [c15] [c14] [i1] [c13] [c11] [c10] [c9] [j4] [j3] [c6] [j2] [c5] [c4] [j1] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: