Search the dblp DataBase

Publications of Author

1. Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
   Data Abstraction and Constraint Solving for Conformance Testing. [Citation Graph (0, 0)][DBLP]
   APSEC, 2005, pp:541-548 [Conf]
   
2. Natalia Ioustinova, Natalia Sidorova, Martin Steffen
   Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
   APSEC, 2002, pp:227-0 [Conf]
   
3. Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein
   Refinement and Verification Applied to an In-Flight Data Acquisition Unit. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2002, pp:1-23 [Conf]
   
4. Stefan Blom, Natalia Ioustinova, Natalia Sidorova
   Timed Verification with µCRL. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 2003, pp:178-192 [Conf]
   
5. Natalia Ioustinova, Natalia Sidorova
   A Transformation of SDL Specifications - A Step towards the Verification. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 2001, pp:64-78 [Conf]
   
6. Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
   Simulated Time for Testing Railway Interlockings with TTCN-3. [Citation Graph (0, 0)][DBLP]
   FATES, 2005, pp:1-15 [Conf]
   
7. Natalia Ioustinova, Natalia Sidorova, Martin Steffen
   Closing Open SDL-Systems for Model Checking with DTSpin. [Citation Graph (0, 0)][DBLP]
   FME, 2002, pp:531-548 [Conf]
   
8. Natalia Ioustinova, Natalia Sidorova, Martin Steffen
   Synchronous Closing and Flow Analysis for Model Checking Timed Systems. [Citation Graph (0, 0)][DBLP]
   FMCO, 2003, pp:292-313 [Conf]
   
9. Jens R. Calame, Natalia Ioustinova, Jaco van de Pol
   Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung (2), 2006, pp:257-261 [Conf]
   
10. Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova
    Using Fairness to Make Abstractions Work. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:198-215 [Conf]
    
11. Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
    TTCN-3 for Distributed Testing Embedded Software. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:98-111 [Conf]
    
12. Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
    Bug Hunting with False Negatives. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:98-117 [Conf]
    
13. Jens R. Calame, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol
    TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. [Citation Graph (0, 0)][DBLP]
    CCECE, 2006, pp:620-623 [Conf]
    
14. 
    Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. [Citation Graph (, )][DBLP]