Natalia Ioustinova

Publication Activity (10 Years)

Years Active: 2001-2008
Publications (10 Years): 0

Publications

Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
Simulated time for host-based testing with TTCN-3. Softw. Test. Verification Reliab. 18 (1) (2008)
Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
Bug Hunting with False Negatives. IFM (2007)
Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. Electron. Notes Theor. Comput. Sci. 191 (2007)
Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol
Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen. GI Jahrestagung (2) (2006)
Jens R. Calamé, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol
TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. CCECE (2006)
Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
TTCN-3 for Distributed Testing Embedded Software. Ershov Memorial Conference (2006)
Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
Simulated Time for Testing Railway Interlockings with TTCN-3. FATES (2005)
Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
Data Abstraction and Constraint Solving for Conformance Testing. APSEC (2005)
Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova
Using Fairness to Make Abstractions Work. SPIN (2004)
Natalia Ioustinova, Natalia Sidorova, Martin Steffen
Synchronous Closing and Flow Analysis for Model Checking Timed Systems. FMCO (2003)
Stefan Blom, Natalia Ioustinova, Natalia Sidorova
Timed Verification with µCRL. Ershov Memorial Conference (2003)
Natalia Ioustinova, Natalia Sidorova, Martin Steffen
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. APSEC (2002)
Natalia Ioustinova, Natalia Sidorova, Martin Steffen
Closing Open SDL-Systems for Model Checking with DTSpin. FME (2002)
Wan J. 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. CONCUR (2002)
Natalia Ioustinova, Natalia Sidorova
A Transformation of SDL Specifications - A Step towards the Verification. Ershov Memorial Conference (2001)