H. M. W. Verbeek

Orcid: 0000-0002-1658-9679

Affiliations:
  • Eindhoven University of Technology, Netherlands


According to our database1, H. M. W. Verbeek authored at least 96 papers between 1999 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The IEEE XES Standard for Process Mining: Experiences, Adoption, and Revision [Society Briefs].
IEEE Comput. Intell. Mag., February, 2024

2022
The Log Skeleton Visualizer in ProM 6.9.
Int. J. Softw. Tools Technol. Transf., 2022

Discovering an S-Coverable WF-net using DiSCover.
Proceedings of the 4th International Conference on Process Mining, 2022

Discover Context-Rich Local Process Models (Extended Abstract).
Proceedings of the ICPM Doctoral Consortium and Demo Track 2022 co-located with 4th International Conference on Process Mining (ICPM 2022), 2022

Advanced Process Discovery Techniques.
Proceedings of the Process Mining Handbook, 2022

2021
Rethinking the Input for Process Mining: Insights from the XES Survey and Workshop.
Proceedings of the Process Mining Workshops - ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31, 2021

2018
Recomposing conformance: Closing the circle on decomposed alignment-based conformance checking in process mining.
Inf. Sci., 2018

Task Elimination may Actually Increase Throughput Time.
CoRR, 2018

Log Skeletons: A Classification Approach to Process Discovery.
CoRR, 2018

Discovering workflow nets using integer linear programming.
Computing, 2018

Incremental Computation of Synthesis Rules for Free-Choice Petri Nets.
Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Interactive Data-Driven Process Model Construction.
Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Fast Conformance Analysis Based on Activity Log Abstraction.
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

Improving Merging Conditions for Recomposing Conformance Checking.
Proceedings of the Business Process Management Workshops, 2018

Fast Incremental Conformance Analysis for Interactive Process Discovery.
Proceedings of the Business Information Systems - 21st International Conference, 2018

Optimal Algorithms for Compact Linear Layouts.
Proceedings of the IEEE Pacific Visualization Symposium, 2018

2017
Decomposed Replay Using Hiding and Reduction as Abstraction.
Trans. Petri Nets Other Model. Concurr., 2017

Merging event logs: Combining granularity levels for process flow analysis.
Inf. Syst., 2017

Discovering Relaxed Sound Workflow Nets using Integer Linear Programming.
CoRR, 2017

Divide and Conquer: A Tool Framework for Supporting Decomposed Discovery in Process Mining.
Comput. J., 2017

IEEE 1849: The XES Standard: The Second IEEE Standard Sponsored by IEEE Computational Intelligence Society [Society Briefs].
IEEE Comput. Intell. Mag., 2017

Replay using Recomposition: Alignment-Based Conformance Checking in the Large.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

Visual Analytics for Soundness Verification of Process Models.
Proceedings of the Business Process Management Workshops, 2017

2016
Merging Alignments for Decomposed Replay.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

Decomposed Replay Using Hiding and Reduction.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015
A Structural Model Comparison for Finding the Best Performing Models in a Collection.
Proceedings of the Business Process Management - 13th International Conference, 2015

Process Discovery Using Localized Events.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014
Process Discovery and Conformance Checking Using Passages.
Fundam. Informaticae, 2014

Using Monotonicity to Find Optimal Process Configurations Faster.
Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), 2014

Finding Suitable Activity Clusters for Decomposed Process Discovery.
Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), 2014

Data Streams in ProM 6: A Single-node Architecture.
Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 2014

Online Compliance Monitoring of Service Landscapes.
Proceedings of the Business Process Management Workshops, 2014

Decomposed Process Mining: The ILP Case.
Proceedings of the Business Process Management Workshops, 2014

Decomposed Process Mining with DivideAndConquer.
Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 2014

YAWL in the Cloud: Supporting Process Sharing and Variability.
Proceedings of the Business Process Management Workshops, 2014

Configuring Configurable Process Models Made Easier: An Automated Approach.
Proceedings of the Business Process Management Workshops, 2014

Supporting Process Mining Workflows with RapidProM.
Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 2014

Petra: A Tool for Analysing a Process Family.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013
YAWL in the Cloud.
Proceedings of the First YAWL Symposium, Sankt Augustin, Germany, June 7, 2013, 2013

Decomposing Replay Problems: A Case Study.
Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets.
Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012
Context-Aware Compliance Checking.
Proceedings of the Business Process Management - 10th International Conference, 2012

An Experimental Evaluation of Passage-Based Process Discovery.
Proceedings of the Business Process Management Workshops, 2012

