Items where Author is "Güniçen, Canan"

Article

Güniçen, Canan and İnan, Kemal and Türker, Uraz Cengiz and Yenigün, Hüsnü (2014) The relation between preset distinguishing sequences and synchronizing sequences. Formal Aspects of Computing, 26 (6). pp. 1153-1167. ISSN 0934-5043 (Print) 1433-299X (Online)

Papers in Conference Proceedings

Güniçen, Canan and Jourdan, Guy Vincent and Yenigün, Hüsnü (2015) Using multiple adaptive distinguishing sequences for checking sequence generation. In: 27th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), United Arab Emirates

Güniçen, Canan and İnan, Kemal and Türker, Uraz Cengiz and Yenigün, Hüsnü (2014) An improved upper bound for the length of preset distinguishing sequences of distinguished merging finite state machines. In: 29th International Symposium on Computer and Information Sciences (ISCIS 2014), Krakow, Poland

Güniçen, Canan and Türker, Uraz Cengiz and Ural, Hasan and Yenigün, Hüsnü (2011) Generating preset distinguishing sequences using SAT. In: 26th International Symposium on Computer and Information Sciences (ISCIS 2011), London, UK

Thesis

Güniçen, Canan (2015) Checking sequence construction using multiple adaptive distinguishing sequences. [Thesis]