Natalia Sidorova

130 papers A 11B 24C 4Journal 47Unranked 44

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	In system alignments we trust! Explainable alignments via projections. Inf. Syst. Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen
2025	J	`jnl`	A Ground Truth Approach for Assessing Process Mining Techniques. CoRR Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen
2025	J	`jnl`	A ground truth approach for assessing process mining techniques. Process Sci. Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen
2025	B	`conf`	Enjoy the Silence, Part II: Probability-Based Queries on Stochastic Labelled Petri Nets. Petri Nets Sander J. J. Leemans, Marco Montali, Timo Gersing, Felix Engelhardt, Natalia Sidorova
2025	J	`jnl`	In System Alignments we Trust! Explainable Alignments via Projections. CoRR Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen
2025	—	`conf`	Zero-Shot Approaches for the Extraction of Event Logs from Medical Notes. RCIS (1) Allmin Pradhap Singh Susaiyah, Natalia Sidorova
2024	B	`conf`	Assessing Process Mining Techniques: a Ground Truth Approach. ICPM Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen
2024	B	`conf`	Conformance Checking with Model Projections - Rethinking Log-Model Alignments for Processes with Interacting Objects. Petri Nets Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen
2023	B	`conf`	Exact and Approximated Log Alignments for Processes with Inter-case Dependencies. Petri Nets Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen
2023	J	`jnl`	Exact and Approximated Log Alignments for Processes with Inter-case Dependencies. CoRR Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen
2023	J	`jnl`	Significant stochastic dependencies in process models. Inf. Syst. Sander J. J. Leemans, Lisa Luise Mannel, Natalia Sidorova
2023	—	`conf`	Trident: Generating Noisy Synthetic Processes with Ground Truth. ICPM Doctoral Consortium / Demo Dominique Sommers, Durairaja V. Varadarajan, Natalia Sidorova
2022	B	`conf`	Aligning Event Logs to Resource-Constrained ν-Petri Nets. Petri Nets Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen
2021	—	`conf`	Designing Micro-intelligences for Situated Affective Computing. CHIIoT@EWSN/EICS Peter Lovei, Iryna Nazarchuk, Suhaib Aslam, Bin Yu, Carl Megens, Natalia Sidorova
2021	J	`jnl`	Preface. Fundam. Informaticae Ryszard Janicki, Slawomir Lasota, Natalia Sidorova
2021	C	`conf`	Signal Phrase Extraction: A Gateway to Information Retrieval Improvement in Law Texts. JURIX Michael van der Veen, Natalia Sidorova
2020	B	`ed.`	Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings Petri Nets Ryszard Janicki, Natalia Sidorova, Thomas Chatain
2019	J	`jnl`	Discovering more precise process models from event logs by filtering out chaotic activities. J. Intell. Inf. Syst. Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst
2019	J	`jnl`	Generating time-based label refinements to discover more precise process models. J. Ambient Intell. Smart Environ. Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst
2019	J	`jnl`	Guided Interaction Exploration and Performance Analysis in Artifact-Centric Process Models. Bus. Inf. Syst. Eng. Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst
2018	—	`conf`	Data-Driven Usability Test Scenario Creation. HCSE Maikel L. van Eck, Else Markslag, Natalia Sidorova, Angelique Brosens-Kessels, Wil M. P. van der Aalst
2018	J	`jnl`	Interest-driven discovery of local process models. Inf. Syst. Niek Tax, Benjamin Dalmas, Natalia Sidorova, Wil M. P. van der Aalst, Sylvie Norre
2018	B	`conf`	LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World. Petri Nets Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma
2018	B	`conf`	Mining Local Process Models with Constraints Efficiently: Applications to the Analysis of Smart Home Data. Intelligent Environments Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst
2018	—	`conf`	Multi-instance Mining: Discovering Synchronisation in Artifact-Centric Processes. Business Process Management Workshops Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst
2018	J	`jnl`	The imprecisions of precision measures in process mining. Inf. Process. Lett. Niek Tax, Xixi Lu, Natalia Sidorova, Dirk Fahland, Wil M. P. van der Aalst
2017	J	`jnl`	Discovering More Precise Process Models from Event Logs by Filtering Out Chaotic Activities. CoRR Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst
2017	—	`conf`	Guided Interaction Exploration in Artifact-centric Process Models. CBI (1) Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst
2017	J	`jnl`	Guided Interaction Exploration in Artifact-centric Process Models. CoRR Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst
2017	J	`jnl`	Human Performance-Aware Scheduling and Routing of a Multi-Skilled Workforce. Complex Syst. Informatics Model. Q. Maikel L. van Eck, Murat Firat, Wim P. M. Nuijten, Natalia Sidorova, Wil M. P. van der Aalst
2017	J	`jnl`	Interest-Driven Discovery of Local Process Models. CoRR Niek Tax, Benjamin Dalmas, Natalia Sidorova, Wil M. P. van der Aalst, Sylvie Norre
2017	J	`jnl`	Mining Process Model Descriptions of Daily Life through Event Abstraction. CoRR Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst
2017	J	`jnl`	The Imprecisions of Precision Measures in Process Mining. CoRR Niek Tax, Xixi Lu, Natalia Sidorova, Dirk Fahland, Wil M. P. van der Aalst
2017	J	`jnl`	Time-Based Label Refinements to Discover More Precise Process Models. CoRR Niek Tax, Emin Alasgarov, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma
2016	—	`conf`	Composite State Machine Miner: Discovering and Exploring Multi-perspective Processes. BPM (Demos) Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst
2016	A	`conf`	Discovering and Exploring State-Based Models for Multi-perspective Processes. BPM Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst
2016	B	`conf`	Enabling process mining on sensor data from smart products. RCIS Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst
2016	—	`conf`	Event Abstraction for Process Mining Using Supervised Learning Techniques. IntelliSys (1) Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst
2016	J	`jnl`	Event Abstraction for Process Mining using Supervised Learning Techniques. CoRR Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst
2016	J	`jnl`	Heuristic Approaches for Generating Local Process Models through Log Projections. CoRR Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma
2016	—	`conf`	Heuristic approaches for generating Local Process Models through log projections. SSCI Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma
2016	B	`conf`	Log-based Evaluation of Label Splits for Process Models. KES Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst
2016	J	`jnl`	Log-based Evaluation of Label Splits for Process Models. CoRR Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst
2016	J	`jnl`	Mining Local Process Models. CoRR Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst
2016	J	`jnl`	Mining local process models. J. Innov. Digit. Ecosyst. Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst
2016	—	`conf`	On Generation of Time-based Label Refinements. CS&P Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma
2016	J	`jnl`	On Generation of Time-based Label Refinements. CoRR Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma
2015	—	`conf`	KPI-based Activity Planning for People Working in Flexible Processes. CAiSE Forum Maikel L. van Eck, Natalia Sidorova, Wil M. P. van der Aalst
2015	J	`jnl`	Personalized Stress Management: Enabling Stress Monitoring with LifelogExplorer. Künstliche Intell. Rafal Kocielnik, Natalia Sidorova
2013	J	`jnl`	Business Process Modeling Using Petri Nets. Trans. Petri Nets Other Model. Concurr. Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
2013	—	`conf`	Enabling self-reflection with LifelogExplorer: Generating simple views from complex data. PervasiveHealth Rafal Kocielnik, Fabrizio Maria Maggi, Natalia Sidorova
2013	—	`conf`	Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair. FSEN Elham Ramezani, Natalia Sidorova, Christian Stahl
2013	J	`jnl`	Refinement of Synchronizable Places with Multi-workflow Nets. Fundam. Informaticae Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
2013	B	`conf`	Smart technologies for long-term stress monitoring at work. CBMS Rafal Kocielnik, Natalia Sidorova, Fabrizio Maria Maggi, Martin Ouwerkerk, Joyce H. D. M. Westerink
2013	J	`jnl`	Soundness for Resource-Constrained Workflow Nets Is Decidable. IEEE Trans. Syst. Man Cybern. Syst. Natalia Sidorova, Christian Stahl
2013	B	`conf`	The Right Timing: Reflections on the Modeling and Analysis of Time. Petri Nets Kees M. van Hee, Natalia Sidorova
2013	J	`jnl`	When Can We Trust a Third Party? - A Soundness Perspective. Trans. Petri Nets Other Model. Concurr. Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
2012	—	`conf`	Configurable Declare: Designing Customisable Flexible Process Models. OTM Conferences (1) Dennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova, Wil M. P. van der Aalst
2012	B	`conf`	Patterns for a Log-Based Strengthening of Declarative Compliance Models. IFM Dennis M. M. Schunselaar, Fabrizio Maria Maggi, Natalia Sidorova
2012	—	`conf`	Stess@Work: from measuring stress to its understanding, prediction and handling with personalized coaching. IHI Jorn Bakker, Leszek Holenderski, Rafal Kocielnik, Mykola Pechenizkiy, Natalia Sidorova
2012	B	`conf`	Stress Analytics in Education. EDM Rafal Kocielnik, Mykola Pechenizkiy, Natalia Sidorova
2012	—	`conf`	When Can We Trust a Third Party? - A Soundness Perspective. PNSE Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
2011	—	`conf`	Cost-Based Fitness in Conformance Checking. ACSD Arya Adriansyah, Natalia Sidorova, Boudewijn F. van Dongen
2011	A	`conf`	Discovering Characteristics of Stochastic Collections of Process Models. BPM Kees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova
2011	B	`conf`	Distributed Genetic Process Mining Using Sampling. PaCT Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst
2011	B	`conf`	Is my event log complete? - A probabilistic approach to process mining. RCIS Kees M. van Hee, Zheng Liu, Natalia Sidorova
2011	B	`conf`	Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved! Petri Nets Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
2011	J	`jnl`	Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 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
2011	J	`jnl`	Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. Inf. Syst. Natalia Sidorova, Christian Stahl, Nikola Trcka
2011	—	`conf`	What's Your Current Stress Level? Detection of Stress Patterns from GSR Sensor Data. ICDM Workshops Jorn Bakker, Mykola Pechenizkiy, Natalia Sidorova
2010	J	`jnl`	A reference model for grid architectures and its validation. Concurr. Comput. Pract. Exp. Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova, Nikola Trcka
2010	A	`conf`	Business Trend Analysis by Simulation. CAiSE Helen Schonenberg, Jingxian Jian, Natalia Sidorova, Wil M. P. van der Aalst
2010	A	`conf`	Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! SC Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
2010	—	`conf`	Discovering Process Models with Genetic Algorithms Using Sampling. KES (1) Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst
2010	B	`conf`	Distributed genetic process mining. IEEE Congress on Evolutionary Computation Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst
2010	—	`conf`	Introduction. ACSD/Petri Nets Workshops Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg
2010	—	`conf`	Soundness-Preserving Refinements of Service Compositions. WS-FM Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf
2010	A	`conf`	Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. CAiSE Natalia Sidorova, Christian Stahl, Nikola Trcka
2009	J	`jnl`	A Framework for Linking and Pricing No-Cure-No-Pay Services. Trans. Petri Nets Other Model. Concurr. Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova
2009	B	`conf`	Compositional Service Trees. Petri Nets Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf
2009	A	`conf`	Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. CAiSE Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova
2009	J	`jnl`	Generation of Database Transactions with Petri Nets. Fundam. Informaticae Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf
2009	—	`conf`	History-Dependent Stochastic Petri Nets. Ershov Memorial Conference Helen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee
2009	J	`jnl`	Soundness of Workflow Nets with Reset Arcs. Trans. Petri Nets Other Model. Concurr. 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
2009	—	`conf`	Workflow completion patterns. CASE Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova
2008	—	`conf`	A Reference Model for Grid Architectures and Its Analysis. OTM Conferences (1) Carmen Bratosin, Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trcka
2008	J	`jnl`	Can I find a partner? Undecidability of partner existence for open nets. Inf. Process. Lett. Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf
2008	J	`jnl`	Designing Case Handling Systems. Trans. Petri Nets Other Model. Concurr. Kees M. van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, Jan Martijn E. M. van der Werf
2008	B	`conf`	Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. OPODIS Nikola Trcka, Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova
2008	J	`jnl`	History-based joins: Semantics, soundness and implementation. Data Knowl. Eng. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2008	J	`jnl`	Simulated time for host-based testing with TTCN-3. Softw. Test. Verification Reliab. Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
2008	—	`conf`	Soundness and Niceness as Correctness Criteria for Grid Workflows. eScience Nikola Trcka, Natalia Sidorova, Wil M. P. van der Aalst
2008	J	`jnl`	Token History Petri Nets. Fundam. Informaticae Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova
2008	J	`jnl`	Working with the Past: Integrating History in Petri Nets. Fundam. Informaticae Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst
2007	B	`conf`	Adaptive Workflow Nets for Grid Computing. PaCT Carmen Bratosin, Kees M. van Hee, Natalia Sidorova
2007	—	`conf`	Adaptive Workflows for Healthcare Information Systems. Business Process Management Workshops Kees M. van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan Martijn E. M. van der Werf
2007	B	`conf`	Bug Hunting with False Negatives. IFM Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
2007	J	`jnl`	Checking Properties of Adaptive Workflow Nets. Fundam. Informaticae Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova
2007	—	`conf`	Constraint-Based Workflow Models: Change Made Easy. OTM Conferences (1) Maja Pesic, M. H. Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst
2007	—	`conf`	History-Dependent Petri Nets. ICATPN Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst
2007	J	`jnl`	LogLogics: A logic for history-dependent business processes. Sci. Comput. Program. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2007	A	`conf`	Modelling with History-Dependent Petri Nets. BPM Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf
2007	J	`jnl`	Scheduling-free resource management. Data Knowl. Eng. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal
2006	J	`jnl`	Consistency in model integration. Data Knowl. Eng. Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve
2006	A	`conf`	History-Based Joins: Semantics, Soundness and Implementation. Business Process Management Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2006	—	`conf`	Modelling History-Dependent Business Processes. MSVVEIS Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2006	—	`conf`	Nested Nets for Adaptive Systems. ICATPN Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2006	J	`jnl`	Resource-Constrained Workflow Nets. Fundam. Informaticae Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
2006	—	`conf`	TTCN-3 for Distributed Testing Embedded Software. Ershov Memorial Conference Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
2006	—	`conf`	Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve
2005	—	`conf`	Colored Petri Nets to Verify Extended Event-Driven Process Chains. OTM Conferences (1) Kees M. van Hee, Olivia Oanea, Natalia Sidorova
2005	C	`conf`	Data Abstraction and Constraint Solving for Conformance Testing. APSEC Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
2005	—	`conf`	Simulated Time for Testing Railway Interlockings with TTCN-3. FATES Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
2005	—	`conf`	Soundness of Resource-Constrained Workflow Nets. ICATPN Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
2005	A	`conf`	The Price of Coordination in Resource Management. Business Process Management Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal
2004	A	`conf`	Consistency in Model Integration. Business Process Management Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve
2004	—	`conf`	Generalised Soundness of Workflow Nets Is Decidable. ICATPN Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
2004	—	`conf`	Using Fairness to Make Abstractions Work. SPIN Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova
2003	—	`conf`	Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. ICATPN Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
2003	—	`conf`	Synchronous Closing and Flow Analysis for Model Checking Timed Systems. FMCO Natalia Ioustinova, Natalia Sidorova, Martin Steffen
2003	—	`conf`	Timed Verification with µCRL. Ershov Memorial Conference Stefan Blom, Natalia Ioustinova, Natalia Sidorova
2002	C	`conf`	Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. APSEC Natalia Ioustinova, Natalia Sidorova, Martin Steffen
2002	—	`conf`	Closing Open SDL-Systems for Model Checking with DTSpin. FME Natalia Ioustinova, Natalia Sidorova, Martin Steffen
2002	B	`conf`	Synchronous Closing of Timed SDL Systems for Model Checking. VMCAI Natalia Sidorova, Martin Steffen
2001	—	`conf`	A Transformation of SDL Specifications - A Step towards the Verification. Ershov Memorial Conference Natalia Ioustinova, Natalia Sidorova
2001	B	`conf`	Embedding Chaos. SAS Natalia Sidorova, Martin Steffen
2001	—	`conf`	Verifying Large SDL-Specifications Using Model Checking. SDL Forum Natalia Sidorova, Martin Steffen
2000	—	`conf`	Bisimulation and the Reduction of Petri Nets. ICATPN Philippe Schnoebelen, Natalia Sidorova
2000	A	`conf`	Model Checking SDL with Spin. TACAS Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova
2000	C	`conf`	Verification of a wireless ATM medium-access protocol. APSEC Natalia Sidorova, Martin Steffen