Kemal Inan

Supervisory Control and Formal Methods for Distributed Systems

Kemal Inan, K. Inan, 1993 .

Efficient checking sequences for testing finite state machines

Hasan Ural, Kemal Inan, H. Ural, 1999, Inf. Softw. Technol..

Verification by consecutive projections

Esfandiar Haghverdi, Kemal Inan, 1992, FORTE.

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

Kemal Inan, K. Inan, 1995, Discret. Event Dyn. Syst..

Nondeterministic supervision under partial observations

Kemal Inan, 1994 .

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.

A recursive process algebra for queues

Hüsnü Yenigün, Esfandiar Haghverdi, Kemal Inan, 1993, FORTE.

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.