Travelled to:1 × Brazil
1 × Canada
1 × Denmark
1 × France
1 × Portugal
1 × Spain
1 × USA
1 × Vietnam
Collaborated with:V.Levin R.M.Hierons H.Ural R.P.Kurshan G.Jourdan M.C.Yalcin U.C.Türker T.Ünlüyurt J.Chen M.Minea D.Peled
Talks about:sequenc (8) check (6) distinguish (4) adapt (3) use (3) construct (2) model (2) lookahead (1) compress (1) approach (1)
Person: Hüsnü Yenigün
DBLP: Yenig=uuml=n:H=uuml=sn=uuml=
Facilitated 1 volumes:
EdContributed to:
2014
2009
200820062005
20022001
1998Wrote 8 papers:
- ICTSS-2014-TurkerUY #adaptation #sequence
- Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences (UCT, TÜ, HY), pp. 32–47.
- SEFM-2009-HieronsJUY #adaptation #sequence #using
- Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences (RMH, GVJ, HU, HY), pp. 157–166.
- SAC-2008-HieronsJUY #adaptation #sequence #using
- Using adaptive distinguishing sequences in checking sequence constructions (RMH, GVJ, HU, HY), pp. 682–687.
- TestCom-2006-YalcinY #sequence #using
- Using Distinguishing and UIO Sequences Together in a Checking Sequence (MCY, HY), pp. 259–273.
- TestCom-2005-ChenHUY #sequence #testing
- Eliminating Redundant Tests in a Checking Sequence (JC, RMH, HU, HY), pp. 146–158.
- CAV-2002-KurshanLY #model checking
- Compressing Transitions for Model Checking (RPK, VL, HY), pp. 569–581.
- CAV-2001-LevinY #model checking #named
- SDLcheck: A Model Checking Tool (VL, HY), p. 377.
- TACAS-1998-KurshanLMPY #partial order #reduction
- Static Partial Order Reduction (RPK, VL, MM, DP, HY), pp. 345–357.