Hüsnü Yenigün

Available identifiers

zbMath Open yenigun.husnuMaRDI QIDQ479810

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4583881	2018-09-03	Paper
The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs	2017-08-16	Paper
The relation between preset distinguishing sequences and synchronizing sequences	2016-08-05	Paper
Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata	2015-05-19	Paper
Reduced checking sequences using unreliable reset	2015-04-02	Paper
Hardness and inapproximability of minimizing adaptive distinguishing sequences	2014-12-05	Paper
Lower bounds on lengths of checking sequences	2010-12-17	Paper
Dependence analysis for regression test suite selection and augmentation	2010-10-06	Paper
Minimizing Coordination Channels in Distributed Testing	2009-03-11	Paper
Recovering Repetitive Sub-functions from Observations	2009-03-10	Paper
Using Distinguishing and UIO Sequences Together in a Checking Sequence	2007-05-02	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
Combining software and hardware verification techniques	2003-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4804926	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4551168	2002-09-04	Paper

Research outcomes over time

This page was built for person: Hüsnü Yenigün