Natalia Ioustinova

2008
15	EE	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., Verif. Reliab. 18(1): 29-49 (2008)
2007
14	EE	Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova: Bug Hunting with False Negatives. IFM 2007: 98-117
13	EE	Jens R. Calame, Natalia Ioustinova, Jaco van de Pol: Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. Electr. Notes Theor. Comput. Sci. 191: 25-48 (2007)
2006
12	EE	Jens R. Calame, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol: TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. CCECE 2006: 620-623
11	EE	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: 98-111
10		Jens R. Calame, Natalia Ioustinova, Jaco van de Pol: Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen. GI Jahrestagung (2) 2006: 257-261
2005
9	EE	Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova: Data Abstraction and Constraint Solving for Conformance Testing. APSEC 2005: 541-548
8	EE	Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova: Simulated Time for Testing Railway Interlockings with TTCN-3. FATES 2005: 1-15
2004
7	EE	Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova: Using Fairness to Make Abstractions Work. SPIN 2004: 198-215
2003
6	EE	Stefan Blom, Natalia Ioustinova, Natalia Sidorova: Timed Verification with µCRL. Ershov Memorial Conference 2003: 178-192
5	EE	Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Synchronous Closing and Flow Analysis for Model Checking Timed Systems. FMCO 2003: 292-313
2002
4	EE	Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. APSEC 2002: 227-
3	EE	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. CONCUR 2002: 1-23
2	EE	Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Closing Open SDL-Systems for Model Checking with DTSpin. FME 2002: 531-548
2001
1	EE	Natalia Ioustinova, Natalia Sidorova: A Transformation of SDL Specifications - A Step towards the Verification. Ershov Memorial Conference 2001: 64-78

Coauthor Index

1	Stefan Blom	[6] [8] [11] [15]
2	Dragan Bosnacki	[7]
3	Jens R. Calame	[9] [10] [12] [13] [14]
4	Thomas Deiß	[11] [15]
5	Wan Fokkink	[3]
6	Nicolae Goga	[12]
7	Ernst Kesseler	[3]
8	Ari Kontio	[11] [15]
9	Jaco van de Pol	[3] [8] [9] [10] [11] [12] [13] [14] [15]
10	Axel Rennoch	[8] [11] [15]
11	Natalia Sidorova	[1] [2] [4] [5] [6] [7] [8] [9] [11] [14] [15]
12	Martin Steffen	[2] [4] [5]
13	Yaroslav S. Usenko	[3]
14	Yuri A. Yushtein	[3]