BPI Challenge 2012: The Transition System Case.
Proceedings of the Business Process Management Workshops, 2012

Creating Sound and Reversible Configurable Process Models Using CoSeNets.
Proceedings of the Business Information Systems - 15th International Conference, 2012

2011
Soundness of workflow nets: classification, decidability, and analysis.
Formal Aspects Comput., 2011

Discovering Hierarchical Process Models Using ProM.
Proceedings of the IS Olympics: Information Systems in a Diverse World, 2011

Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study.
Proceedings of the Business Process Management Workshops, 2011


Efficient Implementation of Prioritized Transitions for High-level Petri Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2010
Process mining: a two-step approach to balance between underfitting and overfitting.
Softw. Syst. Model., 2010

Reduction rules for reset/inhibitor nets.
J. Comput. Syst. Sci., 2010

XES Tools.
Proceedings of the CAiSE Forum 2010, Hammamet, Tunisia, June 9-11, 2010, 2010

XES, XESame, and ProM 6.
Proceedings of the Information Systems Evolution, 2010

ProM 6: The Process Mining Toolkit.
Proceedings of the Business Process Management 2010 Demonstration Track, 2010

Verification.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

2009
Petri Net Transformations for Business Processes - A Survey.
Trans. Petri Nets Other Model. Concurr., 2009

A Framework for Linking and Pricing No-Cure-No-Pay Services.
Trans. Petri Nets Other Model. Concurr., 2009

Soundness of Workflow Nets with Reset Arcs.
Trans. Petri Nets Other Model. Concurr., 2009

Soundness-preserving reduction rules for reset workflow nets.
Inf. Sci., 2009

Reduction rules for YAWL workflows with cancellation regions and OR-joins.
Inf. Softw. Technol., 2009

Comparing and evaluating Petri net semantics for BPEL.
Int. J. Bus. Process. Integr. Manag., 2009

Business process verification - finally a reality!
Bus. Process. Manag. J., 2009

ProM: The Process Mining Toolkit.
Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), 2009

2008
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization.
Trans. Petri Nets Other Model. Concurr., 2008

Conformance checking of service behavior.
ACM Trans. Internet Techn., 2008

Protos2CPN: using colored Petri nets for configuring and testing business processes.
Int. J. Softw. Tools Technol. Transf., 2008

Detection and prediction of errors in EPCs of the SAP reference model.
Data Knowl. Eng., 2008

Process Mining in Web Services: The WebSphere Case.
IEEE Data Eng. Bull., 2008

2007
Formal semantics and analysis of control flow in WS-BPEL.
Sci. Comput. Program., 2007

Business process mining: An industrial application.
Inf. Syst., 2007

Business process management: Where business processes and web services meet.
Data Knowl. Eng., 2007

Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants.
Comput. J., 2007

Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants.
Comput. Ind., 2007

ProM 4.0: Comprehensive Support for <i>Real</i> Process Analysis.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Integration of EPC-related Tools with ProM.
Proceedings of the 5. Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihres Arbeitskreises "Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK)", Wien, 30. November, 2006

Choreography Conformance Checking: An Approach based on BPEL and Petri Nets.
Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

Interoperability in the ProM Framework.
Proceedings of the EMOI, 2006

Faulty EPCs in the SAP Reference Model.
Proceedings of the Business Process Management, 4th International Conference, 2006

2005
WofBPEL: A Tool for Automated Analysis of BPEL Processes.
Proceedings of the Service-Oriented Computing, 2005

Life After BPEL?
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Verification of EPCs: Using Reduction Rules and Petri Nets.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Protos 7.0: Simulation Made Accessible.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

The ProM Framework: A New Era in Process Mining Tool Support.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004
XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows.
Inf. Technol. Manag., 2004

Advances in business process management.
Data Knowl. Eng., 2004

Transit Case Study.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
Organizational Modeling in UML and XML in the Context of Workflow Systems.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Deciding Life-Cycle Inheritance on Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002
Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance.
J. Manag. Inf. Syst., 2002

XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology.
Proceedings of the Web Services, 2002

An Alternative Way to Analyze Workflow Graphs.
Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

2001
Diagnosing Workflow Processes using Woflan.
Comput. J., 2001

Verification of XRL: An XML-based Workflow Language.
Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, 2001

2000
Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool.
Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999
Adaptive Workflow-On the Interplay between Flexibility and Support.
Proceedings of the 1st International Conference on Enterprise Information Systems, 1999


  Loading...