Nina Yevtushenko

2008
40	EE	Khaled El-Fakih, Nina Yevtushenko: Progressive Solutions to FSM Equations. CIAA 2008: 274-282
39	EE	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	EE	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	EE	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	EE	Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko: Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. TestCom/FATES 2007: 305-318
35	EE	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	EE	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	EE	Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko: FSM Test Translation Through Context. TestCom 2006: 245-258
32	EE	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	EE	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	EE	Alexandre Petrenko, Nina Yevtushenko: Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. FATES 2005: 118-133
29	EE	Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko: An Improved Conformance Testing Method. FORTE 2005: 204-218
28	EE	Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli: Experimental Evaluation of FSM-Based Testing Methods. SEFM 2005: 23-32
27	EE	Alexandre Petrenko, Nina Yevtushenko: Testing from Partial Deterministic FSM Specifications. IEEE Trans. Computers 54(9): 1154-1165 (2005)
2004
26	EE	Khaled El-Fakih, Nina Yevtushenko: Fault Propagation by Equation Solving. FORTE 2004: 185-198
25	EE	Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko: FSM Based Interoperability Testing Methods for Multi Stimuli Model. TestCom 2004: 60-75
24	EE	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	EE	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	EE	Nina Yevtushenko, Svetlana Zharikova, Maria Vetrova: Multi Component Digital Circuit Optimization by Solving FSM Equations. DSD 2003: 62-69
21	EE	Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Progressive Solutions to a Parallel Automata Equation. FORTE 2003: 367-382
20	EE	Alexandre Petrenko, Nina Yevtushenko, Jiale Huo: Testing Transition Systems with Input and Output Testers. TestCom 2003: 129-145
19	EE	Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann: Fault Diagnosis in Extended Finite State Machines. TestCom 2003: 197-210
18	EE	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	EE	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	EE	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]
10	Jiale Huo	[20]
11	Jie-Hong Roland Jiang	[31] [35]
12	Kamel Karoui	[5]
13	Anton Kolomeez	[39]
14	I. Koufareva	[10]
15	Alexandre Lebedev	[2]
16	Luiz A. Paula Lima Jr.	[6] [18]
17	Alan Mishchenko	[31] [35]
18	Alexandre Petrenko	[1] [2] [3] [4] [7] [8] [10] [12] [13] [17] [20] [23] [27] [30] [33] [38]
19	Svetlana Prokopenko	[11] [16] [19] [39]
20	Alberto L. Sangiovanni-Vincentelli	[13] [17] [23] [37] [38]
21	Natalia Shabaldina	[36]
22	Natalia Spitsyna	[25] [34]
23	Vadim Trenkaev	[25]
24	Maria Vetrova	[22]
25	Tiziano Villa	[13] [17] [23] [31] [35] [37] [38]
26	Svetlana Zharikova	[22] [37]