Eric Verbeek
Eric Verbeek
Verified email at
Cited by
Cited by
Process mining manifesto
W Aalst, A Adriansyah, AKA Medeiros, F Arcieri, T Baier, T Blickle, ...
International conference on business process management, 169-194, 2011
The ProM framework: A new era in process mining tool support
BF Van Dongen, AKA de Medeiros, HMW Verbeek, A Weijters, ...
International conference on application and theory of petri nets, 444-454, 2005
Business process mining: An industrial application
WMP Van Der Aalst, HA Reijers, AJMM Weijters, BF van Dongen, ...
Information Systems 32 (5), 713-732, 2007
Formal semantics and analysis of control flow in WS-BPEL
C Ouyang, E Verbeek, WMP Van Der Aalst, S Breutel, M Dumas, ...
Science of computer programming 67 (2-3), 162-198, 2007
Process mining: a two-step approach to balance between underfitting and overfitting
WMP Van der Aalst, V Rubin, HMW Verbeek, BF van Dongen, E Kindler, ...
Software & Systems Modeling 9 (1), 87-111, 2010
Soundness of workflow nets: classification, decidability, and analysis
WMP Van Der Aalst, KM Van Hee, AHM Ter Hofstede, N Sidorova, ...
Formal aspects of computing 23 (3), 333-363, 2011
Diagnosing workflow processes using Woflan
HMW Verbeek, T Basten, WMP van der Aalst
The computer journal 44 (4), 246-279, 2001
Xes, xesame, and prom 6
HMW Verbeek, JCAM Buijs, BF Dongen, WMP Van Der Aalst
International conference on advanced information systems engineering, 60-75, 2010
Advances in business process management
M Weske, WMP Van Der Aalst, HMW Verbeek
Data & Knowledge Engineering 50 (1), 1-8, 2004
ProM 4.0: Comprehensive Support for Real Process Analysis
WMP van der Aalst, BF van Dongen, CW Günther, RS Mans, AK Medeiros, ...
International Conference on Application and Theory of Petri Nets, 484-494, 2007
Detection and prediction of errors in EPCs of the SAP reference model
J Mendling, HMW Verbeek, BF van Dongen, WMP van der Aalst, ...
Data & Knowledge Engineering 64 (1), 312-329, 2008
Prom 6: The process mining toolkit
HMW Verbeek, J Buijs, BF Van Dongen, WMP van der Aalst
Proc. of BPM Demonstration Track 615, 34-39, 2010
An alternative way to analyze workflow graphs
WMP van der Aalst, A Hirnschall, HMW Verbeek
International Conference on Advanced Information Systems Engineering, 535-552, 2002
ProM: The process mining toolkit.
WMP Van der Aalst, BF van Dongen, CW Günther, A Rozinat, E Verbeek, ...
BPM (Demos) 489 (31), 2, 2009
Petri net transformations for business processes–a survey
N Lohmann, E Verbeek, R Dijkman
Transactions on petri nets and other models of concurrency II, 46-63, 2009
Conformance checking of service behavior
WMP Aalst, M Dumas, C Ouyang, A Rozinat, E Verbeek
ACM Transactions on Internet Technology (TOIT) 8 (3), 1-30, 2008
Business process verification–finally a reality!
MT Wynn, HMW Verbeek, WMP van der Aalst, AHM ter Hofstede, ...
Business Process Management Journal 15 (1), 74-92, 2009
Dynamic work distribution in workflow management systems: How to balance quality and performance
A Kumar, WMP Van Der Aalst, EMW Verbeek
Journal of Management Information Systems 18 (3), 157-193, 2002
Verification of EPCs: Using reduction rules and Petri nets
BF van Dongen, WMP Van der Aalst, HMW Verbeek
International Conference on Advanced Information Systems Engineering, 372-386, 2005
WofBPEL: A tool for automated analysis of BPEL processes
C Ouyang, E Verbeek, WMP van der Aalst, S Breutel, M Dumas, ...
International Conference on Service-Oriented Computing, 484-489, 2005
The system can't perform the operation now. Try again later.
Articles 1–20