The ProM Framework: A New Era in Process Mining Tool Support von van Dongen, B. F., de Medeiros, A. K. A., Verbeek, H. M. W., Weijters, A. J. M. M., van der Aalst, W. M. P.

Volltext

Process mining and verification of properties : An approach based on temporal logic von VAN DER AALST, W. M. P, DE BEER, H. T, VAN DONGEN, B. F

Volltext

Measuring precision of modeled behavior von Adriansyah, A., Munoz-Gama, J., Carmona, J., van Dongen, B. F., van der Aalst, W. M. P.

Volltext

Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants von van Dongen, B.F., Jansen-Vullers, M.H., Verbeek, H.M.W., van der Aalst, W.M.P.

Volltext

Discovering workflow nets using integer linear programming von van Zelst, S. J., van Dongen, B. F., van der Aalst, W. M. P., Verbeek, H. M. W.

Volltext

Process mining: a two-step approach to balance between underfitting and overfitting von van der Aalst, W. M. P., Rubin, V., Verbeek, H. M. W., van Dongen, B. F., Kindler, E., Günther, C. W.

Volltext

A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments von van Dongen, B. F., Carmona, J., Chatain, T.

Volltext

Multi-phase Process Mining: Building Instance Graphs von van Dongen, B. F., van der Aalst, W. M. P.

Volltext

Discovering Workflow Performance Models from Timed Logs von van der Aalst, W. M. P., van Dongen, B. F.

Volltext

Verification of EPCs: Using Reduction Rules and Petri Nets von van Dongen, B. F., van der Aalst, W. M. P., Verbeek, H. M. W.

Volltext

Verification of SAP Reference Models von van Dongen, B. F., Jansen-Vullers, M. H.

Volltext

Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm von de Medeiros, A. K. A., van Dongen, B. F., van der Aalst, W. M. P., Weijters, A. J. M. M.

Volltext

Business process mining: An industrial application von van der Aalst, W.M.P., Reijers, H.A., Weijters, A.J.M.M., van Dongen, B.F., Alves de Medeiros, A.K., Song, M., Verbeek, H.M.W.

Volltext

Conformance Checking Using Cost-Based Fitness Analysis von Adriansyah, A., van Dongen, B. F., van der Aalst, W. M. P.

Volltext

Getting rid of OR-joins and multiple start events in business process models von Mendling, J., van Dongen, B. F., van der Aalst, W. M.P.

Volltext

Faulty EPCs in the SAP Reference Model von Mendling, J., Moser, M., Neumann, G., Verbeek, H. M. W., van Dongen, B. F., van der Aalst, W. M. P.

Volltext

Workflow mining: A survey of issues and approaches von van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.

Volltext

Detection and prediction of errors in EPCs of the SAP reference model von Mendling, J., Verbeek, H.M.W., van Dongen, B.F., van der Aalst, W.M.P., Neumann, G.

Volltext

Cost-Based Fitness in Conformance Checking von Adriansyah, A., Sidorova, N., van Dongen, B. F.

Volltext

A genetic algorithm for discovering process trees von Buijs, J. C. A. M., van Dongen, B. F., van der Aalst, W. M. P.

Volltext