Natalia Sidorova

According to our database, Natalia Sidorova authored at least 108 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Significant stochastic dependencies in process models.

Sander J. J. Leemans, Lisa Luise Mannel, Natalia Sidorova

Inf. Syst., September, 2023

Trident: Generating Noisy Synthetic Processes with Ground Truth.

Dominique Sommers, Durairaja V. Varadarajan, Natalia Sidorova

Proceedings of the Doctoral Consortium and Demo Track 2023 at the International Conference on Process Mining 2023 co-located with the 5th International Conference on Process Mining (ICPM 2023), 2023

Exact and Approximated Log Alignments for Processes with Inter-case Dependencies.

Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Aligning Event Logs to Resource-Constrained ν-Petri Nets.

Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2021

Preface.

Ryszard Janicki, Slawomir Lasota, Natalia Sidorova

Fundam. Informaticae, 2021

Signal Phrase Extraction: A Gateway to Information Retrieval Improvement in Law Texts.

Michael van der Veen, Natalia Sidorova

Proceedings of the Legal Knowledge and Information Systems, 2021

Designing Micro-intelligences for Situated Affective Computing.

Peter Lovei, Iryna Nazarchuk, Suhaib Aslam, Bin Yu, Carl Megens, Natalia Sidorova

Proceedings of the 2021 Workshops on Computer Human Interaction in IoT Applications co-located with the International Conference on Embedded Wireless Systems and Networks (EWSN 2021) and the 13th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2021), 2021

2019

Discovering more precise process models from event logs by filtering out chaotic activities.

Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst

J. Intell. Inf. Syst., 2019

Generating time-based label refinements to discover more precise process models.

Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst

J. Ambient Intell. Smart Environ., 2019

Guided Interaction Exploration and Performance Analysis in Artifact-Centric Process Models.

Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst

Bus. Inf. Syst. Eng., 2019

2018

Interest-driven discovery of local process models.

Niek Tax, Benjamin Dalmas, Natalia Sidorova, Wil M. P. van der Aalst, Sylvie Norre

Inf. Syst., 2018

The imprecisions of precision measures in process mining.

Niek Tax, Xixi Lu, Natalia Sidorova, Dirk Fahland, Wil M. P. van der Aalst

Inf. Process. Lett., 2018

Mining Local Process Models with Constraints Efficiently: Applications to the Analysis of Smart Home Data.

Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst

Proceedings of the 14th International Conference on Intelligent Environments, 2018

Data-Driven Usability Test Scenario Creation.

Maikel L. van Eck, Else Markslag, Natalia Sidorova, Angelique Brosens-Kessels, Wil M. P. van der Aalst

Proceedings of the Human-Centered Software Engineering, 2018

Multi-instance Mining: Discovering Synchronisation in Artifact-Centric Processes.

Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the Business Process Management Workshops, 2018

LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World.

Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Human Performance-Aware Scheduling and Routing of a Multi-Skilled Workforce.

Maikel L. van Eck, Murat Firat, Wim P. M. Nuijten, Natalia Sidorova, Wil M. P. van der Aalst

Complex Syst. Informatics Model. Q., 2017

Mining Process Model Descriptions of Daily Life through Event Abstraction.

Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst

CoRR, 2017

Time-Based Label Refinements to Discover More Precise Process Models.

Niek Tax, Emin Alasgarov, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma

CoRR, 2017

Guided Interaction Exploration in Artifact-centric Process Models.

Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the 19th IEEE Conference on Business Informatics, 2017

2016

Mining local process models.

Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst

J. Innov. Digit. Ecosyst., 2016

Heuristic approaches for generating Local Process Models through log projections.

Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma

Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

Enabling process mining on sensor data from smart products.

Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

Log-based Evaluation of Label Splits for Process Models.

Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 20th International Conference KES-2016, 2016

Event Abstraction for Process Mining Using Supervised Learning Techniques.

Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst

Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016, 2016

On Generation of Time-based Label Refinements.

Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma

Proceedings of the 25th International Workshop on Concurrency, 2016

Composite State Machine Miner: Discovering and Exploring Multi-perspective Processes.

Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the BPM Demo Track 2016 Co-located with the 14th International Conference on Business Process Management (BPM 2016), 2016

Discovering and Exploring State-Based Models for Multi-perspective Processes.

Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the Business Process Management - 14th International Conference, 2016

2015

