Publications

Accepted for publication

• Discovering Characteristics of Stochastic Collections of Process Models.
  Kees van Hee, Marcello La Rosa, Zheng Liu and Natalia Sidorova,
  To appear in the 9th International Conference on Business Process Management (BPM 2011), Lecture Notes in Computer Science, Springer, 2011.
  
• Genetic Process Mining Using Sampling.
  Carmen Bratosin, Natalia Sidorova, Wil van der Aalst,
  To appear in 11th International Conference on Parallel Computing Technologies (PaCT'2011), Lecture Notes in Computer Science 6873, Springer, 2011, pp. 224–237.
  
• Cost-based Fitness in Conformance Checking.
  Arya Adriansyah, Natalia Sidorova, Boudewijn van Dongen,
  To appear in 11th International Conference on Application of Concurrency to System Design (ACSD 2011), IEEE.
  

Journal papers

• Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible.
  Natalia Sidorova, C. Stahl, Nikola Trcka,
  Information Systems, 36(7): 1026-1043, Elsevier, 2011. 
• Soundness of Workflow Nets: Classification, Decidability, and Analysis.
  Wil van der Aalst, Kees van Hee, Arthur ter Hofstede, Natalia Sidorova, Eric Verbeek, Marc Voorhoeve, and M.T. Wynn. 
  Formal Aspects of Computing, 23(3), pp.333–363 Springer, 2011. (DOI 10.1007/s00165-010-0161-4)
• A Reference Model For Grid Architectures and Its Validation.
  Wil van der Aalst, Carmen Bratosin, Natalia Sidorova, Nikola Trcka,
  Concurrency and Computation: Practice and Experience, volume 22, issue 11, Wiley, 2010, pp.1365-1385.
  
• Generation of Database Transactions with Petri Nets.
  Kees van Hee, Natalia Sidorova, Marc Voorhoeve, and Jan Martijn van der Werf,
  Fundamenta Informaticae 93(1-3), 2009, pp.171-184.
• Soundness of Workflow Nets with Reset Arcs.
  Wil van der Aalst, Kees van Hee, Arthur ter Hofstede, Natalia Sidorova, Eric Verbeek, Marc Voorhoeve, and M.T. Wynn
  LNCS Transactions on Petri Nets and Other Models of Concurrency, ToPNoC III, LNCS 5800, Springer, 2009, pp. 50–70.
• A Framework for Linking and Pricing No-Cure-No-Pay Services.
  Kees van Hee, H.M.W. Verbeek, C. Stahl, and Natalia Sidorova,
  In LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), volume 5460 of LNCS, Springer, 2009, pp. 192-207.
• Designing Case Handling Systems.
  Kees van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, and Jan Martijn van der Werf,
  LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), volume 5100 of LNCS, Springer, 2008, pp. 119-133.
• Working with the Past: Integrating History in Petri Nets.
  Kees van Hee, Alexander Serebrenik, Natalia Sidorova, and Wil van der Aalst,
  Fundamenta Informaticae, ©IOS Press, Fundamenta Informaticae 88(3), pp. 387-409, 2008.
• Can I Find a Partner? Undecidablity of Partner Existence for Open Nets.
  Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf.
  Information Processing Letters, 108(6), Elsevier, 2008, pp. 374-378.
• Token History Nets
  Kees van Hee, Alexander Serebrenik and Natalia Sidorova,
  Fundamenta Informaticae, 85(1-4), ©IOS Press, 2008, pp. 219-234.
  
• Simulated Time for Host-Based Testing with TTCN-3
  Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, and Natalia Sidorova,
  Software Testing, Verification and Reliability, 18(1) ©Wiley, 2008, pp. 29-49.
• History-based Joins: Semantics, Soundness and Implementation
  Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve,
  Data and Knowledge Engineering, 64(1), ©Elsevier, 2008, pp.24-37.
• Checking Properties of Adaptive Workflow Nets
  Kees van Hee, Irina Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve,
  Fundamenta Informaticae, 79(3-4), ©IOS Press, 2007, pp.347-362.
• Scheduling-Free Resource Management.
  Kees van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, and Jan van der Wal,
  Data and Knowledge Engineering, 61(1), Elsevier, 2007, pp.59-75.
