title   
  

Creator/Author/Editor: Yenigün, Hüsnü

2014

Güniçen, Canan and İnan, Kemal and Türker, Uraz Cengiz and Yenigün, Hüsnü (2014) The relation between preset distinguishing sequences and synchronizing sequences. Formal Aspects of Computing, 26 (6). pp. 1153-1167. ISSN 0934-5043 (Print) 1433-299X (Online)

Güniçen, Canan and İnan, Kemal and Türker, Uraz Cengiz and Yenigün, Hüsnü (2014) An improved upper bound for the length of preset distinguishing sequences of distinguished merging finite state machines. In: 29th International Symposium on Computer and Information Sciences (ISCIS 2014), Krakow, Poland

Türker, Uraz Cengiz and Ünlüyurt, Tonguç and Yenigün, Hüsnü (2014) Lookahead-based approaches for minimizing adaptive distinguishing sequences. In: 26th IFIP International Conference on Testing Software and Systems, Madrid, Spain

Türker, Uraz Cengiz and Yenigün, Hüsnü (2014) Complexities of some problems related to synchronizing, nonsynchronizing and monotonic automata. (Accepted/In Press)

Türker, Uraz Cengiz and Yenigün, Hüsnü (2014) Hardness and inapproximability of minimizing adaptive distinguishing sequences. Formal Methods in System Design, 44 (3). pp. 264-294. ISSN 0925-9856 (Print) 1572-8102 (Online)

2013

Yenigün, Hüsnü and Yılmaz, Cemal and Ulrich, Andreas (2013) Testing software and systems. [Volumes Edited / Special Issues]

Yenigün, Hüsnü (2013) Identifying the effects of modifications as data dependencies. (Accepted/In Press)

Ural, Hasan and Yenigün, Hüsnü (2013) Regression test suite selection using dependence analysis. Journal of Software: Evolution and Process, 25 (7). pp. 681-709. ISSN 2047-7481

Muter, İbrahim and Birbil, Ş. İlker and Bülbül, Kerem and Şahin, Güvenç and Yenigün, Hüsnü and Taş, Duygu and Tüzün, Dilek (2013) Solving a robust airline crew pairing problem with column generation. Computers & Operations Research, 40 (3). pp. 815-830. ISSN 0305-0548

2012

Türker, Uraz Cengiz and Yenigün, Hüsnü (2012) Hardness and inapproximability results for minimum verification set and minimum path decision tree problems. [Working Paper / Technical Report] Sabanci University ID:10.5900/SU_FENS_WP.2012.19826

Ural, Hasan and Yenigün, Hüsnü (2012) On capturing effects of modifications as data dependencies. In: 2012 IEEE 36th Annual Computer Software and Applications Conference (COMPSAC), Izmir, Turkey

2011

Güniçen, Canan and Türker, Uraz Cengiz and Ural, Hasan and Yenigün, Hüsnü (2011) Generating preset distinguishing sequences using SAT. In: 26th International Symposium on Computer and Information Sciences (ISCIS 2011), London, UK

Mutlu, Erdal and Birbil, Ş. İlker and Bülbül, Kerem and Yenigün, Hüsnü (2011) High level rule modeling language for airline crew pairing. In: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM 2011), Kassandra, Halkidiki, Greece

2010

Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü and Zhang, Ji Chao (2010) Lower bounds on lengths of checking sequences. Formal Aspects of Computing, 22 (6). pp. 667-679. ISSN 0934-5043 (Print) 1433-299X (Online)

Ural, Hasan and Yenigün, Hüsnü (2010) Dependence analysis for regression test suite selection and augmentation. In: 25th International Symposium on Computer and Information Sciences, London, UK

2009

Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü and Zhu, Dong (2009) Using a SAT solver to generate checking sequences. In: 24th International Symposium on Computer and Information Sciences, 2009 (ISCIS 2009), Güzelyurt, Kuzey Kıbrıs

Hierons, Robert M. and Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü (2009) Checking sequence construction using adaptive and preset distinguishing sequences. In: 7th IEEE International Conference on Software Engineering and Formal Methods, Hanoi, Vietnam (Accepted/In Press)

