( en | de | ru )

 

Disambiguation of "Yenigün, Hüsnü"

Author of the publication

copydeleteadd this publication to your clipboard
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences.

, , , and . SEFM, page 157-166. IEEE Computer Society, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hüsnü Kerpicci

Hüsnü Sarim

Hüsnü Erkan

Hüsnü Berk

 

Other publications of authors with the same name

Generating Shortest Synchronizing Sequences using Answer Set Programming., , and . CoRR, (2013)Recovering Repetitive Sub-functions from Observations., , , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 35-49. Springer, (2007)Using Structure of Automata for Faster Synchronizing Heuristics., , , , and . MODELSWARD, page 544-551. SciTePress, (2018)Boosting expensive synchronizing heuristics., , , , , and . Expert Syst. Appl., (2021)Lower bounds on lengths of checking sequences., , , and . Formal Aspects Comput., 22 (6): 667-679 (2010)Static Partial Order Reduction., , , , and . TACAS, volume 1384 of Lecture Notes in Computer Science, page 345-357. Springer, (1998)SDLcheck: A Model Checking Tool., and . CAV, volume 2102 of Lecture Notes in Computer Science, page 377. Springer, (2001)Regression test suite selection using dependence analysis., and . Journal of Software: Evolution and Process, 25 (7): 681-709 (2013)Hardness and inapproximability of minimizing adaptive distinguishing sequences., and . Formal Methods Syst. Des., 44 (3): 264-294 (2014)Dependence Analysis for Regression Test Suite Selection and Augmentation., and . ISCIS, volume 62 of Lecture Notes in Electrical Engineering, page 143-148. Springer, (2010)