Hüsnü Yenigün

According to our database, Hüsnü Yenigün authored at least 53 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Special issue on High-Performance Computing Conference (BASARIM 2022).

Kamer Kaya, Cevat Sener, Hüsnü Yenigün

Concurr. Comput. Pract. Exp., 2023

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

Synchronizing billion-scale automata.

Mustafa Kemal Tas, Kamer Kaya, Hüsnü Yenigün

Inf. Sci., 2021

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

2020

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

2019

Guest Editorial: Special issue on Testing Software and Systems.

Hüsnü Yenigün, Nina Yevtushenko, Ana Rosa Cavalli

Softw. Qual. J., 2019

Using Synchronizing Heuristics to Construct Homing Sequences.

Berk Çirisci, M. Yusa Emek, Ege Sorguç, Kamer Kaya, Hüsnü Yenigün

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

2018

Synchronizing heuristics: Speeding up the fastest.

Sertaç Karahoda, Kamer Kaya, Hüsnü Yenigün

Expert Syst. Appl., 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 for Weakly Connected Automata with Various Topologies.

Berk Çirisci, Baris Sevilmis, Emre Yasin Sivri, Poyraz Kivanç Karaçam, Kamer Kaya, Hüsnü Yenigün

Proceedings of the Model-Driven Engineering and Software Development, 2018

Using Structure of Automata for Faster Synchronizing Heuristics.

Berk Çirisci, Muhammed Kerem Kahraman, Cagri Uluc Yildirimoglu, Kamer Kaya, Hüsnü Yenigün

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

2017

The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs.

Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik

Inf. Process. Lett., 2017

Decreasing the complexity of deriving test suites against nondeterministic finite state machines.

Hüsnü Yenigün, Natalia Kushik, Jorge López, Nina Yevtushenko, Ana R. Cavalli

Proceedings of the 2017 IEEE East-West Design & Test Symposium, 2017

2016

Advances in test generation for testing software and systems - An introduction to selected papers from ICTSS 2013.

Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich

Int. J. Softw. Tools Technol. Transf., 2016

Recovering Representations of Systems with Repetitive Subfunctions from Observations.

Guy-Vincent Jourdan, Hüsnü Yenigün

J. Multiple Valued Log. Soft Comput., 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

Some classes of finite state machines with polynomial length of distinguishing test cases.

Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Reducing locating sequences for testing from finite state machines.

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Parallelizing Heuristics for Generating Synchronizing Sequences.

Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün

Proceedings of the Testing Software and Systems, 2016

Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs.

Natalia Kushik, Nina Yevtushenko, Hüsnü Yenigün

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, 2016

2015

Reduced checking sequences using unreliable reset.

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün

Inf. Process. Lett., 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

Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines.

Natalia Kushik, Hüsnü Yenigün

Proceedings of the Testing Software and Systems, 2015

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation.

Canan Güniçen, Guy-Vincent Jourdan, Hüsnü Yenigün

Proceedings of the Testing Software and Systems, 2015

2014

Identifying the effects of modifications as data dependencies.

Hüsnü Yenigün

Softw. Qual. J., 2014

Hardness and inapproximability of minimizing adaptive distinguishing sequences.

Uraz Cengiz Türker, Hüsnü Yenigün

Formal Methods Syst. Des., 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

Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences.

Uraz Cengiz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün

Proceedings of the Testing Software and Systems, 2014

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

Proceedings of the Information Sciences and Systems 2014, 2014

2013

Regression test suite selection using dependence analysis.

Hasan Ural, Hüsnü Yenigün

J. Softw. Evol. Process., 2013

Generating Shortest Synchronizing Sequences using Answer Set Programming.

Canan Güniçen, Esra Erdem, Hüsnü Yenigün

CoRR, 2013

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

2012

On Capturing Effects of Modifications as Data Dependencies.

Hasan Ural, Hüsnü Yenigün

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011

Generating Preset Distinguishing Sequences Using SAT.

Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, Hüsnü Yenigün

Proceedings of the Computer and Information Sciences II, 2011

2010

Lower bounds on lengths of checking sequences.

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang

Formal Aspects Comput., 2010

Dependence Analysis for Regression Test Suite Selection and Augmentation.

Hasan Ural, Hüsnü Yenigün

Proceedings of the Computer and Information Sciences, 2010

2009

Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences.

Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Using a SAT solver to generate checking sequences.

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Dong Zhu

Proceedings of the 24th International Symposium on Computer and Information Sciences, 2009

2008

Using adaptive distinguishing sequences in checking sequence constructions.

Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

Recovering Repetitive Sub-functions from Observations.

Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Using Distinguishing and UIO Sequences Together in a Checking Sequence.

M. Cihan Yalcin, Hüsnü Yenigün

Proceedings of the Testing of Communicating Systems, 2006

Minimizing Coordination Channels in Distributed Testing.

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Eliminating Redundant Tests in a Checking Sequence.

Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün

Proceedings of the Testing of Communicating Systems, 2005

Generalizing Redundancy Elimination in Checking Sequences.

K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün

Proceedings of the Computer and Information Sciences, 2005

Recovering the Lattice of Repetitive Sub-functions.

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün

Proceedings of the Computer and Information Sciences, 2005

2004

Towards Design Recovery from Observations.

Hasan Ural, Hüsnü Yenigün

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

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

Compressing Transitions for Model Checking.

Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

SDLcheck: A Model Checking Tool.

Vladimir Levin, Hüsnü Yenigün

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1999

Hazard-Freedom Checking in Speed-Independent Systems.

Hüsnü Yenigün, Vladimir Levin, Doron A. Peled, Peter A. Beerel

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Static Partial Order Reduction.

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997

Verifying hardware in its software context.

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

1993

A recursive process algebra for queues.

Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, Kemal Inan

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993