The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nina Yevtushenko: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Alexandre Petrenko, Nina Yevtushenko
    Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. [Citation Graph (0, 0)][DBLP]
    FATES, 2005, pp:118-133 [Conf]
  5. 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]
  6. Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko
    An Improved Conformance Testing Method. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:204-218 [Conf]
  7. Khaled El-Fakih, Nina Yevtushenko
    Fault Propagation by Equation Solving. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:185-198 [Conf]
  8. 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]
  9. Alexandre Petrenko, Nina Yevtushenko
    On Test Derivation from Partial Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:85-102 [Conf]
  10. Alexandre Petrenko, Nina Yevtushenko
    Solving Asynchronous Equations. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:231-247 [Conf]
  11. Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann
    Fault Models for Testing in Context. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:163-178 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko
    FSM Test Translation Through Context. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:245-258 [Conf]
  17. 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]
  18. 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]
  19. Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
    FSM-based Re-Testing Methods. [Citation Graph (0, 0)][DBLP]
    TestCom, 2002, pp:373-390 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]

  36. Distinguing Non-deterministic Timed Finite State Machines. [Citation Graph (, )][DBLP]


  37. Generating Reduced Tests for FSMs with Extra States. [Citation Graph (, )][DBLP]


  38. Testing Timed Finite State Machines with Guaranteed Fault Coverage. [Citation Graph (, )][DBLP]


  39. Progressive Solutions to FSM Equations. [Citation Graph (, )][DBLP]


  40. Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. [Citation Graph (, )][DBLP]


  41. Discussion on Supervisory Control by Solving Automata Equation [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002