Bisimulation and the Reduction of Petri Nets. - Philippe Schnoebelen; Natalia Sidorova (ICATPN, 2000)

Verification of a wireless ATM medium-access protocol. - Natalia Sidorova; Martin Steffen (APSEC, 2000)

Model Checking SDL with Spin. - Dragan Bosnacki; Dennis Dams; Leszek Holenderski; Natalia Sidorova (TACAS, 2000)

A Transformation of SDL Specifications - A Step towards the Verification. - Natalia Ioustinova; Natalia Sidorova (Ershov Memorial Conference, 2001)

Embedding Chaos. - Natalia Sidorova; Martin Steffen (SAS, 2001)

Verifying Large SDL-Specifications Using Model Checking. - Natalia Sidorova; Martin Steffen (SDL Forum, 2001)

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. - Natalia Ioustinova; Natalia Sidorova; Martin Steffen (APSEC, 2002)

Closing Open SDL-Systems for Model Checking with DTSpin. - Natalia Ioustinova; Natalia Sidorova; Martin Steffen (FME, 2002)

Synchronous Closing of Timed SDL Systems for Model Checking. - Natalia Sidorova; Martin Steffen (VMCAI, 2002)

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. - Kees M. van Hee; Natalia Sidorova; Marc Voorhoeve (ICATPN, 2003)

Timed Verification with µCRL. - Stefan Blom; Natalia Ioustinova; Natalia Sidorova (Ershov Memorial Conference, 2003)

Synchronous Closing and Flow Analysis for Model Checking Timed Systems. - Natalia Ioustinova; Natalia Sidorova; Martin Steffen (FMCO, 2003)

Generalised Soundness of Workflow Nets Is Decidable. - Kees M. van Hee; Natalia Sidorova; Marc Voorhoeve (ICATPN, 2004)

Using Fairness to Make Abstractions Work. - Dragan Bosnacki; Natalia Ioustinova; Natalia Sidorova (SPIN, 2004)

Soundness of Resource-Constrained Workflow Nets. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (ICATPN, 2005)

Data Abstraction and Constraint Solving for Conformance Testing. - Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol; Natalia Sidorova (APSEC, 2005)

The Price of Coordination in Resource Management. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve; Jan van der Wal (Business Process Management, 2005)

Simulated Time for Testing Railway Interlockings with TTCN-3. - Stefan Blom; Natalia Ioustinova; Jaco van de Pol; Axel Rennoch; Natalia Sidorova (FATES, 2005)

Colored Petri Nets to Verify Extended Event-Driven Process Chains. - Kees M. van Hee; Olivia Oanea; Natalia Sidorova (OTM Conferences (1), 2005)

Nested Nets for Adaptive Systems. - Kees M. van Hee; Irina A. Lomazova; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (ICATPN, 2006)

TTCN-3 for Distributed Testing Embedded Software. - Stefan Blom; Thomas Deiß; Natalia Ioustinova; Ari Kontio; Jaco van de Pol; Axel Rennoch; Natalia Sidorova (Ershov Memorial Conference, 2006)

Verifying Generalized Soundness of Workflow Nets. - Kees M. van Hee; Olivia Oanea; Natalia Sidorova; Marc Voorhoeve (Ershov Memorial Conference, 2006)

Modelling History-Dependent Business Processes. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (MSVVEIS, 2006)

Consistency in model integration. - Kees M. van Hee; Natalia Sidorova; Lou J. Somers; Marc Voorhoeve (Data Knowl. Eng., 2006)

Resource-Constrained Workflow Nets. - Kees M. van Hee; Natalia Sidorova; Marc Voorhoeve (Fundam. Informaticae, 2006)

History-Dependent Petri Nets. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Wil M. P. van der Aalst (ICATPN, 2007)

Adaptive Workflows for Healthcare Information Systems. - Kees M. van Hee; Helen Schonenberg; Alexander Serebrenik; Natalia Sidorova; Jan Martijn E. M. van der Werf (Business Process Management Workshops, 2007)

Modelling with History-Dependent Petri Nets. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve; Jan Martijn E. M. van der Werf (BPM, 2007)

Bug Hunting with False Negatives. - Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol; Natalia Sidorova (IFM, 2007)

Constraint-Based Workflow Models: Change Made Easy. - Maja Pesic; M. H. Schonenberg; Natalia Sidorova; Wil M. P. van der Aalst (OTM Conferences (1), 2007)

Adaptive Workflow Nets for Grid Computing. - Carmen Bratosin; Kees M. van Hee; Natalia Sidorova (PaCT, 2007)

Scheduling-free resource management. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve; Jan van der Wal (Data Knowl. Eng., 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)

LogLogics: A logic for history-dependent business processes. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (Sci. Comput. Program., 2007)

Soundness and Niceness as Correctness Criteria for Grid Workflows. - Nikola Trcka; Natalia Sidorova; Wil M. P. van der Aalst (eScience, 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 (OPODIS, 2008)

A Reference Model for Grid Architectures and Its Analysis. - Carmen Bratosin; Wil M. P. van der Aalst; Natalia Sidorova; Nikola Trcka (OTM Conferences (1), 2008)

History-based joins: Semantics, soundness and implementation. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (Data Knowl. Eng., 2008)

Token History Petri Nets. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova (Fundam. Informaticae, 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)

Can I find a partner? Undecidability of partner existence for open nets. - Peter Massuthe; Alexander Serebrenik; Natalia Sidorova; Karsten Wolf (Inf. Process. Lett., 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)

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)

Compositional Service Trees. - Wil M. P. van der Aalst; Kees M. van Hee; Peter Massuthe; Natalia Sidorova; Jan Martijn E. M. van der Werf (Petri Nets, 2009)

Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. - Nikola Trcka; Wil M. P. van der Aalst; Natalia Sidorova (CAiSE, 2009)

Workflow completion patterns. - Nikola Trcka; Wil M. P. van der Aalst; Natalia Sidorova (CASE, 2009)

History-Dependent Stochastic Petri Nets. - Helen Schonenberg; Natalia Sidorova; Wil M. P. van der Aalst; Kees M. van Hee (Ershov Memorial Conference, 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)

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)

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)

Introduction. - Didier Buchs; Fabrice Kordon; Alexander Serebrenik; Natalia Sidorova; Jeremy Spronston; Yann Thierry-Mieg (ACSD/Petri Nets Workshops, 2010)

Business Trend Analysis by Simulation. - Helen Schonenberg; Jingxian Jian; Natalia Sidorova; Wil M. P. van der Aalst (CAiSE, 2010)

Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. - Natalia Sidorova; Christian Stahl; Nikola Trcka (CAiSE, 2010)

Distributed genetic process mining. - Carmen Bratosin; Natalia Sidorova; Wil M. P. van der Aalst (IEEE Congress on Evolutionary Computation, 2010)

Discovering Process Models with Genetic Algorithms Using Sampling. - Carmen Bratosin; Natalia Sidorova; Wil M. P. van der Aalst (KES (1), 2010)

Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! - Kees M. van Hee; Natalia Sidorova; Jan Martijn E. M. van der Werf (SC@TOOLS, 2010)

Soundness-Preserving Refinements of Service Compositions. - Kees M. van Hee; Arjan J. Mooij; Natalia Sidorova; Jan Martijn E. M. van der Werf (WS-FM, 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)

Cost-Based Fitness in Conformance Checking. - Arya Adriansyah; Natalia Sidorova; Boudewijn F. van Dongen (ACSD, 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 (Petri Nets, 2011)

Discovering Characteristics of Stochastic Collections of Process Models. - Kees M. van Hee; Marcello La Rosa; Zheng Liu; Natalia Sidorova (BPM, 2011)

What's Your Current Stress Level? Detection of Stress Patterns from GSR Sensor Data. - Jorn Bakker; Mykola Pechenizkiy; Natalia Sidorova (ICDM Workshops, 2011)

Distributed Genetic Process Mining Using Sampling. - Carmen Bratosin; Natalia Sidorova; Wil M. P. van der Aalst (PaCT, 2011)

Is my event log complete? - A probabilistic approach to process mining. - Kees M. van Hee; Zheng Liu; Natalia Sidorova (RCIS, 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)

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)

Stress Analytics in Education. - Rafal Kocielnik; Mykola Pechenizkiy; Natalia Sidorova (EDM, 2012)

Patterns for a Log-Based Strengthening of Declarative Compliance Models. - Dennis M. M. Schunselaar; Fabrizio Maria Maggi; Natalia Sidorova (IFM, 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 (IHI, 2012)

Configurable Declare: Designing Customisable Flexible Process Models. - Dennis M. M. Schunselaar; Fabrizio Maria Maggi; Natalia Sidorova; Wil M. P. van der Aalst (OTM Conferences (1), 2012)

The Right Timing: Reflections on the Modeling and Analysis of Time. - Kees M. van Hee; Natalia Sidorova (Petri Nets, 2013)

Smart technologies for long-term stress monitoring at work. - Rafal Kocielnik; Natalia Sidorova; Fabrizio Maria Maggi; Martin Ouwerkerk; Joyce H. D. M. Westerink (CBMS, 2013)

Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair. - Elham Ramezani; Natalia Sidorova; Christian Stahl (FSEN, 2013)

Enabling self-reflection with LifelogExplorer: Generating simple views from complex data. - Rafal Kocielnik; Fabrizio Maria Maggi; Natalia Sidorova (PervasiveHealth, 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)

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)

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)

Soundness for Resource-Constrained Workflow Nets Is Decidable. - Natalia Sidorova; Christian Stahl (IEEE Trans. Syst. Man Cybern. Syst., 2013)

KPI-based Activity Planning for People Working in Flexible Processes. - Maikel L. van Eck; Natalia Sidorova; Wil M. P. van der Aalst (CAiSE Forum, 2015)

Personalized Stress Management: Enabling Stress Monitoring with LifelogExplorer. - Rafal Kocielnik; Natalia Sidorova (Künstliche Intell., 2015)

