|
Search the dblp DataBase
Nina Yevtushenko:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko
Efficient Solution of Language Equations Using Partitioned Representations. [Citation Graph (0, 0)][DBLP] DATE, 2005, pp:418-423 [Conf]
- Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. [Citation Graph (0, 0)][DBLP] DATE, 2003, pp:11154-11155 [Conf]
- Nina Yevtushenko, Svetlana Zharikova, Maria Vetrova
Multi Component Digital Circuit Optimization by Solving FSM Equations. [Citation Graph (0, 0)][DBLP] DSD, 2003, pp:62-69 [Conf]
- Alexandre Petrenko, Nina Yevtushenko
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. [Citation Graph (0, 0)][DBLP] FATES, 2005, pp:118-133 [Conf]
- Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
Progressive Solutions to a Parallel Automata Equation. [Citation Graph (0, 0)][DBLP] FORTE, 2003, pp:367-382 [Conf]
- Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko
An Improved Conformance Testing Method. [Citation Graph (0, 0)][DBLP] FORTE, 2005, pp:204-218 [Conf]
- Khaled El-Fakih, Nina Yevtushenko
Fault Propagation by Equation Solving. [Citation Graph (0, 0)][DBLP] FORTE, 2004, pp:185-198 [Conf]
- Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
Diagnosing Multiple Faults in Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP] FORTE, 2001, pp:85-100 [Conf]
- Alexandre Petrenko, Nina Yevtushenko
On Test Derivation from Partial Specifications. [Citation Graph (0, 0)][DBLP] FORTE, 2000, pp:85-102 [Conf]
- Alexandre Petrenko, Nina Yevtushenko
Solving Asynchronous Equations. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:231-247 [Conf]
- Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann
Fault Models for Testing in Context. [Citation Graph (0, 0)][DBLP] FORTE, 1996, pp:163-178 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ACM Great Lakes Symposium on VLSI, 2007, pp:441-444 [Conf]
- Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
Solution of Parallel Language Equations for Logic Synthesis. [Citation Graph (0, 0)][DBLP] ICCAD, 2001, pp:103-0 [Conf]
- Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. [Citation Graph (0, 0)][DBLP] IWLS, 2002, pp:45-50 [Conf]
- Alexandre Petrenko, Nina Yevtushenko
Test Suite Generation from a FSM with a Given Type of Implementation Errors. [Citation Graph (0, 0)][DBLP] PSTV, 1992, pp:229-243 [Conf]
- Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko
FSM Test Translation Through Context. [Citation Graph (0, 0)][DBLP] TestCom, 2006, pp:245-258 [Conf]
- Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann
Fault Diagnosis in Extended Finite State Machines. [Citation Graph (0, 0)][DBLP] TestCom, 2003, pp:197-210 [Conf]
- Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko
FSM Based Interoperability Testing Methods for Multi Stimuli Model. [Citation Graph (0, 0)][DBLP] TestCom, 2004, pp:60-75 [Conf]
- Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
FSM-based Re-Testing Methods. [Citation Graph (0, 0)][DBLP] TestCom, 2002, pp:373-390 [Conf]
- Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. [Citation Graph (0, 0)][DBLP] TestCom, 2000, pp:35-0 [Conf]
- Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko
Fault Detection within a Component of a System of Communicating FSMs. [Citation Graph (0, 0)][DBLP] TestCom, 2002, pp:317-0 [Conf]
- I. Koufareva, Alexandre Petrenko, Nina Yevtushenko
Test Generation Driven by User-defined Fault Models. [Citation Graph (0, 0)][DBLP] IWTCS, 1999, pp:215-236 [Conf]
- Alexandre Petrenko, Nina Yevtushenko, Jiale Huo
Testing Transition Systems with Input and Output Testers. [Citation Graph (0, 0)][DBLP] TestCom, 2003, pp:129-145 [Conf]
- Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das
Nondeterministic State Machines in Protocol Conformance Testing. [Citation Graph (0, 0)][DBLP] Protocol Test Systems, 1993, pp:363-378 [Conf]
- Nina Yevtushenko, Ana R. Cavalli, Ricardo Anido
Test Suite Minimization for Embedded Nondeterministic Finite State Machines. [Citation Graph (0, 0)][DBLP] IWTCS, 1999, pp:237-250 [Conf]
- Nina Yevtushenko, Ana R. Cavalli, Luiz A. Paula Lima Jr.
Test Suite Minimization for Testing in Context. [Citation Graph (0, 0)][DBLP] IWTCS, 1998, pp:127-146 [Conf]
- Kamel Karoui, Rachida Dssouli, Nina Yevtushenko
Design for testability of communication protocols based on SDL language. [Citation Graph (0, 0)][DBLP] SDL Forum, 1997, pp:151-0 [Conf]
- Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli
Experimental Evaluation of FSM-Based Testing Methods. [Citation Graph (0, 0)][DBLP] SEFM, 2005, pp:23-32 [Conf]
- Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli
Testing in context: framework and test derivation. [Citation Graph (0, 0)][DBLP] Computer Communications, 1996, v:19, n:14, pp:1236-1249 [Journal]
- Ricardo Anido, Ana R. Cavalli, Luiz A. Paula Lima Jr., Nina Yevtushenko
Test suite minimization for testing in context. [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 2003, v:13, n:3, pp:141-155 [Journal]
- Alexandre Petrenko, Nina Yevtushenko
Testing from Partial Deterministic FSM Specifications. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 2005, v:54, n:9, pp:1154-1165 [Journal]
- Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor von Bochmann
Progressive solutions to a parallel automata equation. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:362, n:1-3, pp:17-32 [Journal]
- Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
FSM-Based Incremental Conformance Testing Methods. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2004, v:30, n:7, pp:425-436 [Journal]
- Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. [Citation Graph (0, 0)][DBLP] TestCom/FATES, 2007, pp:305-318 [Conf]
- Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko
Efficient Solution of Language Equations Using Partitioned Representations [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
Distinguing Non-deterministic Timed Finite State Machines. [Citation Graph (, )][DBLP]
Generating Reduced Tests for FSMs with Extra States. [Citation Graph (, )][DBLP]
Testing Timed Finite State Machines with Guaranteed Fault Coverage. [Citation Graph (, )][DBLP]
Progressive Solutions to FSM Equations. [Citation Graph (, )][DBLP]
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. [Citation Graph (, )][DBLP]
Discussion on Supervisory Control by Solving Automata Equation [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.330secs
|