H. M. W. (Eric) Verbeek

Dennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers: Creating Sound and Reversible Configurable Process Models Using CoSeNets. BIS 2012: 24-35

Jan Martijn E. M. van der Werf, H. M. W. Verbeek, Wil M. P. van der Aalst: Context-Aware Compliance Checking. BPM 2012: 98-113

H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst: An Experimental Evaluation of Passage-Based Process Discovery. Business Process Management Workshops 2012: 205-210

H. M. W. (Eric) Verbeek: BPI Challenge 2012: The Transition System Case. Business Process Management Workshops 2012: 225-226

Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn: Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput. 23(3): 333-363 (2011)

Jan Vogelaar, H. M. W. Verbeek, B. Luka, Wil M. P. van der Aalst: Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study. Business Process Management Workshops (2) 2011: 50-61

Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn: Process Mining Manifesto. Business Process Management Workshops (1) 2011: 169-194

R. P. Jagadeesh Chandra Bose, H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst: Discovering Hierarchical Process Models Using ProM. CAiSE Forum 2011: 33-40

R. P. Jagadeesh Chandra Bose, H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst: Discovering Hierarchical Process Models Using ProM. CAiSE Forum (Selected Papers) 2011: 33-48

H. M. W. Verbeek, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Reduction rules for reset/inhibitor nets. J. Comput. Syst. Sci. 76(2): 125-143 (2010)

Wil M. P. van der Aalst, Vladimir Rubin, H. M. W. Verbeek, Boudewijn F. van Dongen, Ekkart Kindler, Christian W. Günther: Process mining: a two-step approach to balance between underfitting and overfitting. Software and System Modeling 9(1): 87-111 (2010)

H. M. W. Verbeek, Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst: XES, XESame, and ProM 6. CAiSE Forum 2010: 60-75

Jiyang Chen, Justin Fagnan, Randy Goebel, Reihaneh Rabbany, Farzad Sangi, Mansoureh Takaffoli, Eric Verbeek, Osmar R. Zaïane: Meerkat: Community Mining with Dynamic Social Networks. ICDM Workshops 2010: 1377-1380

Eric Verbeek, Moe Thandar Wynn: Verification. Modern Business Process Automation 2010: 513-539

Moe Thandar Wynn, H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond: Reduction rules for YAWL workflows with cancellation regions and OR-joins. Information & Software Technology 51(6): 1010-1020 (2009)

Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond: Soundness-preserving reduction rules for reset workflow nets. Inf. Sci. 179(6): 769-790 (2009)

Niels Lohmann, Eric Verbeek, Remco M. Dijkman: Petri Net Transformations for Business Processes - A Survey. T. Petri Nets and Other Models of Concurrency 2: 46-63 (2009)

Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova: A Framework for Linking and Pricing No-Cure-No-Pay Services. T. Petri Nets and Other Models of Concurrency 2: 192-207 (2009)

Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn: Soundness of Workflow Nets with Reset Arcs. T. Petri Nets and Other Models of Concurrency 3: 50-70 (2009)

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

Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek: Process Mining in Web Services: The WebSphere Case. IEEE Data Eng. Bull. 31(3): 45-48 (2008)

Jan Mendling, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst, Gustaf Neumann: Detection and prediction of errors in EPCs of the SAP reference model. Data Knowl. Eng. 64(1): 312-329 (2008)

Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers, H. M. W. Verbeek: Protos2CPN: using colored Petri nets for configuring and testing business processes. STTT 10(1): 95-110 (2008)

Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, Eric Verbeek: Conformance checking of service behavior. ACM Trans. Internet Techn. 8(3) (2008)

H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk: Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. T. Petri Nets and Other Models of Concurrency 1: 152-171 (2008)

Elliot A. Ludvig, Richard S. Sutton, Eric Verbeek, E. James Kehoe: A computational model of hippocampal function in trace conditioning. NIPS 2008: 993-1000

Boudewijn F. van Dongen, Monique H. Jansen-Vullers, H. M. W. Verbeek, Wil M. P. van der Aalst: Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Computers in Industry 58(6): 578-601 (2007)

H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. Comput. J. 50(3): 294-314 (2007)

Wil M. P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera, Eric Verbeek: Business process management: Where business processes and web services meet. Data Knowl. Eng. 61(1): 1-5 (2007)

Wil M. P. van der Aalst, Hajo A. Reijers, A. J. M. M. Weijters, Boudewijn F. van Dongen, Ana Karla Alves de Medeiros, Minseok Song, H. M. W. (Eric) Verbeek: Business process mining: An industrial application. Inf. Syst. 32(5): 713-732 (2007)

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede: Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2-3): 162-198 (2007)

Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, R. S. Mans, Ana Karla Alves de Medeiros, Anne Rozinat, Vladimir Rubin, Minseok Song, H. M. W. (Eric) Verbeek, A. J. M. M. Weijters: ProM 4.0: Comprehensive Support for Real Process Analysis. ICATPN 2007: 484-494

Jan Mendling, Michael Moser, Gustaf Neumann, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst: Faulty EPCs in the SAP Reference Model. Business Process Management 2006: 451-457

H. M. W. Verbeek, Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst: Interoperability in the ProM Framework. EMOI-INTEROP 2006

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

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

Boudewijn F. van Dongen, Ana Karla A. de Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, Wil M. P. van der Aalst: The ProM Framework: A New Era in Process Mining Tool Support. ICATPN 2005: 444-454

Eric Verbeek, Maarte van Hattem, Hajo A. Reijers, Wendy de Munk: Protos 7.0: Simulation Made Accessible. ICATPN 2005: 465-474

Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek: Verification of EPCs: Using Reduction Rules and Petri Nets. CAiSE 2005: 372-386

Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell, H. M. W. (Eric) Verbeek, Petia Wohed: Life After BPEL? EPEW/WS-FM 2005: 35-50

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede: WofBPEL: A Tool for Automated Analysis of BPEL Processes. ICSOC 2005: 484-489

Mathias Weske, Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek: Advances in business process management. Data Knowl. Eng. 50(1): 1-8 (2004)

H. M. W. Verbeek, Wil M. P. van der Aalst, Akhil Kumar: XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows. Information Technology and Management 5(1-2): 65-110 (2004)

Eric Verbeek, Robert A. van der Toorn: Transit Case Study. ICATPN 2004: 391-410

H. M. W. (Eric) Verbeek, Twan Basten: Deciding Life-Cycle Inheritance on Petri Nets. ICATPN 2003: 44-63

Wil M. P. van der Aalst, Akhil Kumar, H. M. W. (Eric) Verbeek: Organizational Modeling in UML and XML in the Context of Workflow Systems. SAC 2003: 603-608

Akhil Kumar, Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek: Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance. J. of Management Information Systems 18(3): 157-194 (2002)

Wil M. P. van der Aalst, Alexander Hirnschall, H. M. W. (Eric) Verbeek: An Alternative Way to Analyze Workflow Graphs. CAiSE 2002: 535-552

H. M. W. (Eric) Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst: XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. WES 2002: 93-108

H. M. W. (Eric) Verbeek, Twan Basten, Wil M. P. van der Aalst: Diagnosing Workflow Processes using Woflan. Comput. J. 44(4): 246-279 (2001)

Wil M. P. van der Aalst, H. M. W. Verbeek, Akhil Kumar: Verification of XRL: An XML-based Workflow Language. CSCWD 2001: 427-432

H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst: Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. ICATPN 2000: 475-484

Wil M. P. van der Aalst, Twan Basten, H. M. W. (Eric) Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve: Adaptive Workflow-On the Interplay between Flexibility and Support. ICEIS 1999: 353-360