Canan Güniçen

Generating Preset Distinguishing Sequences Using SAT

Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, 2011, ISCIS.

Checking sequence construction using multiple adaptive distinguishing sequences

Canan Güniçen, Canan Güniçen, 2015 .

An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines

Canan Güniçen, Uraz Cengiz Türker, Hüsnü Yenigün, 2014, ISCIS.

Generating Shortest Synchronizing Sequences using Answer Set Programming pdf

Canan Güniçen, Hüsnü Yenigün, Esra Erdem, 2013, ArXiv.

The relation between preset distinguishing sequences and synchronizing sequences

Canan Güniçen, Uraz Cengiz Türker, Hüsnü Yenigün, 2014, Formal Aspects of Computing.

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation

Canan Güniçen, Hüsnü Yenigün, Guy-Vincent Jourdan, 2015, ICTSS.