The following pages link to Hüsnü Yenigün (Q479810):
Displayed 15 items.
- Hardness and inapproximability of minimizing adaptive distinguishing sequences (Q479811) (← links)
- Lower bounds on lengths of checking sequences (Q613138) (← links)
- The relation between preset distinguishing sequences and synchronizing sequences (Q736851) (← links)
- Combining software and hardware verification techniques (Q1871861) (← links)
- Reduced checking sequences using unreliable reset (Q2339596) (← links)
- The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs (Q2398505) (← links)
- Using Distinguishing and UIO Sequences Together in a Checking Sequence (Q3434663) (← links)
- Minimizing Coordination Channels in Distributed Testing (Q3613091) (← links)
- Recovering Repetitive Sub-functions from Observations (Q3614836) (← links)
- (Q4551168) (← links)
- (Q4583881) (← links)
- (Q4804926) (← links)
- Dependence Analysis for Regression Test Suite Selection and Augmentation (Q4932679) (← links)
- Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata (Q5250279) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464485) (← links)