A Transformation of SDL Specifications - A Step towards the Verification. - Natalia Ioustinova; Natalia Sidorova (Ershov Memorial Conference, 2001)

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. - Natalia Ioustinova; Natalia Sidorova; Martin Steffen (APSEC, 2002)

Refinement and Verification Applied to an In-Flight Data Acquisition Unit. - Wan J. Fokkink; Natalia Ioustinova; Ernst Kesseler; Jaco van de Pol; Yaroslav S. Usenko; Yuri A. Yushtein (CONCUR, 2002)

Closing Open SDL-Systems for Model Checking with DTSpin. - Natalia Ioustinova; Natalia Sidorova; Martin Steffen (FME, 2002)

Timed Verification with µCRL. - Stefan Blom; Natalia Ioustinova; Natalia Sidorova (Ershov Memorial Conference, 2003)

Synchronous Closing and Flow Analysis for Model Checking Timed Systems. - Natalia Ioustinova; Natalia Sidorova; Martin Steffen (FMCO, 2003)

Using Fairness to Make Abstractions Work. - Dragan Bosnacki; Natalia Ioustinova; Natalia Sidorova (SPIN, 2004)

Data Abstraction and Constraint Solving for Conformance Testing. - Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol; Natalia Sidorova (APSEC, 2005)

Simulated Time for Testing Railway Interlockings with TTCN-3. - Stefan Blom; Natalia Ioustinova; Jaco van de Pol; Axel Rennoch; Natalia Sidorova (FATES, 2005)

Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. - Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol (IFM Doctoral Symposium, 2005)

TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. - Jens R. Calamé; Nicolae Goga; Natalia Ioustinova; Jaco van de Pol (CCECE, 2006)

TTCN-3 for Distributed Testing Embedded Software. - Stefan Blom; Thomas Deiß; Natalia Ioustinova; Ari Kontio; Jaco van de Pol; Axel Rennoch; Natalia Sidorova (Ershov Memorial Conference, 2006)

Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen. - Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol (GI Jahrestagung (2), 2006)

Bug Hunting with False Negatives. - Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol; Natalia Sidorova (IFM, 2007)

Simulated time for host-based testing with TTCN-3. - Stefan Blom; Thomas Deiß; Natalia Ioustinova; Ari Kontio; Jaco van de Pol; Axel Rennoch; Natalia Sidorova (Softw. Test. Verification Reliab., 2008)