H. M. W. (Eric) Verbeek

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
42Process Mining Manifesto. 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 Muñoz-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. Business Process Management Workshops (1) 2011, 169-194. Web SearchBibTeXDownload
41Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study. Jan Vogelaar, H. M. W. Verbeek, B. Luka, Wil M. P. van der Aalst. Business Process Management Workshops (2) 2011, 50-61. Web SearchBibTeXDownload
40Discovering Hierarchical Process Models Using ProM. R. P. Jagadeesh Chandra Bose, H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst. CAiSE Forum 2011, 33-40. Web SearchBibTeXDownload
39Soundness of workflow nets: classification, decidability, and analysis. 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. Formal Asp. Comput. (23): 333-363 (2011). Web SearchBibTeXDownload
2010
38XES, XESame, and ProM 6. H. M. W. Verbeek, Joos C. A. M. Buijs, Boudewijn F. van Dongen, Wil M. P. van der Aalst. CAiSE Forum 2010, 60-75. Web SearchBibTeXDownload
37Meerkat: Community Mining with Dynamic Social Networks. Jiyang Chen, Justin Fagnan, Randy Goebel, Reihaneh Rabbany, Farzad Sangi, Mansoureh Takaffoli, Eric Verbeek, Osmar R. Zaïane. ICDM Workshops 2010, 1377-1380. Web SearchBibTeXDownload
36Reduction rules for reset/inhibitor nets. H. M. W. Verbeek, Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. J. Comput. Syst. Sci. (76): 125-143 (2010). Web SearchBibTeXDownload
35Process mining: a two-step approach to balance between underfitting and overfitting. Wil M. P. van der Aalst, Vladimir Rubin, H. M. W. Verbeek, Boudewijn F. van Dongen, Ekkart Kindler, Christian W. Günther. Software and System Modeling (9): 87-111 (2010). Web SearchBibTeXDownload
2009
34ProM: The Process Mining Toolkit. Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, Anne Rozinat, Eric Verbeek, Ton Weijters. BPM (Demos) 2009. Web SearchBibTeXDownload
33Reduction rules for YAWL workflows with cancellation regions and OR-joins. Moe Thandar Wynn, H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond. Information & Software Technology (51): 1010-1020 (2009). Web SearchBibTeXDownload
32Soundness-preserving reduction rules for reset workflow nets. Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond. Inf. Sci. (179): 769-790 (2009). Web SearchBibTeXDownload
31Soundness of Workflow Nets with Reset Arcs. 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. T. Petri Nets and Other Models of Concurrency (3): 50-70 (2009). Web SearchBibTeXDownload
30Petri Net Transformations for Business Processes - A Survey. Niels Lohmann, Eric Verbeek, Remco M. Dijkman. T. Petri Nets and Other Models of Concurrency (2): 46-63 (2009). Web SearchBibTeXDownload
2008
29Conformance checking of service behavior. Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, Eric Verbeek. ACM Trans. Internet Techn. (8) (2008). Web SearchBibTeXDownload
28Detection and prediction of errors in EPCs of the SAP reference model. Jan Mendling, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst, Gustaf Neumann. Data Knowl. Eng. (64): 312-329 (2008). Web SearchBibTeXDownload
27Process Mining in Web Services: The WebSphere Case. Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek. IEEE Data Eng. Bull. (31): 45-48 (2008). Web SearchBibTeXDownload
26Protos2CPN: using colored Petri nets for configuring and testing business processes. Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers, H. M. W. Verbeek. STTT (10): 95-110 (2008). Web SearchBibTeXDownload
25Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk. T. Petri Nets and Other Models of Concurrency (1): 152-171 (2008). Web SearchBibTeXDownload
2007
24Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Boudewijn F. van Dongen, Monique H. Jansen-Vullers, H. M. W. Verbeek, Wil M. P. van der Aalst. Computers in Industry (58): 578-601 (2007). Web SearchBibTeXDownload
23Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. Comput. J. (50): 294-314 (2007). Web SearchBibTeXDownload
22Business process management: Where business processes and web services meet. Wil M. P. van der Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera, Eric Verbeek. Data Knowl. Eng. (61): 1-5 (2007). Cited by 18Web SearchBibTeXDownload
21ProM 4.0: Comprehensive Support for Real Process Analysis. 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. ICATPN 2007, 484-494. Web SearchBibTeXDownload
20Business process mining: An industrial application. 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. Inf. Syst. (32): 713-732 (2007). Web SearchBibTeXDownload
19Formal semantics and analysis of control flow in WS-BPEL. Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede. Sci. Comput. Program. (67): 162-198 (2007). Cited by 171Web SearchBibTeXDownload
2006
18Faulty EPCs in the SAP Reference Model. Jan Mendling, Michael Moser, Gustaf Neumann, H. M. W. Verbeek, Boudewijn F. van Dongen, Wil M. P. van der Aalst. Business Process Management 2006, 451-457. Web SearchBibTeXDownload
17Interoperability in the ProM Framework. H. M. W. Verbeek, Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst. EMOI-INTEROP 2006. Web SearchBibTeXDownload
16Integration of EPC-related Tools with ProM. Paul Barborka, Lukas Helm, Georg Köldorfer, Jan Mendling, Gustaf Neumann, Boudewijn F. van Dongen, Eric Verbeek, Wil M. P. van der Aalst. EPK 2006, 105-120. Web SearchBibTeXDownload
15Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, H. M. W. Verbeek. The Role of Business Processes in Service Oriented Architectures 2006. Web SearchBibTeXDownload
2005
14Verification of EPCs: Using Reduction Rules and Petri Nets. Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek. CAiSE 2005, 372-386. Web SearchBibTeXDownload
13Life After BPEL?. Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell, H. M. W. (Eric) Verbeek, Petia Wohed. EPEW/WS-FM 2005, 35-50. Web SearchBibTeXDownload
12Protos 7.0: Simulation Made Accessible. Eric Verbeek, Maarte van Hattem, Hajo A. Reijers, Wendy de Munk. ICATPN 2005, 465-474. Web SearchBibTeXDownload
11The ProM Framework: A New Era in Process Mining Tool Support. Boudewijn F. van Dongen, Ana Karla A. de Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, Wil M. P. van der Aalst. ICATPN 2005, 444-454. Web SearchBibTeXDownload
10WofBPEL: A Tool for Automated Analysis of BPEL Processes. Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede. ICSOC 2005, 484-489. Cited by 59Web SearchBibTeXDownload
2004
9Advances in business process management. Mathias Weske, Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek. Data Knowl. Eng. (50): 1-8 (2004). Cited by 63Web SearchBibTeXDownload
2003
8Organizational Modeling in UML and XML in the Context of Workflow Systems. Wil M. P. van der Aalst, Akhil Kumar, H. M. W. (Eric) Verbeek. SAC 2003, 603-608. Web SearchBibTeX
2002
7An Alternative Way to Analyze Workflow Graphs. Wil M. P. van der Aalst, Alexander Hirnschall, H. M. W. (Eric) Verbeek. CAiSE 2002, 535-552. Web SearchBibTeXDownload
6Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance. Akhil Kumar, Wil M. P. van der Aalst, H. M. W. (Eric) Verbeek. J. of Management Information Systems (18): 157-194 (2002). Web SearchBibTeXDownload
5XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. H. M. W. (Eric) Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst. WES 2002, 93-108. Web SearchBibTeXDownload
2001
4Diagnosing Workflow Processes using Woflan. H. M. W. (Eric) Verbeek, Twan Basten, Wil M. P. van der Aalst. Comput. J. (44): 246-279 (2001). Web SearchBibTeXDownload
3Verification of XRL: An XML-based Workflow Language. Wil M. P. van der Aalst, H. M. W. Verbeek, Akhil Kumar. CSCWD 2001, 427-432. Web SearchBibTeXDownload
2000
2Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst. ICATPN 2000, 475-484. Web SearchBibTeXDownload
1999
1Adaptive Workflow-On the Interplay between Flexibility and Support. Wil M. P. van der Aalst, Twan Basten, H. M. W. (Eric) Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve. ICEIS 1999, 353-360. Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research