( en | de | ru )

 

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

Author of the publication

copydeleteadd this publication to your clipboard
Combining Software and Hardware Verification Techniques.

, , , , and . Formal Methods Syst. Des., 21 (3): 251-280 (2002)

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

Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines., and . ICTSS, volume 9447 of Lecture Notes in Computer Science, page 243-248. Springer, (2015)Towards Design Recovery from Observations., and . FORTE, volume 3235 of Lecture Notes in Computer Science, page 133-149. Springer, (2004)Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs., , and . AMARETTO@MODELSWARD, page 83-90. SciTePress, (2016)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)Dependence Analysis for Regression Test Suite Selection and Augmentation., and . ISCIS, volume 62 of Lecture Notes in Electrical Engineering, page 143-148. Springer, (2010)Verifying hardware in its software context., , , , and . ICCAD, page 742-749. IEEE Computer Society / ACM, (1997)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)