Kemal Inan

According to our database, Kemal Inan authored at least 6 papers between 1992 and 2014.

Collaborative distances:

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

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

1999

Efficient checking sequences for testing finite state machines.

Kemal Inan, Hasan Ural

Inf. Softw. Technol., 1999

1995

On a class of timer hybrid systems reducible to finite state automata.

Kemal Inan

Discret. Event Dyn. Syst., 1995

1993

A recursive process algebra for queues.

Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, Kemal Inan

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

Verification by consecutive projections.

Esfandiar Haghverdi, Kemal Inan

Proceedings of the Formal Description Techniques, 1992