Eric Verbeek
Eric Verbeek
Verified email at tue.nl
TitleCited byYear
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
9292005
Business process mining: An industrial application
WMP van der Aalst, HA Reijers, AJMM Weijters, BF van Dongen, ...
Information Systems 32 (5), 713-732, 2007
8692007
Process mining manifesto
W Van Der Aalst, A Adriansyah, AKA De Medeiros, F Arcieri, T Baier, ...
International Conference on Business Process Management, 169-194, 2011
7512011
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
5452007
Diagnosing workflow processes using Woflan
HMW Verbeek, T Basten, WMP van der Aalst
The computer journal 44 (4), 246-279, 2001
3992001
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
3782011
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, 2010
3732010
Advances in business process management
M Weske, WMP van der Aalst, HMW Verbeek
Data & Knowledge Engineering 50 (1), 1-8, 2004
3042004
Xes, xesame, and prom 6
HMW Verbeek, JCAM Buijs, BF Van Dongen, WMP Van Der Aalst
International Conference on Advanced Information Systems Engineering, 60-75, 2010
2972010
ProM 4.0: Comprehensive Support for Real Process Analysis
WMP van der Aalst, BF van Dongen, CW Günther, RS Mans, ...
International Conference on Application and Theory of Petri Nets, 484-494, 2007
2522007
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
2282002
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
2222008
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
2102009
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
1922009
Conformance checking of service behavior
WMP Van der Aalst, M Dumas, C Ouyang, A Rozinat, E Verbeek
ACM Transactions on Internet Technology (TOIT) 8 (3), 13, 2008
1912008
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
1732010
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
1652009
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
1502002
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
1452005
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
1362005
The system can't perform the operation now. Try again later.
Articles 1–20