• LogLogics: A Logic for History-Dependent Business Processes
  Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve,
  Science of Computer Programming, 65(1), Elsevier, 2007, pp.30-40.
• Resource-Constrained Workflow Nets
  Kees van Hee, Natalia Sidorova, and Marc Voorhoeve,
  Fundamenta Informaticae, 71(2-3), IOS Press, 2006, pp.243-257.
  
• Consistency in Model Integration
  Kees van Hee, Natalia Sidorova, Lou Somers and Marc Voorhoeve,
  Data & Knowledge Engineering, volume 56, issue 1, Elsevier, 2006, pp. 4-22.
  
  

Conference papers

• Refinement of Synchronizable Places with Multi-Workflow Nets - Weak Termination Preserved!
  Kees van Hee, Natalia Sidorova, and Jan Martijn van der Werf,
  In the 32th International Conference on Application and Theory of Petri Nets, Petri nets 2011, volume 6709 of Lecture Notes in Computer Science, Springer, pp. 149-168.
  
• Soundness-Preserving Refinements of Service Compositions.
  Kees van Hee, Arjan Mooij, Natalia Sidorova, and  Jan Martijn van der Werf,
  Web Services and Formal Methods 2010 (WS-FM 2010), volume 6551 of Lecture Notes in Computer Science, Springer.
• Discovering Process Models with Genetic Algorithms using Sampling.
  Carmen Bratosin, Natalia Sidorova, and Wil van der Aalst,
  14th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2010), volume 6276 of Lecture Notes in Computer Science, Springer, pp. 41-50.
• Business Trend Analysis by Simulation.
  Helen Schonenberg, J. Jian, Natalia Sidorova, and Wil van der Aalst,
  CAISE’2010, 22nd International Conference on Advanced Information Systems, volume 6051 of Lecture Notes in Computer Science, Springer, 2010, pp.515-529.
  
• Workfow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual.
  Natalia Sidorova, C. Stahl, and Nikola Trcka,
  To appear in CAISE’2010, 22nd International Conference on Advanced Information Systems, volume 6051 of Lecture Notes in Computer Science, Springer, 2010, pp.530-544.
• Compositional Construction of Asynchronous Communicating Systems: Weak Termination guaranteed!
  Kees van Hee, Natalia Sidorova, and Jan Martijn van der Werf,
  To appear in SC 2010, International Conference on Software Composition 2010, volume 6144 of Lecture Notes in Computer Science, Springer, 2010, pp.106-121.
• Distributed Genetic Process Mining.
  Carmen Bratosin, Natalia Sidorova, and Wil van der Aalst,
  2010 IEEE World Congress on Computational Intelligence (IEEE CEC 2010), IEEE, 2010.
• History-Dependent Stochastic Petri Nets.
  Helen Schonenberg, Natalia Sidorova, Wil van der Aalst and Kees van Hee,
  In A. Pnueli, I. Visbitskaite, and A. Voronkov (Eds.), 7th Int. Conf. on Perspectives of System Informatics, PSI'2009,volume 5947 of Lecture Notes in Computer Science, pp. 366-379, Springer,  2010.
• Petri Nets with May/Must Semantics - Preserving Properties through Data Refinements.
  Olga Kouchnarenko, Natalia Sidorova, Nikola Trcka
  In Concurrency Specification and Programming 2009.
  
• Workflow Completion Patterns. ("best application paper" award)
  Nikola Trcka, Natalia Sidorova, Wil van der Aalst,
  In IEEE-CASE 2009, 5th Annual IEEE Conference on Automation Science and Engineering , IEEE, 2009.
• Data-Flow Anti-Patterns: Discovering Dataflow Errors in Workflows.
  Nikola Trcka, Natalia Sidorova, Wil van der Aalst,
  In CAISE’09, 21st International Conference on Advanced Information Systems, volume 5565 of Lecture Notes in Computer Science, Springer, 2009, pp.425-439.
