Burcu Kulahcioglu

Using control network programming in teaching nondeterminism

Kostadin D. Kratchanov, Emilia Golemanova, Tzanko Golemanov, 2012, CompSysTech '12.

Utilization of Timed Automata as a Verification Tool for Security Protocols

Burcu Kulahcioglu, Ahmet Koltuksuz, Murat Ozkan, 2010, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion.

Modeling Efficient Multi-chained Stream Signature Protocol Using Communicating Sequential Processes

Burcu Kulahcioglu, Ahmet Koltuksuz, Murat Ozkan, 2010, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion.