Hüsnü Yenigün

发表

Generating Preset Distinguishing Sequences Using SAT

Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, 2011, ISCIS.

Verifying hardware in its software context

Doron A. Peled, Hüsnü Yenigün, Robert P. Kurshan, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

2-D localization and identification based on SAW ID-tags at 2.5 GHz

Hüsnü Yenigün, T. F. Bechteler, Hüsnü Yenigün, 2003 .

Using Synchronizing Heuristics to Construct Homing Sequences.

Hüsnü Yenigün, Berk Çirisci, M. Yusa Emek, 2019, MODELSWARD 2019.

Using a SAT solver to generate checking sequences

Hasan Ural, Hüsnü Yenigün, Dong Zhu, 2009, 2009 24th International Symposium on Computer and Information Sciences.

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

Nina Yevtushenko, Hüsnü Yenigün, Natalia Kushik, 2017, Inf. Process. Lett..

Using adaptive distinguishing sequences in checking sequence constructions

Robert M. Hierons, Hasan Ural, Hüsnü Yenigün, 2008, SAC '08.

Effective algorithms for constructing minimum cost adaptive distinguishing sequences

Uraz Cengiz Türker, Hüsnü Yenigün, Tonguç Ünlüyurt, 2016, Inf. Softw. Technol..

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

Nina Yevtushenko, Hüsnü Yenigün, Natalia Kushik, 2016, SAC.

Computer and Information Sciences - ISCIS 2006: 21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings (Lecture Notes in Computer Science)

Yucel Saygin, Hüsnü Yenigün, Albert Levi, 2007 .

Using Synchronizing Heuristics to Construct Homing Sequences

Hüsnü Yenigün, Berk Çirisci, M. Yusa Emek, 2019, MODELSWARD.

Recovering Repetitive Sub-functions from Observations

Hasan Ural, Hüsnü Yenigün, Shen Wang, 2007, FORTE.

Multicore and manycore parallelization of cheap synchronizing sequence heuristics

Uraz Cengiz Türker, Hüsnü Yenigün, Kamer Kaya, 2020, J. Parallel Distributed Comput..

Hazard-Freedom Checking in Speed-Independent Systems

Peter A. Beerel, Doron A. Peled, Hüsnü Yenigün, 1999, CHARME.

Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata

Uraz Cengiz Türker, Hüsnü Yenigün, Hüsnü Yenigün, 2015, Int. J. Found. Comput. Sci..

Compressing Transitions for Model Checking

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

Reducing locating sequences for testing from finite state machines

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

Guest Editorial: Special issue on Testing Software and Systems

Ana R. Cavalli, Nina Yevtushenko, Hüsnü Yenigün, 2019, Software Quality Journal.

Optimally bipartitioning sparse matrices with reordering and parallelization

Hüsnü Yenigün, Baran Usta, Kamer Kaya, 2018, Concurr. Comput. Pract. Exp..

Column generation approaches to a robust airline crew pairing model for managing extra flights

Kerem Bülbül, Hüsnü Yenigün, Elvin Coban, 2009 .

Advances in test generation for testing software and systems

Hüsnü Yenigün, Andreas Ulrich, Cemal Yilmaz, 2015, International Journal on Software Tools for Technology Transfer.

Testing Software and Systems

Hüsnü Yenigün, Andreas Ulrich, Cemal Yilmaz, 2015, Lecture Notes in Computer Science.

Combining Software and Hardware Verification Techniques

Doron A. Peled, Hüsnü Yenigün, Robert P. Kurshan, 2002, Formal Methods Syst. Des..

Recovering Representations of Systems with Repetitive Subfunctions from Observations

Hüsnü Yenigün, Guy-Vincent Jourdan, 2016, J. Multiple Valued Log. Soft Comput..

Recovering the Lattice of Repetitive Sub-functions

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

Generalizing Redundancy Elimination in Checking Sequences

Hasan Ural, Hüsnü Yenigün, K. Tuncay Tekle, 2005, ISCIS.

Parallelizing Heuristics for Generating Synchronizing Sequences

Uraz Cengiz Türker, Hüsnü Yenigün, Kamer Kaya, 2016, ICTSS.

SDLcheck: A Model Checking Tool

Hüsnü Yenigün, Vladimir Levin, 2001, CAV.

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

Nina Yevtushenko, Hüsnü Yenigün, Natalia Kushik, 2016, AMARETTO@MODELSWARD.

Regression test suite selection using dependence analysis

Hasan Ural, Hüsnü Yenigün, H. Ural, 2013, J. Softw. Evol. Process..

Testing software and systems - 29th IFIP WG 6.1 International Conference (ICTSS 2017)

Nina Yevtushenko, Hüsnü Yenigün, Ana Cavalli, 2017 .

Proceedings of computer and information sciences - ISCIS 2006

Hüsnü Yenigün, Albert Levi, Yucel Saygin, 2006 .

