Hüsnü Yenigün

Ibrahim Muter, S. Ilker Birbil, Kerem Bülbül, Güvenç Sahin, Hüsnü Yenigün, Duygu Tas, Dilek Tüzün: Solving a robust airline crew pairing problem with column generation. Computers & OR 40(3): 815-830 (2013)

Hasan Ural, Hüsnü Yenigün: On Capturing Effects of Modifications as Data Dependencies. COMPSAC 2012: 350-351

Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, Hüsnü Yenigün: Generating Preset Distinguishing Sequences Using SAT. ISCIS 2011: 487-493

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang: Lower bounds on lengths of checking sequences. Formal Asp. Comput. 22(6): 667-679 (2010)

Hasan Ural, Hüsnü Yenigün: Dependence Analysis for Regression Test Suite Selection and Augmentation. ISCIS 2010: 143-148

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Dong Zhu: Using a SAT solver to generate checking sequences. ISCIS 2009: 549-554

Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. SEFM 2009: 157-166

Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Using adaptive distinguishing sequences in checking sequence constructions. SAC 2008: 682-687

John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün (Eds.): Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science 5160, Springer 2008, isbn 978-3-540-85761-7

Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün: Recovering Repetitive Sub-functions from Observations. FORTE 2007: 35-49

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Minimizing Coordination Channels in Distributed Testing. FORTE 2006: 451-466

M. Cihan Yalcin, Hüsnü Yenigün: Using Distinguishing and UIO Sequences Together in a Checking Sequence. TestCom 2006: 259-273

Albert Levi, Erkay Savas, Hüsnü Yenigün, Selim Balcisoy, Yücel Saygin (Eds.): Computer and Information Sciences - ISCIS 2006, 21th International Symposium, Istanbul, Turkey, November 1-3, 2006, Proceedings. Lecture Notes in Computer Science 4263, Springer 2006, isbn 3-540-47242-8

K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün: Generalizing Redundancy Elimination in Checking Sequences. ISCIS 2005: 915-926

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Recovering the Lattice of Repetitive Sub-functions. ISCIS 2005: 956-965

Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün: Eliminating Redundant Tests in a Checking Sequence. TestCom 2005: 146-158

Hasan Ural, Hüsnü Yenigün: Towards Design Recovery from Observations. FORTE 2004: 133-149

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Combining Software and Hardware Verification Techniques. Formal Methods in System Design 21(3): 251-280 (2002)

Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün: Compressing Transitions for Model Checking. CAV 2002: 569-581

Vladimir Levin, Hüsnü Yenigün: SDLcheck: A Model Checking Tool. CAV 2001: 377

Hüsnü Yenigün, Vladimir Levin, Doron Peled, Peter A. Beerel: Hazard-Freedom Checking in Speed-Independent Systems. CHARME 1999: 317-320

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749

Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, K. Inan: A recursive process algebra for queues. FORTE 1993: 285-300