• Compositional Service Trees.
  Wil van der Aalst, Kees van Hee, Peter Massuthe, Natalia Sidorova, and Jan Martijn van der Werf,,
  In the 29th International Conference on Application and Theory of Petri Nets, ICATPN’09, volume 5606 of Lecture Notes in Computer Science, Springer, 2009, pp.283-302.
• Soundness and Niceness as Correctness Criteria for Grid Workflows.
  Nikola Trcka, Natalia Sidorova, Wil van der Aalst,
  In Proc. of 4th IEEE International conference on e-Science, December 7-12, 2008, Indianapolis USA, IEEE, 2008.
• Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets.
  Nikola Trcka, Wil van der Aalst, Carmen Bratosin, Natalia Sidorova,
  Proc. of 12th International Conference On Principles Of DIstributed Systems, (OPODIS 2008), December 15th-18th 2008, Luxor, Egypt, volume 5401 of Lecture Notes in Computer Science, Springer, 2008, pp. 538-541.
• A Reference Model For Grid Architectures and Its Analysis.
  Carmen Bratosin, Wil van der Aalst, Natalia Sidorova, Nikola Trcka
  In Grid computing, high-performAnce and Distributed Applications (GADA'08), volume 5331 of Lecture Notes in Computer Science, Springer, 2008, pp. 898-913.
• Soundness of Workflow Nets with Reset Arcs is Undecidable!
  Wil van der Aalst, Kees van Hee, Arthur ter Hofstede, Natalia Sidorova, Eric Verbeek, Marc Voorhoeve, and M.T. Wynn.  In J. Kleijn and M. Koutny, editors, Proceedings of the International Workshop on Concurrency Methods Issues and Applications (CHINA'08), pages 57-72. Xidian University, 2008.
• Adaptive Workflows for Healthcare Information Systems.
  Kees van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova and Jan Martijn van der Werf,
  ProHealth 2007 (BPM 2007 International Workshops), Brisbane, Australia, September 2007, volume 4928 of Lecture Notes in Computer Science, Springer Verlag, 2008, pp. 359-370.
• Modelling with History-Dependent Petri Nets
  Kees van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, and Jan Martijn van der Werf,
  In Proc. of the 4th International Conference on Business Process Management, Brisbane, Australia, September 2007, volume 4714 of Lecture Notes in Computer Science, Springer-Verlag, 2007, pp. 320-327.
• Token History Nets
  Kees van Hee, Alexander Serebrenik and Natalia Sidorova,
  In Concurrency Specification and Programming, September 2007.
• Constraint-Based Workflow Models: Change Made Easy.
  Maya Pesic, Helen Schonenberg, Natalia Sidorova and Wil van der Aalst,
  In Proc. of the 15th International Conference on COOPERATIVE INFORMATION SYSTEMS (CoopIS 2007), OTM Conferences (1) 2007, volume 4803 of Lecture Notes in Computer Science, Springer-Verlag, 2007, pp.77-94.
• Adaptive Workflow Nets for Grid Computing
  Carmen Bratosin, Kees van Hee, Natalia Sidorova,
  In Proc. of the 9th International Conference on Parallel Computing Technologies, PaCT-2007, Pereslavl-Zalessky, September 2007, volume 4671 of Lecture Notes in Computer Science, Springer-Verlag, 2007, pp.15-21.
• Bug Hunting with False Negatives
  Jens Calamé, Natalia Ioustinova, Jaco van de Pol, and Natalia Sidorova,
  In Proc. of the 6th International Conference on Integrated Formal Methods, IFM'2007, Oxford, July 2007, volume 4591 of Lecture Notes in Computer Science, Springer-Verlag, 2007, pp. 98-117.
• History-Dependent Petri Nets
  Kees van Hee, Alexander Serebrenik, Natalia Sidorova, and Wil van der Aalst,
  In the 27th International Conference on Application and Theory of Petri Nets, ICATPN'2007, Siedlce, June 2007, volume 4546 of Lecture Notes in Computer Science, Springer-Verlag, 2007, pp. 164-183.
  (pdf)
• Designing Case Handling Systems
  Kees van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, and Jan Martijn van der Werf,
  In the International Workshop on Petri Nets and Software Engineering, PNSE'07, Siedlce, June 2007.
• Modeling a grid.
  Carmen Bratosin, Natalia Sidorova, and Wil van der Aalst.
  In L. Czaja (Ed.), Proceedings of Concurrency, Specification and Programming (CS&P 2007, Łagów, Poland, September 27-29, 2007), Volume 1 (pp. 63-74).
• History-based Joins: Semantics, Soundness and Implementation.
  Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve,
  In the 4th International Conference on Business Process Management, volume 4102 of Lecture Notes in Computer Science, Springer-Verlag, 2006, pp. 225–240.
• Checking Properties of Adaptive Workflow Nets
  Kees van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova and Marc Voorhoeve,
  In Concurrency Specification and Programming, Wandlitz, Germany, September 27-29, 2006, pp. 92-103.
• Nested Nets for Adaptive Systems
  Kees van Hee, Irina Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve,
  In Susanna Donatelli, P. S. Thiagarajan, editors, the 26th International Conference on Application and Theory of Petri Nets, ICATPN'2006, Turku, June 2006, volume 4024 of Lecture Notes in Computer Science, Springer-Verlag, 2006, pp. 241-260.
  (pdf)
• Verifying Generalized Soundness for Workflow Nets
  Kees van Hee, Olivia Oanea, Natalia Sidorova, and Marc Voorhoeve,
  In Proc. of the 6th International Conference on Perspectives of System Informatics, PSI'2006, Novosibirsk, June 2006, volume 4378 of Lecture Notes in Computer Science, Springer-Verlag, 2006, pp. 231-244.
  
• TTCN-3 for Distributed Testing Embedded Systems
  Stefan. Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, and Natalia Sidorova,
  In Proc. of the 6th International Conference on Perspectives of System Informatics, PSI'2006, Novosibirsk, June 2006, volume 4378 of Lecture Notes in Computer Science, Springer-Verlag, 2006, pp. 98-111.
• Simulated Time for Testing Railway Interlockings with TTCN-3
  Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, and Natalia Sidorova,
  Proc. of 5th International Workshop on Formal Approaches to Testing of Software, FATES 2005, volume 3997 of Lecture Notes in Computer Science, Springer-Verlag, 2006, pp. 1-15.
  (pdf)
  
• Modeling History-Dependent Business Processes
  Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova and Marc Voorhoeve,
  The Fourth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS’06) (J. Barjis, U. Ultes-Nitsche, J. Augusto, eds.), May 23-24, 2006, Paphos, Cyprus, pp. 76-85.
• Data Abstraction and Constraint Solving for Conformance Testing
  Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, and Natalia Sidorova,
  In Proc. of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), December 2005, Taipei, Taiwan, IEEE Computer Society, 2005, pp. 541-548.
  (pdf)