Computer and Information Sciences - ISCIS 2006, 21th International Symposium, Istanbul, Turkey, November 1-3, 2006, Proceedings

Yucel Saygin, Hüsnü Yenigün, Albert Levi, 2006, ISCIS.

Verifying hardware in its software context

Hüsnü Yenigün, Robert P. Kurshan, Marius Minea, 1997, ICCAD 1997.

Boosting expensive synchronizing heuristics

Hüsnü Yenigün, Kamer Kaya, Sertaç Karahoda, 2020, Expert Syst. Appl..

Testing Software and Systems

Nina Yevtushenko, Hüsnü Yenigün, Ana Rosa Cavalli, 2017, Lecture Notes in Computer Science.

Towards Design Recovery from Observations

Hasan Ural, Hüsnü Yenigün, H. Ural, 2004, FORTE.

Lower bounds on lengths of checking sequences

Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang, 2009, Formal Aspects of Computing.

Minimizing Coordination Channels in Distributed Testing

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

Proceedings of the 5th international colloquium on Theoretical Aspects of Computing

Hüsnü Yenigün, John S. Fitzgerald, Anne E. Haxthausen, 2008 .

Solving a robust airline crew pairing problem with column generation

Kerem Bülbül, Hüsnü Yenigün, S. Ilker Birbil, 2013, Comput. Oper. Res..

Proceedings of the 21st international conference on Computer and Information Sciences

Hüsnü Yenigün, Albert Levi, Erkay Savas, 2006 .

Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences

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

Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Anne Elisabeth Haxthausen, Hüsnü Yenigün, John Fitzgerald, 2008, ICTAC.

Eliminating Redundant Tests in a Checking Sequence

Robert M. Hierons, Hasan Ural, Hüsnü Yenigün, 2005, TestCom.

An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines

Canan Güniçen, Uraz Cengiz Türker, Hüsnü Yenigün, 2014, ISCIS.

Reduced checking sequences using unreliable reset

Hasan Ural, Hüsnü Yenigün, Guy-Vincent Jourdan, 2015, Inf. Process. Lett..

Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences

Robert M. Hierons, Hasan Ural, Hüsnü Yenigün, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

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

Hüsnü Yenigün, Natalia Kushik, Hüsnü Yenigün, 2015, ICTSS.

Hardness and inapproximability of minimizing adaptive distinguishing sequences

Uraz Cengiz Türker, Hüsnü Yenigün, 2014, Formal Methods Syst. Des..

Synchronizing heuristics: Speeding up the fastest

Hüsnü Yenigün, Kamer Kaya, Sertaç Karahoda, 2018, Expert Syst. Appl..

Generating Shortest Synchronizing Sequences using Answer Set Programming pdf

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

High Level Rule Modeling Language for Airline Crew Pairing

Kerem Bülbül, Hüsnü Yenigün, Ş. İlker Birbil, 2011 .

A recursive process algebra for queues

Hüsnü Yenigün, Esfandiar Haghverdi, Kemal Inan, 1993, FORTE.

The relation between preset distinguishing sequences and synchronizing sequences

Canan Güniçen, Uraz Cengiz Türker, Hüsnü Yenigün, 2014, Formal Aspects of Computing.

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation

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

Using Distinguishing and UIO Sequences Together in a Checking Sequence

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

Synchronizing Heuristics for Weakly Connected Automata with Various Topologies

Hüsnü Yenigün, Berk Çirisci, Kamer Kaya, 2018, MODELSWARD.

Dependence Analysis for Regression Test Suite Selection and Augmentation

Hasan Ural, Hüsnü Yenigün, 2010, ISCIS.

Using Structure of Automata for Faster Synchronizing Heuristics

Hüsnü Yenigün, Berk Çirisci, Kamer Kaya, 2018, MODELSWARD.

On Capturing Effects of Modifications as Data Dependencies

Hasan Ural, Hüsnü Yenigün, 2012, 2012 IEEE 36th Annual Computer Software and Applications Conference.

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

Ana R. Cavalli, Nina Yevtushenko, Hüsnü Yenigün, 2017, 2017 IEEE East-West Design & Test Symposium (EWDTS).

The effect of partiality and adaptivity on the complexity of FSM state identification problems

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

Identifying the effects of modifications as data dependencies

Hüsnü Yenigün, 2013, Software Quality Journal.

Static Partial Order Reduction

Doron A. Peled, Hüsnü Yenigün, Robert P. Kurshan, 1998, TACAS.

Synchronizing billion-scale automata

Hüsnü Yenigün, Kamer Kaya, Mustafa Kemal Tas, 2021, Inf. Sci..

Indoor Positioning System Based on Global Positioning System Signals with Down- and Up-Converters in 433 MHz ISM Band

Hüsnü Yenigün, Abdulkadir Uzun, Ibrahim Tekin, 2021, Sensors.