Canan Güniçen

According to our database, Canan Güniçen authored at least 5 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation.

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

Proceedings of the Testing Software and Systems, 2015

2014

The relation between preset distinguishing sequences and synchronizing sequences.

Canan Güniçen, Kemal Inan, Uraz Cengiz Türker, Hüsnü Yenigün

Formal Aspects Comput., 2014

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

Canan Güniçen, Kemal Inan, Uraz Cengiz Türker, Hüsnü Yenigün

Proceedings of the Information Sciences and Systems 2014, 2014

2013

Generating Shortest Synchronizing Sequences using Answer Set Programming.

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

CoRR, 2013

2011

Generating Preset Distinguishing Sequences Using SAT.

Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, Hüsnü Yenigün

Proceedings of the Computer and Information Sciences II, 2011