Showing 1 - 17 results of 17 for search 'Kushik, Natalia G.', query time: 0.03s Refine Results
  1. 1
    Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs
    Get full text
    Book Chapter
  2. 2
    Adaptive homing is in P
    Get full text
    Article
  3. 3
    On the length of homing sequences for nondeterministic finite state machines
    Get full text
    Book Chapter
  4. 4
    Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability
    Get full text
    Article
  5. 5
    On using finite state machines for optimization and testing of SDN controllers
    Other Authors: “...Kushik, Natalia G....”
    Get full text
    Book Chapter
  6. 6
    On source code optimization for interpreted languages using state models
    Other Authors: “...Kushik, Natalia G....”
    Get full text
    Book Chapter
  7. 7
    The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs
    Other Authors: “...Kushik, Natalia G....”
    Get full text
    Article
  8. 8
    Some classes of finite state machines with polynomial length of distinguishing test cases
    Other Authors: “...Kushik, Natalia G....”
    Get full text
    Book Chapter
  9. 9
    Synchronizing sequences for effective network monitoring: an application to TCP
    Other Authors: “...Kushik, Natalia G....”
    Get full text
    Book Chapter
  10. 10
    Testing digital circuits: studying the increment of the number of states and estimating the fault coverage
    Other Authors: “...Kushik, Natalia G....”
    Get full text
    Book Chapter
  11. 11
    Improving protocol passive testing through "Gedanken" experiments with finite state machines
    Other Authors: “...Kushik, Natalia G....”
    Get full text
    Book Chapter
  12. 12
    Finite state models for evaluating quality of business for the over the top services
    Other Authors: “...Kushik, Natalia G....”
    Get full text
    Book Chapter
  13. 13
    Using Boolean relation determinization in digital circuit optimization
    Other Authors: “...Kushik, Natalia G....”
    Book Chapter
  14. 14
    Multimedia quality of experience
    Other Authors: “...Kushik, Natalia G....”
    Get full text
    Book Chapter
  15. 15
    Homing sequence derivation with quantified boolean satisfiability
    Other Authors: “...Kushik, Natalia G....”
    Book Chapter
  16. 16
    A TEFSM-based framework for QoE evaluation of OTT services
    Other Authors: “...Kushik, Natalia G....”
    Get full text
    Article
  17. 17
    Test derivation for the software defined networking platforms: novel fault models and test completeness
    Other Authors: “...Kushik, Natalia G....”
    Get full text
    Book Chapter
Search Tools: Get RSS Feed