BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Yenig=uuml=n:H=uuml=sn=uuml=

Facilitated 1 volumes:

ICTSS 2013Ed

Contributed to:

ICTSS 20142014
SEFM 20092009
SAC 20082008
TestCom 20062006
TestCom 20052005
CAV 20022002
CAV 20012001
TACAS 19981998

Wrote 8 papers:

ICTSS-2014-TurkerUY #adaptation #sequence
Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences (UCT, , 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.