• Colored Petri Nets to Verify Extended Event-Driven Process Chains
  Kees van Hee, Olivia Oanea, and Natalia Sidorova,
  In Proc. of the 13th International Conference on COOPERATIVE INFORMATION SYSTEMS (CoopIS 2005),  volume 3760 of Lecture Notes in Computer Science, Springer-Verlag, 2005, pp. 183-201.
  (pdf)
• The Price of Coordination in Resource Management
  Kees van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, and Jan van der Wal,
  In Proc. of the 3nd International Conference on Business Process Management, BPM'2005, volume 3649 of Lecture Notes in Computer Science, Springer-Verlag, 2005, pp. 96-108.
  (pdf)
• Soundness of Resource-Constrained Workflow Nets
  Kees van Hee, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve,
  In G. Ciardo, Ph. Darondeau, editors, Proc. of the 26th International Conference on Application and Theory of Petri Nets, ICATPN'2005, Miami, June 20-25, 2005, volume 3536 of Lecture Notes in Computer Science, Springer-Verlag, 2005, pp.  250-267.
  (postscript, pdf)
• Synchronous Closing and Flow Analysis for Model Checking Timed  Systems
  Natalia Ioustinova, Natalia Sidorova, and Martin Steffen,
  In F. de Boer, M. Bonsangue, S. Graf, W.-P. de Roever, editors, Postproceedings of Second International Symposium on Formal Methods for Components and Object (FMCO 2003), Leiden, November 4-7, 2003, volume 3188 of Lecture Notes in Computer Science, Springer-Verlag, 2004, pp.292-313.
  (postscript, pdf)
  slides: pdf
