Hüsnü Yenigün

zbMath Openyenigun.husnuMaRDI QIDQ479810

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Recovering representations of systems with repetitive subfunctions from observations	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