Nina Yevtushenko

	2009
43		Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko: Distinguing Non-deterministic Timed Finite State Machines. FMOODS/FORTE 2009: 137-151
42		Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko: Generating Reduced Tests for FSMs with Extra States. TestCom/FATES 2009: 129-145
41		Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal: Testing Timed Finite State Machines with Guaranteed Fault Coverage. TestCom/FATES 2009: 66-80
	2008
40		Khaled El-Fakih, Nina Yevtushenko: Progressive Solutions to FSM Equations. CIAA 2008: 274-282
39		Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko: Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. ICST 2008: 308-317
38		Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Compositionally Progressive Solutions of Synchronous FSM Equations. Discrete Event Dynamic Systems 18(1): 51-89 (2008)
	2007
37		Tiziano Villa, Svetlana Zharikova, Nina Yevtushenko, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A new algorithm for the largest compositionally progressive solution of synchronous language equations. ACM Great Lakes Symposium on VLSI 2007: 441-444
36		Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko: Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. TestCom/FATES 2007: 305-318
35		Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko: Efficient Solution of Language Equations Using Partitioned Representations CoRR abs/0710.4743: (2007)
34		Natalia Spitsyna, Khaled El-Fakih, Nina Yevtushenko: Studying the separability relation between finite state machines. Softw. Test., Verif. Reliab. 17(4): 227-241 (2007)
	2006
33		Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko: FSM Test Translation Through Context. TestCom 2006: 245-258
32		Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor von Bochmann: Progressive solutions to a parallel automata equation. Theor. Comput. Sci. 362(1-3): 17-32 (2006)
	2005
31		Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko: Efficient Solution of Language Equations Using Partitioned Representations. DATE 2005: 418-423
30		Alexandre Petrenko, Nina Yevtushenko: Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. FATES 2005: 118-133
29		Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko: An Improved Conformance Testing Method. FORTE 2005: 204-218
28		Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli: Experimental Evaluation of FSM-Based Testing Methods. SEFM 2005: 23-32
27		Alexandre Petrenko, Nina Yevtushenko: Testing from Partial Deterministic FSM Specifications. IEEE Trans. Computers 54(9): 1154-1165 (2005)
	2004
26		Khaled El-Fakih, Nina Yevtushenko: Fault Propagation by Equation Solving. FORTE 2004: 185-198
25		Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko: FSM Based Interoperability Testing Methods for Multi Stimuli Model. TestCom 2004: 60-75
24		Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: FSM-Based Incremental Conformance Testing Methods. IEEE Trans. Software Eng. 30(7): 425-436 (2004)
	2003
23		Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. DATE 2003: 11154-11155
22		Nina Yevtushenko, Svetlana Zharikova, Maria Vetrova: Multi Component Digital Circuit Optimization by Solving FSM Equations. DSD 2003: 62-69
21		Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Progressive Solutions to a Parallel Automata Equation. FORTE 2003: 367-382
20		Alexandre Petrenko, Nina Yevtushenko, Jiale Huo: Testing Transition Systems with Input and Output Testers. TestCom 2003: 129-145
19		Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann: Fault Diagnosis in Extended Finite State Machines. TestCom 2003: 197-210
18		Ricardo Anido, Ana R. Cavalli, Luiz A. Paula Lima Jr., Nina Yevtushenko: Test suite minimization for testing in context. Softw. Test., Verif. Reliab. 13(3): 141-155 (2003)
	2002
17		Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. IWLS 2002: 45-50
16		Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko: Fault Detection within a Component of a System of Communicating FSMs. TestCom 2002: 317-
15		Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: FSM-based Re-Testing Methods. TestCom 2002: 373-390
	2001
14		Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Diagnosing Multiple Faults in Communicating Finite State Machines. FORTE 2001: 85-100
13		Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Solution of Parallel Language Equations for Logic Synthesis. ICCAD 2001: 103-
	2000
12		Alexandre Petrenko, Nina Yevtushenko: On Test Derivation from Partial Specifications. FORTE 2000: 85-102
11		Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko: Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. TestCom 2000: 35-
	1999
10		I. Koufareva, Alexandre Petrenko, Nina Yevtushenko: Test Generation Driven by User-defined Fault Models. IWTCS 1999: 215-236
9		Nina Yevtushenko, Ana R. Cavalli, Ricardo Anido: Test Suite Minimization for Embedded Nondeterministic Finite State Machines. IWTCS 1999: 237-250
	1998
8		Alexandre Petrenko, Nina Yevtushenko: Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia Kluwer 1998
7		Alexandre Petrenko, Nina Yevtushenko: Solving Asynchronous Equations. FORTE 1998: 231-247
6		Nina Yevtushenko, Ana R. Cavalli, Luiz A. Paula Lima Jr.: Test Suite Minimization for Testing in Context. IWTCS 1998: 127-146
	1997
5		Kamel Karoui, Rachida Dssouli, Nina Yevtushenko: Design for testability of communication protocols based on SDL language. SDL Forum 1997: 151-
	1996
4		Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann: Fault Models for Testing in Context. FORTE 1996: 163-178
3		Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli: Testing in context: framework and test derivation. Computer Communications 19(14): 1236-1249 (1996)
	1993
2		Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das: Nondeterministic State Machines in Protocol Conformance Testing. Protocol Test Systems 1993: 363-378
	1992
1		Alexandre Petrenko, Nina Yevtushenko: Test Suite Generation from a FSM with a Given Type of Implementation Errors. PSTV 1992: 229-243

Coauthor Index

1	Ricardo Anido	[9] [18]
2	Gregor von Bochmann	[3] [4] [14] [15] [19] [21] [24] [32]
3	Robert K. Brayton	[13] [17] [23] [31] [35] [37] [38]
4	Sergey Buffalov	[21] [32]
5	Ana R. Cavalli	[6] [9] [11] [16] [18] [28]
6	Anindya Das	[2]
7	Rita Dorofeeva	[28] [29]
8	Rachida Dssouli	[3] [5]
9	Khaled El-Fakih	[14] [15] [19] [21] [24] [25] [26] [28] [29] [32] [33] [34] [36] [39] [40] [41] [43]
10	Hacène Fouchal	[41]
11	Maxim Gromov	[43]
12	Jiale Huo	[20]
13	Jie-Hong Roland Jiang	[31] [35]
14	Kamel Karoui	[5]
15	Anton Kolomeez	[39]
16	I. Koufareva	[10]
17	Alexandre Lebedev	[2]
18	Luiz A. Paula Lima Jr.	[6] [18]
19	Alan Mishchenko	[31] [35]
20	Alexandre Petrenko	[1] [2] [3] [4] [7] [8] [10] [12] [13] [17] [20] [23] [27] [30] [33] [38] [42]
21	Svetlana Prokopenko	[11] [16] [19] [39]
22	Alberto L. Sangiovanni-Vincentelli	[13] [17] [23] [37] [38]
23	Natalia Shabaldina	[36] [43]
24	Adenilso da Silva Simão	[42]
25	Natalia Spitsyna	[25] [34]
26	Vadim Trenkaev	[25]
27	Maria Vetrova	[22]
28	Tiziano Villa	[13] [17] [23] [31] [35] [37] [38]
29	Svetlana Zharikova	[22] [37]