Hüsnü Yenigün

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 Information Processing Letters	2017-08-16	Paper
The relation between preset distinguishing sequences and synchronizing sequences Formal Aspects of Computing	2016-08-05	Paper
Complexities of some problems related to synchronizing, non-synchronizing and monotonic automata International Journal of Foundations of Computer Science	2015-05-19	Paper
Reduced checking sequences using unreliable reset Information Processing Letters	2015-04-02	Paper
Hardness and inapproximability of minimizing adaptive distinguishing sequences Formal Methods in System Design	2014-12-05	Paper
Lower bounds on lengths of checking sequences Formal Aspects of Computing	2010-12-17	Paper
Dependence analysis for regression test suite selection and augmentation Lecture Notes in Electrical Engineering	2010-10-06	Paper
Minimizing Coordination Channels in Distributed Testing Lecture Notes in Computer Science	2009-03-11	Paper
Recovering Repetitive Sub-functions from Observations Lecture Notes in Computer Science	2009-03-10	Paper
Using Distinguishing and UIO Sequences Together in a Checking Sequence Lecture Notes in Computer Science	2007-05-02	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science	2005-08-18	Paper
Combining software and hardware verification techniques Formal Methods in System Design	2003-05-04	Paper
scientific article; zbMATH DE number 1903381 (Why is no real title available?)	2003-05-01	Paper
scientific article; zbMATH DE number 1796147 (Why is no real title available?)	2002-09-04	Paper

Research outcomes over time

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