• Resource-Constrained Workflow Nets
  Kees van Hee, Natalia Sidorova, and Marc Voorhoeve,
  In G. Lindemann, editor, Proc. of  Concurrency Specification and Programming, CS&P'2004, Caputh, September 24-26, 2004, Informatik-Bericht Nr. 170, Humboldt-Universität zu Berlin, pp. 166-177.
  (pdf)
  slides: pdf
• Generalised Soundness of Workflow Nets is Decidable
  Kees van Hee, Natalia Sidorova, and Marc Voorhoeve,
  In J. Cortadella, W. Reisig, editors, Proc. of the 25th International Conference on Application and Theory of Petri Nets, ICATPN'2004, Bologna, June 21-25, 2004, volume 3099 of Lecture Notes in Computer Science, Springer-Verlag, 2004, pp. 197-216.
  (postscript)
  slides: pdf
  
• Consistency in Model Integration
  Kees van Hee, Natalia Sidorova, Lou Somers, and Marc Voorhoeve,
  In M. Weske, B. Pernici, J. Desel, editors, Proc. of the 2nd International Conference on Business Process Management, BPM'2004, Potsdam, June 17-18, 2004, volume 3080 of Lecture Notes in Computer Science, Springer-Verlag, 2004, pp. 1-16.
  (pdf)
• Using Fairness to Make Abstractions Work
  Dragan Bosnacki, Natalia Ioustinova, and Natalia Sidorova,
  In S. Graf, L. Mounier, editors, Proc. of the 11th Int. Spin Workshop on Model Checking of Software, volume 2989 of Lecture Notes in Computer Science, Springer-Verlag, 2004, pp.198-215.
  (postscript)
• Timed Verification with μCRL
  Stefan Blom, Natalia Ioustinova, and Natalia Sidorova,
  In M. Broy, A. Zamulin, editors, Proc. of the 5th Int. Conf. Perspectives of System Informatics, volume 2890 of Lecture Notes in Computer Science, Springer-Verlag, 2003, pp.178-192.
  (postscript)
• Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
  Kees van Hee, Natalia Sidorova, and Marc Voorhoeve,
  In W.M.P. van der Aalst, E. Best, editors, Proc. of 24th International Conference on Application and Theory of Petri Nets, ICATPN'2003, Eindhoven, June 23-27, 2003, volume 2679 of Lecture Notes in Computer Science, Springer-Verlag, 2003, pp. 337-356.
  (postscript, pdf)
  slides: pdf
• Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
  Natalia Ioustinova, Natalia Sidorova, and Martin Steffen,
  In Proc. of the 9th Asia Pacific Software Engineering Conference (APSEC 2002), December 2002, Brisbane, Australia, IEEE Computer Society , pp. 227-235.
  (gzipped postscript, pdf)
• Closing Open SDL-systems for Model Checking with DTSpin
  Natalia Ioustinova, Natalia Sidorova, and Martin Steffen,
  In L.-H. Eriksson, P.A. Lindsay, editors, FME 2002: Formal Methods - Getting IT Right, Proceedings of International Symposium of Formal Methods Europe, FME 2002, Copenhagen, July 22-24, volume 2391 of Lecture Notes in Computer Science, Springer-Verlag, pp. 531-548. cf. also here
  (gzipped postscript, pdf)
  slides: pdf
• Synchronous Closing of Timed SDL Systems for Model Checking
  Natalia Sidorova and Martin Steffen,
  In. A. Cortesi, editor, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers, volume 2294 of Lecture Notes in Computer Science, Springer-Verlag, pp. 79-93.
  (gzipped postscript, pdf)
  slides: pdf
• Embedding Chaos
  Natalia Sidorova and Martin Steffen,
  In P. Cousot, editor, Proc. 8th International Static Analysis Symposium, SAS 2001, Paris, France, 2001, volume 2126 of Lecture Notes in Computer Science,  Springer-Verlag, pp. 319-334.
  (postscript, pdf)
  slides: pdf
• Verifying Large SDL-Specifications using Model Checking
  Natalia Sidorova and Martin Steffen,
  In Proc. 10^th International SDL-Forum, Copenhagen, Denmark, 2001, volume 2078 of Lecture Notes in Computer Science, Springer-Verlag, pp. 403-420.
  (postscript)
  slides: pdf
• A Calculus of Petri Net Components
  Natalia Sidorova, Marc Voorhoeve and Jaap van der Woude,
  In Proc. Workshop on Modelling of Objects, Components, and Agents, MOCA’01, Aarhus, August 2001, pp. 121-132. .
  (postscript)
• Transformation of SDL Specifications — a Step towards the Verification
  Natalia Ioustinova, and Natalia Sidorova,
  In D. Bjorner, M. Broy and A. Zamulin, editors, Post-proceedings of Andrei Ershov Fourth International Conference "Perspectives of System Informatics" (PSI’01), Novosibirsk, Russia, 2001, volume 2244 of Lecture Notes in Computer Science, Springer-Verlag, pp. 64-78.
  (gzipped postscript)
  slides: ps
• Verification of a Wireless ATM Medium-Access Protocol
  Natalia Sidorova and Martin Steffen,
  In Proceedings of the 7th Asia Pacific Software Engineering Conference (APSEC 2000), December 2000, Singapore,  IEEE Computer Society , pp. 227-235.
  (postscript)
  slides: ps.gz
• Bisimulation and the Reduction of Petri Nets
  Natalia Sidorova and Ph. Schnoebelen,
  In M. Nielsen and D. Simpson, editors, Proc. of 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000, Aarhus, Denmark, volume 1825 of Lecture Notes in Computer Science, Springer-Verlag, 2000, pp. 409-423.
  (gzipped postscript)
  slides: ps
• Model Checking SDL with Spin
  Dragan Bosnacki, Dennis Dams, Leszek Holenderski, and Natalia Sidorova,
  In S. Graf and M. Schwartzbach, editors, Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, Berlin, Germany, volume 1785 of Lecture Notes in Computer Science, Springer-Verlag, 2000, pp. 363-377.
  (gzipped postscript)
• Using the INKA prover to automate safety proofs in abstract interpretation — A case study
  Dennis Dams, Dieter Hutter and Natalia Sidorova,
  In Proc.of Workshop on Modelling and Verification, Besancon, 9-11 Decembre, 1999. pp. 18-20 (with D. Dams and D. Hutter)
  full paper: (gzipped postscript, pdf), abstract: (postscript)
  slides: ps

Papers in national journals

• Symbolic reachability analyses for dataflow programs with data structures
  Ella Roubtsova and Natalia Sidorova,
  In Modelling and analyses of information systems, 5, pp. 27-40, Yaroslavl, 1998. (in Russian)
• An Approach to the Minimization of Communication Free Petri Nets
  Natalia Ioustinova, and Natalia Sidorova,
  In Modelling and Analysis of Information Systems, 7, Yaroslavl, Russia, pp. 167-180, 1998. (in Russian)
• Transformations of Petri nets: the problem of reduction and bisimulation
  Natalia Sidorova
  In Modelling and Analysis of Information Systems, 3, Yaroslavl, Russia, pp. 71-77, 1996. (in Russian)
• Petri net reduction
  Natalia Sidorova
  In Modelling and Analysis of Information Systems, 2, Yaroslavl, Russia, pp.163-174, 1994. (in Russian)

Papers in national conferences

• Symbolic Reachability Analysis of DataFlow Programs with Data Structures
  Ella Roubtsova, Natalia Sidorova, and Valery Sokolov,
  In Proc. of Third Siberian Congress on Industrial Applied Mathematics (INPRIM-98). (in Russian)
• Equivalence Transformations of Marked Labelled Petri nets with Silent Transitions
  Natalia Sidorova, and Valery Sokolov,
  In Proc. of Third Siberian Congress on Industrial Applied Mathematics (INPRIM-98). (in Russian)
• Undecidability of a place equivalence for Petri nets
  Natalia Sidorova
  In Contemporary problems of Mathematics and Computer Science, pp. 78-86, Yaroslavl, 1997, Russia. (in Russian)
• Some problems of analysis and reduction of Petri nets
  Natalia Sidorova
  In Proc. of 10thInt. Conf. on Problems of Technical Cybernetics, Saratov, Russia, June 1993. (in Russian)
• About Petri net reduction
  Natalia Sidorova, and Valery Sokolov
  In Proc. 10th Int. Conf. on Algebra in memory M.I. Kargapolov, August 1993, Krasnoyarsk, Russia. (in Russian)

Technical reports

• Aalst, W.M.P. van der, Hee, K.M. van, Hofstede, A.H.M. ter, Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T. (2008). Soundness of workflow nets : classification, decidability, and analysis. Computer Science Report No. 08-13, Eindhoven: Technische Universiteit Eindhoven, 48 pp.
• Hee, K.M. van, Verbeek, H.M.W., Stahl, C., Sidorova, N. (2008). A framework for linking and pricing no-cure-no-pay services. Computer Science Report No. 08-19, Eindhoven: Technische Universiteit Eindhoven, 23 pp.
• Trcka, N., Aalst, W.M.P. van der, Bratosin, C.C., Sidorova, N. (2008). Evaluating a data removal strategy for grid environments using colored Petri nets. Computer Science Report No. 08-32, Eindhoven: Technische Universiteit Eindhoven, 12 pp.
• Trcka, N., Aalst, W.M.P. van der, Sidorova, N. (2008). Analyzing control-flow and data-flow in workflow processes in a unified way. Computer Science Report No. 08-31, Eindhoven: Technische Universiteit Eindhoven, 23 pp.
• Hee, K.M. van, Sidorova, N., Stahl, C., Verbeek, H.M.W. (2007). A price of service in a compositional SOA framework. Computer Science Report No. 07-16, Eindhoven: Technische Universiteit Eindhoven, 12 pp.
• Verifying Generalized Soundness for Workflow Nets
  Kees van Hee, Olivia Oanea, Natalia Sidorova, and Marc Voorhoeve.
  CS-Report 06-08, Technical University Eindhoven, 2006.
  
• Nested nets for adaptive systems
  Kees van Hee, Irina Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve.
  CS-Report 06-02, Technical University Eindhoven, 2006.
• Simulated time for testing railway interlockings with TTCN-3
  Stefan. Blom, Natalia Ioustinova, Jaco van de Pol and Natalia Sidorova.
  Technical Report SEN-E0503, CWI Amsterdam, February 2005.
• Verifying Mascara Control
  Natalia Sidorova and Martin Steffen,
  Technical Report TR-ST-00-1, Christian-Albrechts-Universitaet zu Kiel, May 2000. (appeared as a paper in APSEC’2000 proceedings, IEEE Computing Society, 2000).
  (gzipped postscript)
• Verification of a Wireless ATM Medium-Access Protocol,
  Natalia Sidorova and Martin Steffen,
  Universtity Kiel, Software Technology technical report TR-ST-00-3, May 2000
  (gzipped postscript)
• Verifying the MASCARA Protocol
  Bernard Boigelot, Dragan Bosnacki, Dennis Dams, Susanne Graf, Guoping Jia, Leszek Holenderski, Natalia Sidorova, and Martin Steffen,
  VIRES report. 2000.
  (postscript)
• Finalized Specification of the MASCARA Protocol (R 1.1.4)
  Dennis Dams, Susanne Graf, Guoping Jia, Natalia Sidorova, Martin Steffen, and Diana Tourko,
  (postscript)
• Verifying the MASCARA Protocol
  Dragan Bosnacki, Dennis Dams, Susanne Graf, Guoping Jia, Leszek Holenderski, Natalia Sidorova, Martin Steffen, and Diana Tourko,
  VIRES report. 1999.
  (postscript)
• Verifying the MASCARA protocol in SPIN
  Dragan Bosnacki, Dennis Dams, Leszek Holenderski, and Natalia Sidorova,
  VIRES report. 1999. (preliminary version of the article “Model Checking SDL with Spin”)
  (postscript)
• An equivalence transformation of Petri nets.
  Natalia Sidorova,
  Preprint 1-1998, Yaroslavl State University. (in Russian)

Back to the home page