Kemal Inan

Publication Activity (10 Years)

Years Active: 1992-2014
Publications (10 Years): 0

Top Topics

Error Probability

Finite State Machines

Arbitrary Length

Top Venues

Formal Aspects Comput.

Publications

Canan Güniçen, Kemal Inan, Uraz Cengiz Türker, Hüsnü Yenigün
The relation between preset distinguishing sequences and synchronizing sequences. Formal Aspects Comput. 26 (6) (2014)
Canan Güniçen, Kemal Inan, Uraz Cengiz Türker, Hüsnü Yenigün
An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines. ISCIS (2014)
Kemal Inan, Hasan Ural
Efficient checking sequences for testing finite state machines. Inf. Softw. Technol. 41 (11-12) (1999)
Kemal Inan
On a class of timer hybrid systems reducible to finite state automata. Discret. Event Dyn. Syst. 5 (1) (1995)
Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, Kemal Inan
A recursive process algebra for queues. FORTE (1993)
Esfandiar Haghverdi, Kemal Inan
Verification by consecutive projections. FORTE (1992)