Personalized Stress Management: Enabling Stress Monitoring with LifelogExplorer.

Rafal Kocielnik, Natalia Sidorova

Künstliche Intell., 2015

KPI-based Activity Planning for People Working in Flexible Processes.

Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering co-located with 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), 2015

2013

Soundness for Resource-Constrained Workflow Nets Is Decidable.

Natalia Sidorova, Christian Stahl

IEEE Trans. Syst. Man Cybern. Syst., 2013

Business Process Modeling Using Petri Nets.

Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf

Trans. Petri Nets Other Model. Concurr., 2013

When Can We Trust a Third Party? - A Soundness Perspective.

Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf

Trans. Petri Nets Other Model. Concurr., 2013

Refinement of Synchronizable Places with Multi-workflow Nets.

Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf

Fundam. Informaticae, 2013

Enabling self-reflection with LifelogExplorer: Generating simple views from complex data.

Rafal Kocielnik, Fabrizio Maria Maggi, Natalia Sidorova

Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, 2013

Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair.

Elham Ramezani, Natalia Sidorova, Christian Stahl

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

Smart technologies for long-term stress monitoring at work.

Rafal Kocielnik, Natalia Sidorova, Fabrizio Maria Maggi, Martin Ouwerkerk, Joyce H. D. M. Westerink

Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

The Right Timing: Reflections on the Modeling and Analysis of Time.

Kees M. van Hee, Natalia Sidorova

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Configurable Declare: Designing Customisable Flexible Process Models.

Dennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Stess@Work: from measuring stress to its understanding, prediction and handling with personalized coaching.

Jorn Bakker, Leszek Holenderski, Rafal Kocielnik, Mykola Pechenizkiy, Natalia Sidorova

Proceedings of the ACM International Health Informatics Symposium, 2012

Patterns for a Log-Based Strengthening of Declarative Compliance Models.

Dennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Stress Analytics in Education.

Rafal Kocielnik, Mykola Pechenizkiy, Natalia Sidorova

Proceedings of the 5th International Conference on Educational Data Mining, 2012

2011

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

Natalia Sidorova, Christian Stahl, Nikola Trcka

Inf. Syst., 2011

Soundness of workflow nets: classification, decidability, and analysis.

Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn

Formal Aspects Comput., 2011

Is my event log complete? - A probabilistic approach to process mining.

Kees M. van Hee, Zheng Liu, Natalia Sidorova

Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011

Distributed Genetic Process Mining Using Sampling.

Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011

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

Jorn Bakker, Mykola Pechenizkiy, Natalia Sidorova

Proceedings of the Data Mining Workshops (ICDMW), 2011

Discovering Characteristics of Stochastic Collections of Process Models.

Kees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova

Proceedings of the Business Process Management - 9th International Conference, 2011

Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!

Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

Cost-Based Fitness in Conformance Checking.

Arya Adriansyah, Natalia Sidorova, Boudewijn F. van Dongen

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

A reference model for grid architectures and its validation.

Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova, Nikola Trcka

Concurr. Comput. Pract. Exp., 2010

Soundness-Preserving Refinements of Service Compositions.

Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed!

Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf

Proceedings of the Software Composition - 9th International Conference, 2010

Discovering Process Models with Genetic Algorithms Using Sampling.

Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Distributed genetic process mining.

Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the IEEE Congress on Evolutionary Computation, 2010

Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual.

Natalia Sidorova, Christian Stahl, Nikola Trcka

Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Business Trend Analysis by Simulation.

Helen Schonenberg, Jingxian Jian, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Introduction.

Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

A Framework for Linking and Pricing No-Cure-No-Pay Services.

Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova

Trans. Petri Nets Other Model. Concurr., 2009

Soundness of Workflow Nets with Reset Arcs.

Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn

Trans. Petri Nets Other Model. Concurr., 2009

Generation of Database Transactions with Petri Nets.

Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf

Fundam. Informaticae, 2009

History-Dependent Stochastic Petri Nets.

Helen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee

Proceedings of the Perspectives of Systems Informatics, 2009

Workflow completion patterns.

Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

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

Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

Compositional Service Trees.

Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

Designing Case Handling Systems.

Kees M. van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, Jan Martijn E. M. van der Werf

Trans. Petri Nets Other Model. Concurr., 2008

Simulated time for host-based testing with TTCN-3.

Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova

Softw. Test. Verification Reliab., 2008