Çoban, Elvin and Muter, İbrahim and Taş, Duygu and Birbil, Ş. İlker and Bülbül, Kerem and Şahin, Güvenç and Topçu, Y. İlker and Tüzün, Dilek and Yenigün, Hüsnü (2009) Column generation approaches to a robust airline crew pairing model for managing extra flights. In: Operations Research 2008: OR and Global Business, Augsburg, Germany

2008

Fitzgerald, John S. and Haxthausen, Anne E. and Yenigün, Hüsnü (2008) Theoretical aspects of computing - ICTAC 2008. [Volumes Edited / Special Issues]

Ural, Hasan and Jourdan, Guy-Vincent and Yenigün, Hüsnü (2008) Combining Adaptive Tests. In: 23rd International Symposium on Computer and Information Sciences, Istanbul, TURKEY (Accepted/In Press)

Hierons, Robert M. and Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü (2008) Using adaptive distinguishing sequences in checking sequence constructions. In: Proceedings of ACM Symposium on Applied Computing, Fortaleza, Ceara, Brazil

2007

Budak, Erhan and Çatay, Bülent and Tekin, İbrahim and Yenigün, Hüsnü and Abbak, Mehmet and Drannikov, Sergey and Şimşek, Oya (2007) Design of an RFID-based manufacturing monitoring and analysis system. In: RFID Eurasia, Istanbul, Turkey

Budak, Erhan and Çatay, Bülent and Tekin, İbrahim and Yenigün, Hüsnü and Abbak, Mehmet and Drannikov, Sergey (2007) Microstrip patch antenna for RFID applications. In: RFID Eurasia, Istanbul

Jourdan, Guy-Vincent and Ural, Hasan and Wang, Shen and Yenigün, Hüsnü (2007) Recovering repetitive sub-functions from observations. In: Formal Techniques for Networked and Distributed Systems – FORTE 2007, Tallinn, Estonia

2006

Levi, Albert and Savaş, Erkay and Yenigün, Hüsnü and Balcısoy, Selim and Saygın, Yücel (2006) Proceedings of computer and information sciences - ISCIS 2006. [Volumes Edited / Special Issues]

Levi, Albert and Savaş, Erkay and Yenigün, Hüsnü and Balcısoy, Selim and Saygın, Yücel (2006) Computer and information sciences-ISCIS 2006. [Volumes Edited / Special Issues]

Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü (2006) Minimizing coordination channels in distributed testing. Lecture Notes in Computer Science (Formal Techniques for Networked and Distributed Systems - Forte 2006), 4229 . pp. 451-466. ISSN 0302-9743 (Print) 1611-3349 (Online)

Yalçın, Cihan Mehmet and Yenigün, Hüsnü (2006) Using distinguishing and UIO sequences together in a checking sequence. Lecture Notes in Computer Science (Testing of Communicating Systems, Proceedings), 3964 . pp. 259-273. ISSN 0302-9743 (Print) 1611-3349 (Online)

2005

Tekle, Tuncay K. and Ural, Hasan and Yalçın, Cihan Mehmet and Yenigün, Hüsnü (2005) Generalizing redundancy elimination in checking sequences. Lecture notes in computer science, 3733 . 915 - 926. ISSN 0302-9743 (Print) 1611-3349 (Online)

Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü (2005) Recovering the lattice of repetitive subfunctions. Lecture Notes in Computer Science, 3733 . 956 - 965. ISSN 0302-9743

Chen, Jessica and Hierons, Robert M. and Ural, Hasan and Yenigün, Hüsnü (2005) Eliminating redundant tests in a checking sequence. Lecture notes in computer science, 3502 . pp. 146-158. ISSN 0302-9743 (Print) 1611-3349 (Online)

2004

Ural, Hasan and Yenigün, Hüsnü (2004) Towards design recovery from observations. Lecture notes in computer science, 3235 . pp. 133-149. ISSN 0302-9743 (Print) 1611-3349 (Online)

2003

Bechteler, Thomas F. and Yenigün, Hüsnü (2003) 2-D localization and identification based on SAW ID-tags at 2.5 GHz. IEEE Transactions on Microwave Theory and Techniques, 51 (5). pp. 1584-1590. ISSN 0018-9480

This list was generated on Sat Dec 20 05:29:44 2014 EET.