dblp.uni-trier.dewww.uni-trier.de

H. M. W. (Eric) Verbeek Vis

H. M. W. Verbeek, Eric Verbeek

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
34EEMoe 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)
33EEKees 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)
32EENiels 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)
2008
31EEElliot A. Ludvig, Richard S. Sutton, Eric Verbeek, E. James Kehoe: A computational model of hippocampal function in trace conditioning. NIPS 2008: 993-1000
30EEWil 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)
29EEJan 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)
28EEWil 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)
27EEFlorian 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)
26EEH. 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)
2007
25EEWil 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
24EEH. 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)
23EEBoudewijn 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)
22EEWil 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)
21EEWil 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)
20EEChun 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)
2006
19EEJan 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
18EEH. M. W. Verbeek, Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst: Interoperability in the ProM Framework. EMOI-INTEROP 2006
17EEPaul 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
16EEWil 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
2005
15EEBoudewijn 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
14EEWil 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
13EEBoudewijn 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
12EEEric Verbeek, Maarte van Hattem, Hajo A. Reijers, Wendy de Munk: Protos 7.0: Simulation Made Accessible. ICATPN 2005: 465-474
11EEChun 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
2004
10EEEric Verbeek, Robert A. van der Toorn: Transit Case Study. ICATPN 2004: 391-410
9EEMathias 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)
2003
8EEH. M. W. (Eric) Verbeek, Twan Basten: Deciding Life-Cycle Inheritance on Petri Nets. ICATPN 2003: 44-63
7 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
2002
6EEWil M. P. van der Aalst, Alexander Hirnschall, H. M. W. (Eric) Verbeek: An Alternative Way to Analyze Workflow Graphs. CAiSE 2002: 535-552
5EEH. 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
2001
4EEWil M. P. van der Aalst, H. M. W. Verbeek, A. Kumar: Verification of XRL: An XML-based Workflow Language. CSCWD 2001: 427-432
3EEH. M. W. (Eric) Verbeek, Twan Basten, Wil M. P. van der Aalst: Diagnosing Workflow Processes using Woflan. Comput. J. 44(4): 246-279 (2001)
2000
2EEH. M. W. (Eric) Verbeek, Wil M. P. van der Aalst: Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. ICATPN 2000: 475-484
1999
1 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

Coauthor Index

1Wil M. P. van der Aalst [1] [2] [3] [4] [5] [6] [7] [9] [11] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [34]
2Paul Barborka [17]
3Twan Basten [1] [3] [8]
4Boualem Benatallah [22]
5Stephan Breutel [11] [20]
6Fabio Casati [22]
7Francisco Curbera [22]
8Remco M. Dijkman [32]
9Boudewijn F. van Dongen [13] [15] [17] [18] [19] [21] [23] [25] [29]
10Marlon Dumas [11] [14] [16] [20] [30]
11David Edmond [34]
12Florian Gottschalk [27]
13Christian W. Günther [25]
14Maarte van Hattem [12]
15Kees M. van Hee [33]
16Lukas Helm [17]
17Alexander Hirnschall [5] [6]
18Arthur H. M. ter Hofstede [11] [14] [20] [24] [34]
19Monique H. Jansen-Vullers [23] [27]
20E. James Kehoe [31]
21Georg Köldorfer [17]
22A. Kumar [4]
23Akhil Kumar [7]
24Niels Lohmann [32]
25Elliot A. Ludvig [31]
26R. S. Mans (Ronny Mans) [25]
27Ana Karla A. de Medeiros (Ana Karla Alves de Medeiros) [13] [21] [25]
28Jan Mendling [17] [18] [19] [29]
29Michael Moser [19]
30Wendy de Munk [12]
31Gustaf Neumann [17] [19] [29]
32Chun Ouyang [11] [16] [20] [30]
33A. Johannes Pretorius [26]
34Hajo A. Reijers [12] [21]
35Anne Rozinat [16] [25] [30]
36Vladimir Rubin [25]
37Nick Russell [14]
38Natalia Sidorova [33]
39Minseok Song [21] [25]
40Christian Stahl [33]
41Richard S. Sutton [31]
42Robert A. van der Toorn [10]
43Peter A. C. Verkoulen [1]
44Marc Voorhoeve [1]
45A. J. M. M. Weijters (Ton Weijters) [13] [21] [25]
46Mathias Weske [9]
47Jarke J. van Wijk [26]
48Petia Wohed (Petia Assenova) [14]
49Moe Thandar Wynn [34]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)