Can I find a partner? Undecidability of partner existence for open nets.

Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf

Inf. Process. Lett., 2008

Working with the Past: Integrating History in Petri Nets.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst

Fundam. Informaticae, 2008

Token History Petri Nets.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova

Fundam. Informaticae, 2008

History-based joins: Semantics, soundness and implementation.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Data Knowl. Eng., 2008

A Reference Model for Grid Architectures and Its Analysis.

Carmen Bratosin, Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trcka

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets.

Nikola Trcka, Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

Soundness and Niceness as Correctness Criteria for Grid Workflows.

Nikola Trcka, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the Fourth International Conference on e-Science, 2008

2007

LogLogics: A logic for history-dependent business processes.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Sci. Comput. Program., 2007

Checking Properties of Adaptive Workflow Nets.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova

Fundam. Informaticae, 2007

Scheduling-free resource management.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal

Data Knowl. Eng., 2007

Adaptive Workflow Nets for Grid Computing.

Carmen Bratosin, Kees M. van Hee, Natalia Sidorova

Proceedings of the Parallel Computing Technologies, 2007

Constraint-Based Workflow Models: Change Made Easy.

Maja Pesic, M. H. Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Bug Hunting with False Negatives.

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Modelling with History-Dependent Petri Nets.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf

Proceedings of the Business Process Management, 5th International Conference, 2007

Adaptive Workflows for Healthcare Information Systems.

Kees M. van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan Martijn E. M. van der Werf

Proceedings of the Business Process Management Workshops, 2007

History-Dependent Petri Nets.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Resource-Constrained Workflow Nets.

Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve

Fundam. Informaticae, 2006

Consistency in model integration.

Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve

Data Knowl. Eng., 2006

Modelling History-Dependent Business Processes.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Modelling, 2006

Verifying Generalized Soundness of Workflow Nets.

Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Perspectives of Systems Informatics, 2006

TTCN-3 for Distributed Testing Embedded Software.

Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova

Proceedings of the Perspectives of Systems Informatics, 2006

Nested Nets for Adaptive Systems.

Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Colored Petri Nets to Verify Extended Event-Driven Process Chains.

Kees M. van Hee, Olivia Oanea, Natalia Sidorova

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Simulated Time for Testing Railway Interlockings with TTCN-3.

Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

The Price of Coordination in Resource Management.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal

Proceedings of the Business Process Management, 3rd International Conference, 2005

Data Abstraction and Constraint Solving for Conformance Testing.

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Soundness of Resource-Constrained Workflow Nets.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

Using Fairness to Make Abstractions Work.

Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova

Proceedings of the Model Checking Software, 2004

Generalised Soundness of Workflow Nets Is Decidable.

Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Synchronous Closing and Flow Analysis for Model Checking Timed Systems.

Natalia Ioustinova, Natalia Sidorova, Martin Steffen

Proceedings of the Formal Methods for Components and Objects, 2003

Timed Verification with µCRL.

Stefan Blom, Natalia Ioustinova, Natalia Sidorova

Proceedings of the Perspectives of Systems Informatics, 2003

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.

Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

Synchronous Closing of Timed SDL Systems for Model Checking.

Natalia Sidorova, Martin Steffen

Proceedings of the Verification, 2002

Closing Open SDL-Systems for Model Checking with DTSpin.

Natalia Ioustinova, Natalia Sidorova, Martin Steffen

Proceedings of the FME 2002: Formal Methods, 2002

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems.

Natalia Ioustinova, Natalia Sidorova, Martin Steffen

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

Verifying Large SDL-Specifications Using Model Checking.

Natalia Sidorova, Martin Steffen

Proceedings of the SDL 2001: Meeting UML, 2001

Embedding Chaos.

Natalia Sidorova, Martin Steffen

Proceedings of the Static Analysis, 8th International Symposium, 2001

A Transformation of SDL Specifications - A Step towards the Verification.

Natalia Ioustinova, Natalia Sidorova

Proceedings of the Perspectives of System Informatics, 2001

2000

Model Checking SDL with Spin.

Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Verification of a wireless ATM medium-access protocol.

Natalia Sidorova, Martin Steffen

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

Bisimulation and the Reduction of Petri Nets.

Philippe Schnoebelen, Natalia Sidorova

Proceedings of the Application and Theory of Petri Nets 2000, 2000