Eric Verbeek
Eric Verbeek
Verified email at
Cited by
Cited by
Process mining manifesto
W Van Der Aalst, A Adriansyah, AKA De Medeiros, F Arcieri, T Baier, ...
Business Process Management Workshops: BPM 2011 International Workshops …, 2012
The ProM framework: A new era in process mining tool support
BF Van Dongen, AKA de Medeiros, HMW Verbeek, A Weijters, ...
Applications and Theory of Petri Nets 2005: 26th International Conference …, 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
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, 87-111, 2010
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
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, 333-363, 2011
Xes, xesame, and prom 6
HMW Verbeek, JCAM Buijs, BF Van Dongen, WMP Van Der Aalst
Information Systems Evolution: CAiSE Forum 2010, Hammamet, Tunisia, June 7-9 …, 2011
Diagnosing workflow processes using Woflan
HMW Verbeek, T Basten, WMP van der Aalst
The computer journal 44 (4), 246-279, 2001
Advances in business process management
M Weske, WMP Van Der Aalst, HMW Verbeek
Data & knowledge engineering 50 (1), 1-8, 2004
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
Prom: The process mining toolkit
WMP Van der Aalst, BF van Dongen, CW Günther, A Rozinat, ...
Proceedings of the BPM 2009 Demonstration Track (BPMDemos 2009, Ulm, Germany …, 2009
ProM 4.0: Comprehensive Support for Real Process Analysis
WMP van der Aalst, BF van Dongen, CW Günther, RS Mans, ...
Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International …, 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
An alternative way to analyze workflow graphs
WMP van der Aalst, A Hirnschall, HMW Verbeek
Advanced Information Systems Engineering: 14th International Conference …, 2002
Petri net transformations for business processes–a survey
N Lohmann, E Verbeek, R Dijkman
Transactions on Petri Nets and Other Models of Concurrency II: Special Issue …, 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
Xes-standard definition
CW Gunther, HMW Verbeek
BPMcenter. org, 2014
Verification of EPCs: Using reduction rules and Petri nets
BF van Dongen, WMP Van der Aalst, HMW Verbeek
Advanced Information Systems Engineering: 17th International Conference …, 2005
The system can't perform the operation now. Try again later.
Articles 1–20