default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNatalia Sidorova
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c80]Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen:
Conformance Checking with Model Projections - Rethinking Log-Model Alignments for Processes with Interacting Objects. Petri Nets 2024: 61-82- [c79]Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen:
Assessing Process Mining Techniques: a Ground Truth Approach. ICPM 2024: 41-48 - 2023
- [j31]Sander J. J. Leemans
, Lisa Luise Mannel, Natalia Sidorova:
Significant stochastic dependencies in process models. Inf. Syst. 118: 102223 (2023) - [c78]Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen:
Exact and Approximated Log Alignments for Processes with Inter-case Dependencies. Petri Nets 2023: 99-119 - [c77]Dominique Sommers, Durairaja V. Varadarajan, Natalia Sidorova:
Trident: Generating Noisy Synthetic Processes with Ground Truth. ICPM Doctoral Consortium / Demo 2023 - [i12]Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen:
Exact and Approximated Log Alignments for Processes with Inter-case Dependencies. CoRR abs/2304.05210 (2023) - 2022
- [c76]Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen:
Aligning Event Logs to Resource-Constrained ν-Petri Nets. Petri Nets 2022: 325-345 - 2021
- [j30]Ryszard Janicki, Slawomir Lasota, Natalia Sidorova:
Preface. Fundam. Informaticae 183(3-4) (2021) - [c75]Peter Lovei, Iryna Nazarchuk, Suhaib Aslam, Bin Yu, Carl Megens, Natalia Sidorova:
Designing Micro-intelligences for Situated Affective Computing. CHIIoT@EWSN/EICS 2021 - [c74]Michael van der Veen, Natalia Sidorova:
Signal Phrase Extraction: A Gateway to Information Retrieval Improvement in Law Texts. JURIX 2021: 127-130 - 2020
- [e1]Ryszard Janicki, Natalia Sidorova, Thomas Chatain:
Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings. Lecture Notes in Computer Science 12152, Springer 2020, ISBN 978-3-030-51830-1 [contents]
2010 – 2019
- 2019
- [j29]Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst:
Guided Interaction Exploration and Performance Analysis in Artifact-Centric Process Models. Bus. Inf. Syst. Eng. 61(6): 649-663 (2019) - [j28]Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst:
Generating time-based label refinements to discover more precise process models. J. Ambient Intell. Smart Environ. 11(2): 165-182 (2019) - [j27]Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst:
Discovering more precise process models from event logs by filtering out chaotic activities. J. Intell. Inf. Syst. 52(1): 107-139 (2019) - 2018
- [j26]Niek Tax, Xixi Lu, Natalia Sidorova, Dirk Fahland, Wil M. P. van der Aalst:
The imprecisions of precision measures in process mining. Inf. Process. Lett. 135: 1-8 (2018) - [j25]Niek Tax, Benjamin Dalmas, Natalia Sidorova, Wil M. P. van der Aalst, Sylvie Norre:
Interest-driven discovery of local process models. Inf. Syst. 77: 105-117 (2018) - [c73]Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma:
LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World. Petri Nets 2018: 374-384 - [c72]Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst:
Multi-instance Mining: Discovering Synchronisation in Artifact-Centric Processes. Business Process Management Workshops 2018: 18-30 - [c71]Maikel L. van Eck, Else Markslag, Natalia Sidorova, Angelique Brosens-Kessels, Wil M. P. van der Aalst:
Data-Driven Usability Test Scenario Creation. HCSE 2018: 88-108 - [c70]Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst:
Mining Local Process Models with Constraints Efficiently: Applications to the Analysis of Smart Home Data. Intelligent Environments 2018: 56-63 - 2017
- [j24]Maikel L. van Eck, Murat Firat, Wim P. M. Nuijten, Natalia Sidorova, Wil M. P. van der Aalst:
Human Performance-Aware Scheduling and Routing of a Multi-Skilled Workforce. Complex Syst. Informatics Model. Q. 12: 1-21 (2017) - [c69]Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst:
Guided Interaction Exploration in Artifact-centric Process Models. CBI (1) 2017: 109-118 - [i11]Niek Tax, Benjamin Dalmas, Natalia Sidorova, Wil M. P. van der Aalst, Sylvie Norre:
Interest-Driven Discovery of Local Process Models. CoRR abs/1703.07116 (2017) - [i10]Niek Tax, Xixi Lu, Natalia Sidorova, Dirk Fahland, Wil M. P. van der Aalst:
The Imprecisions of Precision Measures in Process Mining. CoRR abs/1705.03303 (2017) - [i9]Niek Tax, Emin Alasgarov, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma:
Time-Based Label Refinements to Discover More Precise Process Models. CoRR abs/1705.09359 (2017) - [i8]Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst:
Mining Process Model Descriptions of Daily Life through Event Abstraction. CoRR abs/1705.10202 (2017) - [i7]Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst:
Guided Interaction Exploration in Artifact-centric Process Models. CoRR abs/1706.02109 (2017) - [i6]Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst:
Discovering More Precise Process Models from Event Logs by Filtering Out Chaotic Activities. CoRR abs/1711.01287 (2017) - 2016
- [j23]Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst:
Mining local process models. J. Innov. Digit. Ecosyst. 3(2): 183-196 (2016) - [c68]Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst:
Composite State Machine Miner: Discovering and Exploring Multi-perspective Processes. BPM (Demos) 2016: 73-77 - [c67]Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst:
Discovering and Exploring State-Based Models for Multi-perspective Processes. BPM 2016: 142-157 - [c66]Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma:
On Generation of Time-based Label Refinements. CS&P 2016: 25-36 - [c65]Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst:
Event Abstraction for Process Mining Using Supervised Learning Techniques. IntelliSys (1) 2016: 251-269 - [c64]Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst:
Log-based Evaluation of Label Splits for Process Models. KES 2016: 63-72 - [c63]Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst:
Enabling process mining on sensor data from smart products. RCIS 2016: 1-12 - [c62]Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma:
Heuristic approaches for generating Local Process Models through log projections. SSCI 2016: 1-8 - [i5]Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst:
Mining Local Process Models. CoRR abs/1606.06066 (2016) - [i4]Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst:
Log-based Evaluation of Label Splits for Process Models. CoRR abs/1606.07259 (2016) - [i3]Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst:
Event Abstraction for Process Mining using Supervised Learning Techniques. CoRR abs/1606.07283 (2016) - [i2]Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma:
On Generation of Time-based Label Refinements. CoRR abs/1609.03333 (2016) - [i1]Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma:
Heuristic Approaches for Generating Local Process Models through Log Projections. CoRR abs/1610.02876 (2016) - 2015
- [j22]Rafal Kocielnik, Natalia Sidorova:
Personalized Stress Management: Enabling Stress Monitoring with LifelogExplorer. Künstliche Intell. 29(2): 115-122 (2015) - [c61]Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst:
KPI-based Activity Planning for People Working in Flexible Processes. CAiSE Forum 2015: 97-104 - 2013
- [j21]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Refinement of Synchronizable Places with Multi-workflow Nets. Fundam. Informaticae 122(1-2): 59-83 (2013) - [j20]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Business Process Modeling Using Petri Nets. Trans. Petri Nets Other Model. Concurr. 7: 116-161 (2013) - [j19]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
When Can We Trust a Third Party? - A Soundness Perspective. Trans. Petri Nets Other Model. Concurr. 8: 106-122 (2013) - [j18]Natalia Sidorova, Christian Stahl:
Soundness for Resource-Constrained Workflow Nets Is Decidable. IEEE Trans. Syst. Man Cybern. Syst. 43(3): 724-729 (2013) - [c60]Kees M. van Hee, Natalia Sidorova:
The Right Timing: Reflections on the Modeling and Analysis of Time. Petri Nets 2013: 1-20 - [c59]Rafal Kocielnik, Natalia Sidorova, Fabrizio Maria Maggi, Martin Ouwerkerk, Joyce H. D. M. Westerink:
Smart technologies for long-term stress monitoring at work. CBMS 2013: 53-58 - [c58]Elham Ramezani, Natalia Sidorova, Christian Stahl:
Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair. FSEN 2013: 150-167 - [c57]Rafal Kocielnik, Fabrizio Maria Maggi, Natalia Sidorova:
Enabling self-reflection with LifelogExplorer: Generating simple views from complex data. PervasiveHealth 2013: 184-191 - 2012
- [c56]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
When Can We Trust a Third Party? - A Soundness Perspective. PNSE 2012: 47-59 - [c55]Rafal Kocielnik, Mykola Pechenizkiy, Natalia Sidorova:
Stress Analytics in Education. EDM 2012: 236-237 - [c54]Dennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova:
Patterns for a Log-Based Strengthening of Declarative Compliance Models. IFM 2012: 327-342 - [c53]Jorn Bakker, Leszek Holenderski, Rafal Kocielnik, Mykola Pechenizkiy, Natalia Sidorova:
Stess@Work: from measuring stress to its understanding, prediction and handling with personalized coaching. IHI 2012: 673-678 - [c52]Dennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova, Wil M. P. van der Aalst:
Configurable Declare: Designing Customisable Flexible Process Models. OTM Conferences (1) 2012: 20-37 - 2011
- [j17]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:
Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3): 333-363 (2011) - [j16]Natalia Sidorova, Christian Stahl, Nikola Trcka:
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. Inf. Syst. 36(7): 1026-1043 (2011) - [c51]Arya Adriansyah, Natalia Sidorova, Boudewijn F. van Dongen:
Cost-Based Fitness in Conformance Checking. ACSD 2011: 57-66 - [c50]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved! Petri Nets 2011: 149-168 - [c49]Kees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova:
Discovering Characteristics of Stochastic Collections of Process Models. BPM 2011: 298-312 - [c48]Jorn Bakker, Mykola Pechenizkiy, Natalia Sidorova:
What's Your Current Stress Level? Detection of Stress Patterns from GSR Sensor Data. ICDM Workshops 2011: 573-580 - [c47]Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst:
Distributed Genetic Process Mining Using Sampling. PaCT 2011: 224-237 - [c46]Kees M. van Hee, Zheng Liu, Natalia Sidorova:
Is my event log complete? - A probabilistic approach to process mining. RCIS 2011: 1-7 - 2010
- [j15]Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova, Nikola Trcka:
A reference model for grid architectures and its validation. Concurr. Comput. Pract. Exp. 22(11): 1365-1385 (2010) - [c45]Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg:
Introduction. ACSD/Petri Nets Workshops 2010: 371 - [c44]Helen Schonenberg, Jingxian Jian, Natalia Sidorova, Wil M. P. van der Aalst:
Business Trend Analysis by Simulation. CAiSE 2010: 515-529 - [c43]Natalia Sidorova, Christian Stahl, Nikola Trcka:
Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. CAiSE 2010: 530-544 - [c42]Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst:
Distributed genetic process mining. IEEE Congress on Evolutionary Computation 2010: 1-8 - [c41]Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst:
Discovering Process Models with Genetic Algorithms Using Sampling. KES (1) 2010: 41-50 - [c40]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! SC@TOOLS 2010: 106-121 - [c39]Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Soundness-Preserving Refinements of Service Compositions. WS-FM 2010: 131-145
2000 – 2009
- 2009
- [j14]Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf:
Generation of Database Transactions with Petri Nets. Fundam. Informaticae 93(1-3): 171-184 (2009) - [j13]Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova:
A Framework for Linking and Pricing No-Cure-No-Pay Services. Trans. Petri Nets Other Model. Concurr. 2: 192-207 (2009) - [j12]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:
Soundness of Workflow Nets with Reset Arcs. Trans. Petri Nets Other Model. Concurr. 3: 50-70 (2009) - [c38]Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Compositional Service Trees. Petri Nets 2009: 283-302 - [c37]Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova:
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. CAiSE 2009: 425-439 - [c36]Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova:
Workflow completion patterns. CASE 2009: 7-12 - [c35]Helen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee:
History-Dependent Stochastic Petri Nets. Ershov Memorial Conference 2009: 366-379 - 2008
- [j11]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
History-based joins: Semantics, soundness and implementation. Data Knowl. Eng. 64(1): 24-37 (2008) - [j10]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova:
Token History Petri Nets. Fundam. Informaticae 85(1-4): 219-234 (2008) - [j9]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst:
Working with the Past: Integrating History in Petri Nets. Fundam. Informaticae 88(3): 387-409 (2008) - [j8]Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf:
Can I find a partner? Undecidability of partner existence for open nets. Inf. Process. Lett. 108(6): 374-378 (2008) - [j7]Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova:
Simulated time for host-based testing with TTCN-3. Softw. Test. Verification Reliab. 18(1): 29-49 (2008) - [j6]Kees M. van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Designing Case Handling Systems. Trans. Petri Nets Other Model. Concurr. 1: 119-133 (2008) - [c34]Nikola Trcka, Natalia Sidorova, Wil M. P. van der Aalst:
Soundness and Niceness as Correctness Criteria for Grid Workflows. eScience 2008: 55-62 - [c33]Nikola Trcka, Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova:
Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. OPODIS 2008: 538-541 - [c32]Carmen Bratosin, Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trcka:
A Reference Model for Grid Architectures and Its Analysis. OTM Conferences (1) 2008: 898-913 - 2007
- [j5]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal:
Scheduling-free resource management. Data Knowl. Eng. 61(1): 59-75 (2007) - [j4]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova:
Checking Properties of Adaptive Workflow Nets. Fundam. Informaticae 79(3-4): 347-362 (2007) - [j3]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
LogLogics: A logic for history-dependent business processes. Sci. Comput. Program. 65(1): 30-40 (2007) - [c31]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst:
History-Dependent Petri Nets. ICATPN 2007: 164-183 - [c30]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf:
Modelling with History-Dependent Petri Nets. BPM 2007: 320-327 - [c29]Kees M. van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Adaptive Workflows for Healthcare Information Systems. Business Process Management Workshops 2007: 359-370 - [c28]Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova:
Bug Hunting with False Negatives. IFM 2007: 98-117 - [c27]Maja Pesic, M. H. Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst:
Constraint-Based Workflow Models: Change Made Easy. OTM Conferences (1) 2007: 77-94 - [c26]Carmen Bratosin, Kees M. van Hee, Natalia Sidorova:
Adaptive Workflow Nets for Grid Computing. PaCT 2007: 15-21 - 2006
- [j2]Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve:
Consistency in model integration. Data Knowl. Eng. 56(1): 4-22 (2006) - [j1]Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
Resource-Constrained Workflow Nets. Fundam. Informaticae 71(2-3): 243-257 (2006) - [c25]Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
Nested Nets for Adaptive Systems. ICATPN 2006: 241-260 - [c24]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
History-Based Joins: Semantics, Soundness and Implementation. Business Process Management 2006: 225-240 - [c23]Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova:
TTCN-3 for Distributed Testing Embedded Software. Ershov Memorial Conference 2006: 98-111 - [c22]Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve:
Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference 2006: 235-247 - [c21]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
Modelling History-Dependent Business Processes. MSVVEIS 2006: 76-85 - 2005
- [c20]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
Soundness of Resource-Constrained Workflow Nets. ICATPN 2005: 250-267 - [c19]Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova:
Data Abstraction and Constraint Solving for Conformance Testing. APSEC 2005: 541-548 - [c18]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal:
The Price of Coordination in Resource Management. Business Process Management 2005: 96-108 - [c17]Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova:
Simulated Time for Testing Railway Interlockings with TTCN-3. FATES 2005: 1-15 - [c16]Kees M. van Hee, Olivia Oanea, Natalia Sidorova:
Colored Petri Nets to Verify Extended Event-Driven Process Chains. OTM Conferences (1) 2005: 183-201 - 2004
- [c15]Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
Generalised Soundness of Workflow Nets Is Decidable. ICATPN 2004: 197-215 - [c14]Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve:
Consistency in Model Integration. Business Process Management 2004: 1-16 - [c13]Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova:
Using Fairness to Make Abstractions Work. SPIN 2004: 198-215 - 2003
- [c12]Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. ICATPN 2003: 337-356 - [c11]Stefan Blom, Natalia Ioustinova, Natalia Sidorova:
Timed Verification with µCRL. Ershov Memorial Conference 2003: 178-192 - [c10]Natalia Ioustinova, Natalia Sidorova, Martin Steffen:
Synchronous Closing and Flow Analysis for Model Checking Timed Systems. FMCO 2003: 292-313 - 2002
- [c9]Natalia Ioustinova, Natalia Sidorova, Martin Steffen:
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. APSEC 2002: 227- - [c8]Natalia Ioustinova, Natalia Sidorova, Martin Steffen:
Closing Open SDL-Systems for Model Checking with DTSpin. FME 2002: 531-548 - [c7]Natalia Sidorova, Martin Steffen:
Synchronous Closing of Timed SDL Systems for Model Checking. VMCAI 2002: 79-93 - 2001
- [c6]Natalia Ioustinova, Natalia Sidorova:
A Transformation of SDL Specifications - A Step towards the Verification. Ershov Memorial Conference 2001: 64-78 - [c5]Natalia Sidorova, Martin Steffen:
Embedding Chaos. SAS 2001: 319-334 - [c4]Natalia Sidorova, Martin Steffen:
Verifying Large SDL-Specifications Using Model Checking. SDL Forum 2001: 403-420 - 2000
- [c3]Philippe Schnoebelen, Natalia Sidorova:
Bisimulation and the Reduction of Petri Nets. ICATPN 2000: 409-423 - [c2]Natalia Sidorova, Martin Steffen:
Verification of a wireless ATM medium-access protocol. APSEC 2000: 84-91 - [c1]Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova:
Model Checking SDL with Spin. TACAS 2000: 363-377
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-02 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
