researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

nataliasidorova

Statistics

Publications: 14
Edited: 0

Aliases

N. Sidorova
Sidorova, Natalia
Sidorova, N.
Natalia Sidorova
Sidorova

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Natalia Sidorova's Profile

Publications

Unidentified Publications

Publications with a 'Natalia Sidorova' as author, editor, or advisor:

Cost-Based Fitness in Conformance CheckingArya Adriansyah, N. Sidorova, Boudewijn F. van Dongen. acsd 2011: 57-66 [doi]
Soundness-Preserving Refinements of Service CompositionsKees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf. wsfm 2011: 131-145 [doi]
Composite State Machine Miner: Discovering and Exploring Multi-perspective ProcessesMaikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst. BPM 2017: 73-77 [doi]
PrefaceRyszard Janicki, Slawomir Lasota 0001, Natalia Sidorova. FUIN, 183(3-4), 2021. [doi]
Is my event log complete? - A probabilistic approach to process miningKees M. van Hee, Zheng Liu, Natalia Sidorova. rcis 2011: 1-7 [doi]
When Can We Trust a Third Party? - A Soundness PerspectiveKees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. apn 2012: 47-59 [doi]
Soundness and Separability of Workflow Nets in the Stepwise Refinement ApproachKees M. van Hee, Natalia Sidorova, Marc Voorhoeve. apn 2003: 337-356 [doi]
Simulated time for host-based testing with TTCN-3Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova. stvr, 18(1):29-49, 2008. [doi]
Interval Soundness of Resource-Constrained Workflow Nets: Decidability and RepairElham Ramezani, Natalia Sidorova, Christian Stahl. fsen 2013: 150-167 [doi]
Discovering and Exploring State-Based Models for Multi-perspective ProcessesMaikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst. BPM 2016: 142-157 [doi]
TTCN-3 for Distributed Testing Embedded SoftwareStefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova. ershov 2007: 98-111 [doi]
Closing Open SDL-Systems for Model Checking with DTSpinNatalia Ioustinova, Natalia Sidorova, Martin Steffen. FM 2002: 531-548 [doi]
Soundness and Niceness as Correctness Criteria for Grid WorkflowsNikola Trcka, Natalia Sidorova, Wil M. P. van der Aalst. eScience 2008: 55-62 [doi]
LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining WorldNiek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma. apn 2018: 374-384 [doi]
Bug Hunting with False NegativesJens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova. IFM 2007: 98-117 [doi]
Discovering Characteristics of Stochastic Collections of Process ModelsKees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova. BPM 2011: 298-312 [doi]
Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. apn 2011: 149-168 [doi]
Discovering more precise process models from event logs by filtering out chaotic activitiesNiek Tax, Natalia Sidorova, Wil M. P. van der Aalst. jiis, 52(1):107-139, 2019. [doi]
Discovering Process Models with Genetic Algorithms Using SamplingCarmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst. kes 2010: 41-50 [doi]
Trident: Generating Noisy Synthetic Processes with Ground TruthDominique Sommers, Durairaja V. Varadarajan, Natalia Sidorova. icpm 2024: [doi]
Smart technologies for long-term stress monitoring at workRafal Kocielnik, Natalia Sidorova, Fabrizio Maria Maggi, Martin Ouwerkerk, Joyce H. D. M. Westerink. cbms 2013: 53-58 [doi]
Heuristic approaches for generating Local Process Models through log projectionsNiek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma. ssci 2016: 1-8 [doi]
Enabling process mining on sensor data from smart productsMaikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst. rcis 2016: 1-12 [doi]
A Reference Model for Grid Architectures and Its AnalysisCarmen Bratosin, Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trcka. otm 2008: 898-913 [doi]
Designing Case Handling SystemsKees M. van Hee, Jeroen J. A. Keiren, Reinier Post, Natalia Sidorova, Jan Martijn E. M. van der Werf. topnoc, 1:119-133, 2008. [doi]
Compositional Service TreesWil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf. apn 2009: 283-302 [doi]
Guided Interaction Exploration in Artifact-centric Process ModelsMaikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst. wecwis 2017: 109-118 [doi]
History-Dependent Stochastic Petri NetsHelen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee. ershov 2010: 366-379 [doi]
IntroductionDidier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg. acsd 2010: 371 [doi]
The imprecisions of precision measures in process miningNiek Tax, Xixi Lu, Natalia Sidorova, Dirk Fahland, Wil M. P. van der Aalst. ipl, 135:1-8, 2018. [doi]
A reference model for grid architectures and its validationWil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova, Nikola Trcka. concurrency, 22(11):1365-1385, 2010. [doi]
Multi-instance Mining: Discovering Synchronisation in Artifact-Centric ProcessesMaikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst. BPM 2019: 18-30 [doi]
Soundness of workflow nets: classification, decidability, and analysisWil 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. fac, 23(3):333-363, 2011. [doi]
Consistency in model integrationKees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve. DKE, 56(1):4-22, 2006. [doi]
Simulated Time for Testing Railway Interlockings with TTCN-3Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova. fates 2006: 1-15 [doi]
When Can We Trust a Third Party? - A Soundness PerspectiveKees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. topnoc, 8:106-122, 2013. [doi]
Verifying Large SDL-Specifications Using Model CheckingNatalia Sidorova, Martin Steffen. sdl 2001: 403-420 [doi]
Data Abstraction and Constraint Solving for Conformance TestingJens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova. apsec 2005: 541-548 [doi]
KPI-based Activity Planning for People Working in Flexible ProcessesMaikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst. caise 2015: 97-104 [doi]
Distributed Genetic Process Mining Using SamplingCarmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst. pact 2011: 224-237 [doi]
Configurable Declare: Designing Customisable Flexible Process ModelsDennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova, Wil M. P. van der Aalst. otm 2012: 20-37 [doi]
Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri NetsNikola Trcka, Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova. opodis 2008: 538-541 [doi]
Colored Petri Nets to Verify Extended Event-Driven Process ChainsKees M. van Hee, Olivia Oanea, Natalia Sidorova. otm 2005: 183-201 [doi]
What's Your Current Stress Level? Detection of Stress Patterns from GSR Sensor DataJorn Bakker, Mykola Pechenizkiy, Natalia Sidorova. icdm 2011: 573-580 [doi]
Using Fairness to Make Abstractions WorkDragan Bosnacki, Natalia Ioustinova, Natalia Sidorova. spin 2004: 198-215 [doi]
Human Performance-Aware Scheduling and Routing of a Multi-Skilled WorkforceMaikel L. van Eck, Murat Firat, Wim P. M. Nuijten, Natalia Sidorova, Wil M. P. van der Aalst. csimq, 12:1-21, 2017. [doi]
On Generation of Time-based Label RefinementsNiek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma. csp 2016: 25-36 [doi]
Soundness of Workflow Nets with Reset ArcsWil 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. topnoc, 3:50-70, 2009. [doi]
Generation of Database Transactions with Petri NetsKees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf. FUIN, 93(1-3):171-184, 2009. [doi]
The Right Timing: Reflections on the Modeling and Analysis of TimeKees M. van Hee, Natalia Sidorova. apn 2013: 1-20 [doi]
Data-Flow Anti-patterns: Discovering Data-Flow Errors in WorkflowsNikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova. caise 2009: 425-439 [doi]
Synchronous Closing of Timed SDL Systems for Model CheckingNatalia Sidorova, Martin Steffen. vmcai 2002: 79-93 [doi]
Timed Verification with µCRLStefan Blom, Natalia Ioustinova, Natalia Sidorova. ershov 2003: 178-192 [doi]
Business Process Modeling Using Petri NetsKees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. topnoc, 7:116-161, 2013. [doi]
A Framework for Linking and Pricing No-Cure-No-Pay ServicesKees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova. topnoc, 2:192-207, 2009. [doi]
Workflow completion patternsNikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova. case 2009: 7-12 [doi]
Signal Phrase Extraction: A Gateway to Information Retrieval Improvement in Law TextsMichael van der Veen, Natalia Sidorova. jurix 2021: 127-130 [doi]
Adaptive Workflow Nets for Grid ComputingCarmen Bratosin, Kees M. van Hee, Natalia Sidorova. pact 2007: 15-21 [doi]
Consistency in Model IntegrationKees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve. BPM 2004: 1-16 [doi]
Enabling self-reflection with LifelogExplorer: Generating simple views from complex dataRafal Kocielnik, Fabrizio Maria Maggi, Natalia Sidorova. ph 2013: 184-191 [doi]
Mining Local Process Models with Constraints Efficiently: Applications to the Analysis of Smart Home DataNiek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst. intenv 2018: 56-63 [doi]
Stess@Work: from measuring stress to its understanding, prediction and handling with personalized coachingJorn Bakker, Leszek Holenderski, Rafal Kocielnik, Mykola Pechenizkiy, Natalia Sidorova. ihi 2012: 673-678 [doi]
Guided Interaction Exploration and Performance Analysis in Artifact-Centric Process ModelsMaikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst. bise, 61(6):649-663, 2019. [doi]
Refinement of Synchronizable Places with Multi-workflow NetsKees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. FUIN, 122(1-2):59-83, 2013. [doi]
Embedding ChaosNatalia Sidorova, Martin Steffen. SAS 2001: 319-334 [doi]
Constraint-Based Workflow Models: Change Made EasyMaja Pesic, M. H. Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst. otm 2007: 77-94 [doi]
Interest-driven discovery of local process modelsNiek Tax, Benjamin Dalmas, Natalia Sidorova, Wil M. P. van der Aalst, Sylvie Norre. is, 77:105-117, 2018. [doi]
Verification of a wireless ATM medium-access protocolNatalia Sidorova, Martin Steffen. apsec 2000: 84-91 [doi]
Stress Analytics in EducationRafal Kocielnik, Mykola Pechenizkiy, Natalia Sidorova. edm 2012: 236-237 [doi]
Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed!Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. SC 2010: 106-121 [doi]
Synchronous Closing and Flow Analysis for Model Checking Timed SystemsNatalia Ioustinova, Natalia Sidorova, Martin Steffen. FMCO 2004: 292-313 [doi]
Abstraction and Flow Analysis for Model Checking Open Asynchronous SystemsNatalia Ioustinova, Natalia Sidorova, Martin Steffen. apsec 2002: 227 [doi]
Exact and Approximated Log Alignments for Processes with Inter-case DependenciesDominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen. apn 2023: 99-119 [doi]
Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, ProceedingsRyszard Janicki, Natalia Sidorova, Thomas Chatain, editors, Volume 12152 of Lecture Notes in Computer Science, Springer, 2020. [doi]
Soundness for Resource-Constrained Workflow Nets Is DecidableNatalia Sidorova, Christian Stahl. tsmc, 43(3):724-729, 2013. [doi]
Generating time-based label refinements to discover more precise process modelsNiek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst. jaise, 11(2):165-182, 2019. [doi]
Model Checking SDL with SpinDragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova. TACAS 2000: 363-377 [doi]
Significant stochastic dependencies in process modelsSander J. J. Leemans, Lisa Luise Mannel, Natalia Sidorova. is, 118:102223, September 2023. [doi]
Event Abstraction for Process Mining Using Supervised Learning TechniquesNiek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst. intellisys 2018: 251-269 [doi]
Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying ConceptualNatalia Sidorova, Christian Stahl, Nikola Trcka. caise 2010: 530-544 [doi]
A Transformation of SDL Specifications - A Step towards the VerificationNatalia Ioustinova, Natalia Sidorova. ershov 2001: 64-78 [doi]
Mining local process modelsNiek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst. jides, 3(2):183-196, 2016. [doi]
Data-Driven Usability Test Scenario CreationMaikel L. van Eck, Else Markslag, Natalia Sidorova, Angelique Brosens-Kessels, Wil M. P. van der Aalst. HCSE 2019: 88-108 [doi]
Patterns for a Log-Based Strengthening of Declarative Compliance ModelsDennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova. IFM 2012: 327-342 [doi]
Distributed genetic process miningCarmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst. cec 2010: 1-8 [doi]
Generalised Soundness of Workflow Nets Is DecidableKees M. van Hee, Natalia Sidorova, Marc Voorhoeve. apn 2004: 197-215 [doi]
Log-based Evaluation of Label Splits for Process ModelsNiek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst. kes 2016: 63-72 [doi]
Resource-Constrained Workflow NetsKees M. van Hee, Natalia Sidorova, Marc Voorhoeve. FUIN, 71(2-3):243-257, 2006. [doi]
Business Trend Analysis by SimulationHelen Schonenberg, Jingxian Jian, Natalia Sidorova, Wil M. P. van der Aalst. caise 2010: 515-529 [doi]
Aligning Event Logs to Resource-Constrained ν-Petri NetsDominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen. apn 2022: 325-345 [doi]
Verifying Generalized Soundness of Workflow NetsKees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve. ershov 2007: 235-247 [doi]
Designing Micro-intelligences for Situated Affective ComputingPeter Lovei, Iryna Nazarchuk, Suhaib Aslam, Bin Yu, Carl Megens, Natalia Sidorova. ewsn 2021: [doi]
Personalized Stress Management: Enabling Stress Monitoring with LifelogExplorerRafal Kocielnik, Natalia Sidorova. ki, 29(2):115-122, 2015. [doi]
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possibleNatalia Sidorova, Christian Stahl, Nikola Trcka. is, 36(7):1026-1043, 2011. [doi]
Bisimulation and the Reduction of Petri NetsPh. Schnoebelen, Natalia Sidorova. apn 2000: 409-423 [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL