Publications

Accepted for publication

• Scheduling-Free Resource Management.
  Kees van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, and Jan van der Wal,
  To appear in Data and Knowledge Engineering,  ©Elsevier.

Refereed Papers

• 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), pp.30-40, ©Elsevier, 2007.
• 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.
• Resource-Constrained Workflow Nets
  Kees van Hee, Natalia Sidorova, and Marc Voorhoeve,
  Fundamenta Informaticae, 71(2-3), ©IOS Press, 2006, pp.243-257.
  (pdf)
• 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.
• 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.
  (pdf)
  
• 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
• 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)
• 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. (with E. Roubtsova), (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)
• 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)
• 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)
• 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

• 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