| 2019 | MODELSWARD | Using Synchronizing Heuristics to Construct Homing Sequences. | Berk irisci, M. Yusa Emek, Ege Sorgu, Kamer Kaya, Hsn Yenign |
| 2018 | MODELSWARD | Using Structure of Automata for Faster Synchronizing Heuristics. | Berk irisci, Muhammed Kerem Kahraman, Cagri Uluc Yildirimoglu, Kamer Kaya, Hsn Yenign |
| 2018 | MODELSWARD | Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. | Berk irisci, Baris Sevilmis, Emre Yasin Sivri, Poyraz Kivan Karaam, Kamer Kaya, Hsn Yenign |
| 2016 | MODELSWARD | Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. | Natalia Kushik, Nina Yevtushenko, Hsn Yenign |
| 2016 | SAC | Reducing locating sequences for testing from finite state machines. | Guy-Vincent Jourdan, Hasan Ural, Hsn Yenign |
| 2016 | SAC | Some classes of finite state machines with polynomial length of distinguishing test cases. | Hsn Yenign, Nina Yevtushenko, Natalia Kushik |
| 2012 | COMPSAC | On Capturing Effects of Modifications as Data Dependencies. | Hasan Ural, Hsn Yenign |
| 2009 | SEFM | Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. | Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hsn Yenign |
| 2008 | SAC | Using adaptive distinguishing sequences in checking sequence constructions. | Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hsn Yenign |
| 2007 | FORTE | Recovering Repetitive Sub-functions from Observations. | Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hsn Yenign |
| 2006 | FORTE | Minimizing Coordination Channels in Distributed Testing. | Guy-Vincent Jourdan, Hasan Ural, Hsn Yenign |
| 2004 | FORTE | Towards Design Recovery from Observations. | Hasan Ural, Hsn Yenign |
| 2002 | CAV | Compressing Transitions for Model Checking. | Robert P. Kurshan, Vladimir Levin, Hsn Yenign |
| 2001 | CAV | SDLcheck: A Model Checking Tool. | Vladimir Levin, Hsn Yenign |
| 1998 | TACAS | Static Partial Order Reduction. | Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hsn Yenign |
| 1997 | ICCAD | Verifying hardware in its software context. | Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hsn Yenign |
| 1993 | FORTE | A recursive process algebra for queues. | Hsn Yenign, Esfandiar Haghverdi, S. Bilgen, Kemal Inan |