Hüsnü Yenigün

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 20

Top Topics

Finite State Machines

Sparse Matrices

Top Venues

Softw. Qual. J.

Concurr. Comput. Pract. Exp.

Publications

Kamer Kaya, Cevat Sener, Hüsnü Yenigün
Special issue on High-Performance Computing Conference (BASARIM 2022). Concurr. Comput. Pract. Exp. 35 (24) (2023)
Mustafa Kemal Tas, Kamer Kaya, Hüsnü Yenigün
Synchronizing billion-scale automata. Inf. Sci. 574 (2021)
N. Ege Saraç, Ömer Faruk Altun, Kamil Tolga Atam, Sertaç Karahoda, Kamer Kaya, Hüsnü Yenigün
Boosting expensive synchronizing heuristics. Expert Syst. Appl. 167 (2021)
Abdulkadir Uzun, Firas Abdul Ghani, Amir Mohsen Ahmadi Najafabadi, Hüsnü Yenigün, Ibrahim Tekin
Indoor Positioning System Based on Global Positioning System Signals with Down- and Up-Converters in 433 MHz ISM Band. Sensors 21 (13) (2021)
Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün
Multicore and manycore parallelization of cheap synchronizing sequence heuristics. J. Parallel Distributed Comput. 140 (2020)
Berk Çirisci, M. Yusa Emek, Ege Sorguç, Kamer Kaya, Hüsnü Yenigün
Using Synchronizing Heuristics to Construct Homing Sequences. MODELSWARD (2019)
Hüsnü Yenigün, Nina Yevtushenko, Ana Rosa Cavalli
Guest Editorial: Special issue on Testing Software and Systems. Softw. Qual. J. 27 (2) (2019)
Aras Mumcuyan, Baran Usta, Kamer Kaya, Hüsnü Yenigün
Optimally bipartitioning sparse matrices with reordering and parallelization. Concurr. Comput. Pract. Exp. 30 (21) (2018)
Berk Çirisci, Muhammed Kerem Kahraman, Cagri Uluc Yildirimoglu, Kamer Kaya, Hüsnü Yenigün
Using Structure of Automata for Faster Synchronizing Heuristics. MODELSWARD (2018)
Berk Çirisci, Baris Sevilmis, Emre Yasin Sivri, Poyraz Kivanç Karaçam, Kamer Kaya, Hüsnü Yenigün
Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. MODELSWARD (Revised Selected Papers) (2018)
Sertaç Karahoda, Kamer Kaya, Hüsnü Yenigün
Synchronizing heuristics: Speeding up the fastest. Expert Syst. Appl. 94 (2018)
Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik
The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. Inf. Process. Lett. 127 (2017)
Hüsnü Yenigün, Natalia Kushik, Jorge López, Nina Yevtushenko, Ana R. Cavalli
Decreasing the complexity of deriving test suites against nondeterministic finite state machines. EWDTS (2017)
Uraz Cengiz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün
Effective algorithms for constructing minimum cost adaptive distinguishing sequences. Inf. Softw. Technol. 74 (2016)
Guy-Vincent Jourdan, Hüsnü Yenigün
Recovering Representations of Systems with Repetitive Subfunctions from Observations. J. Multiple Valued Log. Soft Comput. 27 (2-3) (2016)
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
Reducing locating sequences for testing from finite state machines. SAC (2016)
Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich
Advances in test generation for testing software and systems - An introduction to selected papers from ICTSS 2013. Int. J. Softw. Tools Technol. Transf. 18 (3) (2016)
Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün
Parallelizing Heuristics for Generating Synchronizing Sequences. ICTSS (2016)
Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik
Some classes of finite state machines with polynomial length of distinguishing test cases. SAC (2016)
Natalia Kushik, Nina Yevtushenko, Hüsnü Yenigün
Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. AMARETTO@MODELSWARD (2016)
Uraz Cengiz Türker, Hüsnü Yenigün
Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata. Int. J. Found. Comput. Sci. 26 (1) (2015)
Natalia Kushik, Hüsnü Yenigün
Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines. ICTSS (2015)
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
Reduced checking sequences using unreliable reset. Inf. Process. Lett. 115 (5) (2015)
Canan Güniçen, Guy-Vincent Jourdan, Hüsnü Yenigün
Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation. ICTSS (2015)
Uraz Cengiz Türker, Hüsnü Yenigün
Hardness and inapproximability of minimizing adaptive distinguishing sequences. Formal Methods Syst. Des. 44 (3) (2014)
Hüsnü Yenigün
Identifying the effects of modifications as data dependencies. Softw. Qual. J. 22 (4) (2014)
Canan Güniçen, Kemal Inan, Uraz Cengiz Türker, Hüsnü Yenigün
The relation between preset distinguishing sequences and synchronizing sequences. Formal Aspects Comput. 26 (6) (2014)
Uraz Cengiz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün
Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences. ICTSS (2014)
Canan Güniçen, Kemal Inan, Uraz Cengiz Türker, Hüsnü Yenigün
An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines. ISCIS (2014)
Hasan Ural, Hüsnü Yenigün
Regression test suite selection using dependence analysis. J. Softw. Evol. Process. 25 (7) (2013)
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. Comput. Oper. Res. 40 (3) (2013)
Canan Güniçen, Esra Erdem, Hüsnü Yenigün
Generating Shortest Synchronizing Sequences using Answer Set Programming. CoRR (2013)
Hasan Ural, Hüsnü Yenigün
On Capturing Effects of Modifications as Data Dependencies. COMPSAC (2012)
Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, Hüsnü Yenigün
Generating Preset Distinguishing Sequences Using SAT. ISCIS (2011)
Hasan Ural, Hüsnü Yenigün
Dependence Analysis for Regression Test Suite Selection and Augmentation. ISCIS (2010)
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang
Lower bounds on lengths of checking sequences. Formal Aspects Comput. 22 (6) (2010)
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Dong Zhu
Using a SAT solver to generate checking sequences. ISCIS (2009)
Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. SEFM (2009)
Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
Using adaptive distinguishing sequences in checking sequence constructions. SAC (2008)
Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün
Recovering Repetitive Sub-functions from Observations. FORTE (2007)
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
Minimizing Coordination Channels in Distributed Testing. FORTE (2006)
M. Cihan Yalcin, Hüsnü Yenigün
Using Distinguishing and UIO Sequences Together in a Checking Sequence. TestCom (2006)
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
Recovering the Lattice of Repetitive Sub-functions. ISCIS (2005)
K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün
Generalizing Redundancy Elimination in Checking Sequences. ISCIS (2005)
Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün
Eliminating Redundant Tests in a Checking Sequence. TestCom (2005)
Hasan Ural, Hüsnü Yenigün
Towards Design Recovery from Observations. FORTE (2004)
Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün
Compressing Transitions for Model Checking. CAV (2002)
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
Combining Software and Hardware Verification Techniques. Formal Methods Syst. Des. 21 (3) (2002)
Vladimir Levin, Hüsnü Yenigün
SDLcheck: A Model Checking Tool. CAV (2001)
Hüsnü Yenigün, Vladimir Levin, Doron A. Peled, Peter A. Beerel
Hazard-Freedom Checking in Speed-Independent Systems. CHARME (1999)
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
Static Partial Order Reduction. TACAS (1998)
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
Verifying hardware in its software context. ICCAD (1997)
Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, Kemal Inan
A recursive process algebra for queues. FORTE (1993)