Discovering and Exploring State-Based Models for Multi-perspective Processes. - Maikel L. van Eck; Natalia Sidorova; Wil M. P. van der Aalst (BPM, 2016)

Composite State Machine Miner: Discovering and Exploring Multi-perspective Processes. - Maikel L. van Eck; Natalia Sidorova; Wil M. P. van der Aalst (BPM (Demos), 2016)

On Generation of Time-based Label Refinements. - Niek Tax; Emin Alasgarov; Natalia Sidorova; Reinder Haakma (CS&P, 2016)

Event Abstraction for Process Mining Using Supervised Learning Techniques. - Niek Tax; Natalia Sidorova; Reinder Haakma; Wil M. P. van der Aalst (IntelliSys (1), 2016)

Log-based Evaluation of Label Splits for Process Models. - Niek Tax; Natalia Sidorova; Reinder Haakma; Wil M. P. van der Aalst (KES, 2016)

Enabling process mining on sensor data from smart products. - Maikel L. van Eck; Natalia Sidorova; Wil M. P. van der Aalst (RCIS, 2016)

Heuristic approaches for generating Local Process Models through log projections. - Niek Tax; Natalia Sidorova; Wil M. P. van der Aalst; Reinder Haakma (SSCI, 2016)

Mining local process models. - Niek Tax; Natalia Sidorova; Reinder Haakma; Wil M. P. van der Aalst (J. Innov. Digit. Ecosyst., 2016)

Guided Interaction Exploration in Artifact-centric Process Models. - Maikel L. van Eck; Natalia Sidorova; Wil M. P. van der Aalst (CBI (1), 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)

Mining Process Model Descriptions of Daily Life through Event Abstraction. - Niek Tax; Natalia Sidorova; Reinder Haakma; Wil M. P. van der Aalst (CoRR, 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)

LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World. - Niek Tax; Natalia Sidorova; Wil M. P. van der Aalst; Reinder Haakma (Petri Nets, 2018)

Multi-instance Mining: Discovering Synchronisation in Artifact-Centric Processes. - Maikel L. van Eck; Natalia Sidorova; Wil M. P. van der Aalst (Business Process Management Workshops, 2018)

Data-Driven Usability Test Scenario Creation. - Maikel L. van Eck; Else Markslag; Natalia Sidorova; Angelique Brosens-Kessels; Wil M. P. van der Aalst (HCSE, 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 (Intelligent Environments, 2018)

The imprecisions of precision measures in process mining. - Niek Tax; Xixi Lu 001; Natalia Sidorova; Dirk Fahland; Wil M. P. van der Aalst (Inf. Process. Lett., 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)

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)

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)

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)

Designing Micro-intelligences for Situated Affective Computing. - Peter Lovei; Iryna Nazarchuk; Suhaib Aslam; Bin Yu; Carl Megens; Natalia Sidorova (CHIIoT@EWSN/EICS, 2021)

Signal Phrase Extraction: A Gateway to Information Retrieval Improvement in Law Texts. - Michael van der Veen; Natalia Sidorova (JURIX, 2021)

Preface. - Ryszard Janicki; Slawomir Lasota 001; Natalia Sidorova (Fundam. Informaticae, 2021)

Aligning Event Logs to Resource-Constrained ν-Petri Nets. - Dominique Sommers; Natalia Sidorova; Boudewijn F. van Dongen (Petri Nets, 2022)

Exact and Approximated Log Alignments for Processes with Inter-case Dependencies. - Dominique Sommers; Natalia Sidorova; Boudewijn F. van Dongen (Petri Nets, 2023)

Trident: Generating Noisy Synthetic Processes with Ground Truth. - Dominique Sommers; Durairaja V. Varadarajan; Natalia Sidorova (ICPM Doctoral Consortium / Demo, 2023)

Significant stochastic dependencies in process models. - Sander J. J. Leemans; Lisa Luise Mannel; Natalia Sidorova (Inf. Syst., 2023)

Conformance Checking with Model Projections - Rethinking Log-Model Alignments for Processes with Interacting Objects. - Dominique Sommers; Natalia Sidorova; Boudewijn F. van Dongen (Petri Nets, 2024)

Assessing Process Mining Techniques: a Ground Truth Approach. - Dominique Sommers; Natalia Sidorova; Boudewijn F. van Dongen (ICPM, 2024)

Enjoy the Silence, Part II: Probability-Based Queries on Stochastic Labelled Petri Nets. - Sander J. J. Leemans; Marco Montali; Timo Gersing; Felix Engelhardt; Natalia Sidorova (Petri Nets, 2025)

Zero-Shot Approaches for the Extraction of Event Logs from Medical Notes. - Allmin Pradhap Singh Susaiyah; Natalia Sidorova (RCIS (1), 2025)

A Ground Truth Approach for Assessing Process Mining Techniques. - Dominique Sommers; Natalia Sidorova; Boudewijn F. van Dongen (CoRR, 2025)

In System Alignments we Trust! Explainable Alignments via Projections. - Dominique Sommers; Natalia Sidorova; Boudewijn F. van Dongen (CoRR, 2025)