Natalia Ioustinova , Specification and Analysis of Embedded Systems

---

Publications

Refereed Papers

• TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking
  Jens R. Calamé, Nicolae Goga,  Natalia Ioustinova, Jaco van de Pol.
  To appear in   Proc.  of the 16th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2006). IEEE,  March 2006, ©IEEE Press,, 2006

• Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
  Jens R. Calamé,  Natalia Ioustinova, Jaco van de Pol.
  To appear in   Proc. of the IFM-DS 2006, Electronic Notes in Theoretical Computer Science. August 2006, ©Elsevier, 2006.

• Automatisierte Erzeugung von TTCN-3 Testfällen aus UML-Modellen
  Jens R. Calamé,  Natalia Ioustinova, Jaco van de Pol.
  To appear in  Proc. of Informatik 2006, Lecture Notes in Informatics (LNI). Gesellschaft für Informatik (GI),October 2006, ©Köllen Verlag, 2006
• TTCN-3 for Distributed Testing Embedded Software
  Stefan. Blom, Thomas Deiss, Natalia Ioustinova, Ari Kontio,  Jaco van de Pol, Axel Rennoch, and Natalia Sidorova.
  To appear in  Proc. of the 6th Int. Conf. Perspectives of System Informatics, Lecture Notes in Computer Science, ©Springer-Verlag, 2006. 

• Simulated time for testing railway interlockings with TTCN-3
  Stefan. Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, and Natalia Sidorova.
  In Proc. of 5th International Workshop on Formal Approaches to Testing of Software, FATES 2005, volume 3997 Lecture Notes in Computer Science, ©Springer-Verlag, 2006, pp.1-16.
  (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)

• Abstractions and Static Analysis for Verifying  Reactive Systems
  Nataliya Yustinova,
  PhD Thesis, CWI, Amsterdam, November 2004 .
  (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)

• 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)

• 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, volume2890 of Lecture Notes in Computer Science, ©Springer-Verlag, 2003, pp.178-192.
  (postscript)

• Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
  Natalia Ioustinova, Natalia Sidorova, and Martin Steffen
  In Proceedings of the 9th Asia Pacific Software Engineering Conference (APSEC 2002), December 2002, Brisbane, Australia, ©IEEE Computer Society , pp. 227-235.
  (postscript)
  

• 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
  (pdf)
  

• Refinement and verification applied to an in-flight data acquisition unit
  W.J. Fokkink, Natalia Ioustinova, E. Kesseler , J.C. van de Pol,Y.S. Usenko , Y.A. Yushtein,
  In L.Brim, P. Jancar, M. Kretinsky and A. Kucera, editors, CONCUR'02:13th Conference on Concurrency Theory - CONCUR'02, Brno, August, volume 2421 of Lecture Notes in Computer Science, ©Springer, pp. 1-23.
  (postscript) .
  

• Algebraic and Transitional Techniques for Requirements Specification of Distributed Systems
  Clemens H. Cap, and Natalia Ioustinova,
  In Proceedings of 2nd Joint Workshop on Formal Specification of Computer-Based Systems,  Washington DC,  pp. 16-20, 2001.

• 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)

• Specification of Distributed Systems with Algebraic and Transitional Techniques
  Natalia Ioustinova,
  In Actes du Symposium Doctoral ASE'2000, IRISA technical report, number PI-1353,  Grenoble, France,  pp. 8-11, 2001.

• Transition systems for specification and modelling of distributed system
  Natalia Ioustinova,
  In Modelling and Analysis of Information Systems, 9,  Yaroslavl, Russia,  pp. 153-168, 1999. (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)

• Behavioural Equivalences on Communication Free Petri nets
  Natalia Ioustinova, and Natalia Sidorova,
  In Proceedings of Third Siberian Congress On Industrial and Applied Mathematics   Novosibirsk, Russia,  pp. 144-156, 1997. (in Russian)

• SDL-models
  Natalia Ioustinova,
  In Modelling and Analysis of Information Systems , 3,  Yaroslavl, Russia,  pp. 85-104, 1996. (in Russian)

• Design of Real-Time Executive Mobile System
  Natalia Ioustinova,
  In Proceedings of Actual Problems of the natural sciences and the humanities. Mathematics. Computer Science , 3,  Yaroslavl, Russia,  pp. 220-223, 1995. (in Russian)

Selected Presentations, Posters and Invited... 

• Testing Railway Interlockings with TTCN-3, Stefan Blom, Natalia Ioustinova, Jaco van de Pol , Selected for presentation at TTCN3 User Conference 2005,  Nice, France, June 2005, Outstanding Presentation Award from ETSI, (ppt) 
  

• Testing Railway Interlockings with TTCN-3, Stefan Blom,  Nicu Goga,  Natalia Ioustinova, Jaco van de Pol, Invited poster and demonstrator at 6th ITEA Symposium, Helsinki, Finland, October 2005 , (pdf)  (ppt)  
  

• Testing Railway Interlockings with TTCN-3, Stefan Blom,  Nicu Goga,  Natalia Ioustinova, Natalia Sidorova, Jaco van de Pol, Selected for presentation at 11th Nederlandse Testdag, Twente, The Netherlands, November 2005 (pdf)

Technical reports

• Bughunting with False Negatives
  Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol and Natalia Sidorova.
  Technical Report SEN-E0609, CWI Amsterdam, June 2006.

• Towards Automatic Generation of Parameterized Test Cases from Abstractions
   Natalia Ioustinova, Jaco van de Pol.
  Technical Report SEN-E0602, CWI Amsterdam, March 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.

• Using Fairness to Make Abstractions Work
  Dragan Bosnacki,  Natalia Ioustinova, and Natalia Sidorova.
  Technical Report SEN-E313, CWI Amsterdam, 2003.

• Timed Verification with mCRL
  Stefan. Blom, Natalia Ioustinova, Natalia Sidorova
  Technical Report SEN-312, CWI Amsterdam, 2003.

• Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
  Natalia Ioustinova, Natalia Sidorova, and Martin Steffen
  SEN R0228, CWI Report, Amsterdam, 2002.

• Closing open SDL-systems for model checking with DTSpin
  Natalia Ioustinova, Natalia Sidorova, and Martin Steffen
  SEN R0227,CWI Report, Amsterdam 2002.