N. Sidorova

Publications
Influence

Constraint-Based Workflow Models: Change Made Easy

M. Pesic, H. Schonenberg, N. Sidorova, W. V. Aalst
Computer Science
OTM Conferences
25 November 2007

We propose a general framework for a constraint-based process modeling language where workflows are defined by constraint models and its implementation. Expand

Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows

N. Trcka, W. V. Aalst, N. Sidorova
Computer Science
CAiSE
6 June 2009

We present an analysis approach that uses so-called "anti-patterns" expressed in terms of a temporal logic to discover data-flow errors in workflows. Expand

What's Your Current Stress Level? Detection of Stress Patterns from GSR Sensor Data

J. Bakker, M. Pechenizkiy, N. Sidorova
Computer Science, Physics
IEEE 11th International Conference on Data Mining…
11 December 2011

The problem of job stress is generally recognized as one of the major factors leading to a spectrum of health problems. Expand

Soundness of Resource-Constrained Workflow Nets

K. V. Hee, Alexander Serebrenik, N. Sidorova, M. Voorhoeve
Computer Science
ICATPN
20 June 2005

We study concurrent processes modelled as workflow Petri nets extended with resource constraints. Expand

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach

K. V. Hee, N. Sidorova, M. Voorhoeve
Computer Science
ICATPN
23 June 2003

We introduce and investigate several correctness notions for workflow nets, ranging from proper termination of cases to their mutual independence. Expand

Mining local process models

Niek Tax, N. Sidorova, R. Haakma, W. V. Aalst
Computer Science
J. Innov. Digit. Ecosyst.
20 June 2016

We present a method to discover local process models that can express the same rich set of relations between activities as business process models, but describe frequent fragments instead of complete start-to-end processes. Expand

Cost-Based Fitness in Conformance Checking

A. Adriansyah, N. Sidorova, B. F. Dongen
Computer Science, Psychology
Eleventh International Conference on Application…
20 June 2011

We present a robust conformance checking technique based on Petri net techniques allowing us to lift assumptions and to take into account the cost of deviating from given models. Expand

The Imprecisions of Precision Measures in Process Mining

Niek Tax, X. Lu, N. Sidorova, Dirk Fahland, W. V. Aalst
Computer Science
Inf. Process. Lett.
3 May 2017

We propose a set of axioms for quantifying precision consistently for any log and any model. Expand

Smart technologies for long-term stress monitoring at work

Rafal Kocielnik, N. Sidorova, F. M. Maggi, M. Ouwerkerk, J. Westerink
Computer Science
Proceedings of the 26th IEEE International…
20 June 2013

We present stress information, derived from sensor measurements, in the context of person's activities in order to provide meaningful, useful and actionable information. Expand

Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible

N. Sidorova, C. Stahl, N. Trcka
Computer Science
Inf. Syst.
1 November 2011

A conceptual workflow model specifies the control flow of a workflow together with abstract data information, resulting in an executable workflow which is then run on an information system. Expand

Recommended Authors