A recursive process algebra for queues. - Hüsnü Yenigün; Esfandiar Haghverdi; S. Bilgen; Kemal Inan (FORTE, 1993)

Verifying hardware in its software context. - Robert P. Kurshan; Vladimir Levin; Marius Minea; Doron A. Peled; Hüsnü Yenigün (ICCAD, 1997)

Static Partial Order Reduction. - Robert P. Kurshan; Vladimir Levin; Marius Minea; Doron A. Peled; Hüsnü Yenigün (TACAS, 1998)

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

SDLcheck: A Model Checking Tool. - Vladimir Levin; Hüsnü Yenigün (CAV, 2001)

Compressing Transitions for Model Checking. - Robert P. Kurshan; Vladimir Levin; Hüsnü Yenigün (CAV, 2002)

Combining Software and Hardware Verification Techniques. - Robert P. Kurshan; Vladimir Levin; Marius Minea; Doron A. Peled; Hüsnü Yenigün (Formal Methods Syst. Des., 2002)

Towards Design Recovery from Observations. - Hasan Ural; Hüsnü Yenigün (FORTE, 2004)

Recovering the Lattice of Repetitive Sub-functions. - Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün (ISCIS, 2005)

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

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

Minimizing Coordination Channels in Distributed Testing. - Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün (FORTE, 2006)

Using Distinguishing and UIO Sequences Together in a Checking Sequence. - M. Cihan Yalcin; Hüsnü Yenigün (TestCom, 2006)

Recovering Repetitive Sub-functions from Observations. - Guy-Vincent Jourdan; Hasan Ural; Shen Wang; Hüsnü Yenigün (FORTE, 2007)

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

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

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

Dependence Analysis for Regression Test Suite Selection and Augmentation. - Hasan Ural; Hüsnü Yenigün (ISCIS, 2010)

Lower bounds on lengths of checking sequences. - Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün; Ji Chao Zhang (Formal Aspects Comput., 2010)

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

On Capturing Effects of Modifications as Data Dependencies. - Hasan Ural; Hüsnü Yenigün (COMPSAC, 2012)

Solving a robust airline crew pairing problem with column generation. - Ibrahim Muter; S. Ilker Birbil; Kerem Bülbül; Güvenç Sahin; Hüsnü Yenigün; Duygu Tas; Dilek Tüzün (Comput. Oper. Res., 2013)

Generating Shortest Synchronizing Sequences using Answer Set Programming. - Canan Güniçen; Esra Erdem 001; Hüsnü Yenigün (CoRR, 2013)

Regression test suite selection using dependence analysis. - Hasan Ural; Hüsnü Yenigün (J. Softw. Evol. Process., 2013)

An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines. - Canan Güniçen; Kemal Inan; Uraz Cengiz Türker; Hüsnü Yenigün (ISCIS, 2014)

Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences. - Uraz Cengiz Türker; Tonguç Ünlüyurt; Hüsnü Yenigün (ICTSS, 2014)

The relation between preset distinguishing sequences and synchronizing sequences. - Canan Güniçen; Kemal Inan; Uraz Cengiz Türker; Hüsnü Yenigün (Formal Aspects Comput., 2014)

Hardness and inapproximability of minimizing adaptive distinguishing sequences. - Uraz Cengiz Türker; Hüsnü Yenigün (Formal Methods Syst. Des., 2014)

Identifying the effects of modifications as data dependencies. - Hüsnü Yenigün (Softw. Qual. J., 2014)

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation. - Canan Güniçen; Guy-Vincent Jourdan; Hüsnü Yenigün (ICTSS, 2015)

Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines. - Natalia Kushik; Hüsnü Yenigün (ICTSS, 2015)

Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata. - Uraz Cengiz Türker; Hüsnü Yenigün (Int. J. Found. Comput. Sci., 2015)

Reduced checking sequences using unreliable reset. - Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün (Inf. Process. Lett., 2015)

Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. - Natalia Kushik; Nina Yevtushenko 001; Hüsnü Yenigün (AMARETTO@MODELSWARD, 2016)

Parallelizing Heuristics for Generating Synchronizing Sequences. - Sertaç Karahoda; Osman Tufan Erenay; Kamer Kaya; Uraz Cengiz Türker; Hüsnü Yenigün (ICTSS, 2016)

Reducing locating sequences for testing from finite state machines. - Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün (SAC, 2016)

Some classes of finite state machines with polynomial length of distinguishing test cases. - Hüsnü Yenigün; Nina Yevtushenko 001; Natalia Kushik (SAC, 2016)

Effective algorithms for constructing minimum cost adaptive distinguishing sequences. - Uraz Cengiz Türker; Tonguç Ünlüyurt; Hüsnü Yenigün (Inf. Softw. Technol., 2016)

Recovering Representations of Systems with Repetitive Subfunctions from Observations. - Guy-Vincent Jourdan; Hüsnü Yenigün (J. Multiple Valued Log. Soft Comput., 2016)

Advances in test generation for testing software and systems - An introduction to selected papers from ICTSS 2013. - Hüsnü Yenigün; Cemal Yilmaz 001; Andreas Ulrich (Int. J. Softw. Tools Technol. Transf., 2016)

Decreasing the complexity of deriving test suites against nondeterministic finite state machines. - Hüsnü Yenigün; Natalia Kushik; Jorge López; Nina Yevtushenko 001; Ana R. Cavalli (EWDTS, 2017)

The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. - Hüsnü Yenigün; Nina Yevtushenko 001; Natalia Kushik (Inf. Process. Lett., 2017)

Using Structure of Automata for Faster Synchronizing Heuristics. - Berk Çirisci; Muhammed Kerem Kahraman; Cagri Uluc Yildirimoglu; Kamer Kaya; Hüsnü Yenigün (MODELSWARD, 2018)

Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. - Berk Çirisci; Baris Sevilmis; Emre Yasin Sivri; Poyraz Kivanç Karaçam; Kamer Kaya; Hüsnü Yenigün (MODELSWARD (Revised Selected Papers), 2018)

Optimally bipartitioning sparse matrices with reordering and parallelization. - Aras Mumcuyan; Baran Usta; Kamer Kaya; Hüsnü Yenigün (Concurr. Comput. Pract. Exp., 2018)

Synchronizing heuristics: Speeding up the fastest. - Sertaç Karahoda; Kamer Kaya; Hüsnü Yenigün (Expert Syst. Appl., 2018)

Using Synchronizing Heuristics to Construct Homing Sequences. - Berk Çirisci; M. Yusa Emek; Ege Sorguç; Kamer Kaya; Hüsnü Yenigün (MODELSWARD, 2019)

Guest Editorial: Special issue on Testing Software and Systems. - Hüsnü Yenigün; Nina Yevtushenko 001; Ana Rosa Cavalli (Softw. Qual. J., 2019)

Multicore and manycore parallelization of cheap synchronizing sequence heuristics. - Sertaç Karahoda; Osman Tufan Erenay; Kamer Kaya; Uraz Cengiz Türker; Hüsnü Yenigün (J. Parallel Distributed Comput., 2020)

Boosting expensive synchronizing heuristics. - N. Ege Saraç; Ömer Faruk Altun; Kamil Tolga Atam; Sertaç Karahoda; Kamer Kaya; Hüsnü Yenigün (Expert Syst. Appl., 2021)

Synchronizing billion-scale automata. - Mustafa Kemal Tas; Kamer Kaya; Hüsnü Yenigün (Inf. Sci., 2021)

Indoor Positioning System Based on Global Positioning System Signals with Down- and Up-Converters in 433 MHz ISM Band. - Abdulkadir Uzun; Firas Abdul Ghani; Amir Mohsen Ahmadi Najafabadi; Hüsnü Yenigün; Ibrahim Tekin (Sensors, 2021)

Special issue on High-Performance Computing Conference (BASARIM 2022). - Kamer Kaya; Cevat Sener; Hüsnü Yenigün (Concurr. Comput. Pract. Exp., 2023)

Distributed landmark labeling for social networks. - Arda Sener; Hüsnü Yenigün; Kamer Kaya (J. Parallel Distributed Comput., 2025)