Enterprise information systems support and control operational business processes ranging
from simple internal back-office processes to complex interorganizational processes …

Purpose–This paper seeks to examine the area of business process mining, providing an
overview of state‐of‐the‐art techniques. An outline of the main problems experienced in the …

Contemporary workflow management systems are driven by explicit process models, ie, a
completely specified workflow design is required in order to enact a given workflow process …

Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon
invariant detector reports likely program invariants. An invariant is a property that holds at a …

Explicitly stated program invariants can help programmers by identifying program properties
that must be preserved when modifying code. In practice, however, these invariants are …

Many of today's information systems are driven by explicit process models. Workflow
management systems, but also ERP, CRM, SCM, and B2B, are configured on the basis of a …

Contemporary workflow management systems are driven by explicit process models, ie, a
completely specified workflow design is required in order to enact a given workflow process …

One of the aims of process mining is to retrieve a process model from an event log. The
discovered models can be used as objective starting points during the deployment of …

This paper presents two sets of observations relating static and dynamic analysis. The first
concerns synergies between static and dynamic analysis. Wherever one is utilized, the other …

Dynamic analysis is the analysis of the properties of a running program. In this paper, we
explore two new dynamic analyses based on program profiling: Frequency Spectrum …