Hüsnü YenigünFaculty of Engineering and Natural SciencesFaculty Member(216) 483 9544yenigun@sabanciuniv.edu
Personal Web
Jobs
Faculty Member
Education
Electrical and Electronics Engineering, Middle East Technical University (METU) [B.Sc. 1992, Ph.D. 2000]
Areas of Interest
Formal methods; hardware/software verification; model checking; finite state machine based testing
Article
Taş, Mustafa Kemal and Kaya, Kamer and Yenigün, Hüsnü (2021) "Synchronizing billion-scale automata", Information Sciences, Vol.574, 162-175 (SCI)
Uzun, Abdulkadir and Abdul Ghani, Firas and Ahmadi Najafabadi, Amir Mohsen and Yenigün, Hüsnü and Tekin, İbrahim (2021) "Indoor positioning system based on global positioning system signals with down- and up-converters in 433 MHz ISM band", Sensors, Vol.21, No.13 (SCI)
Saraç, N. Ege and Altun, Ömer Faruk and Atam, Kamil Tolga and Karahoda, Sertaç and Kaya, Kamer and Yenigün, Hüsnü (2021) "Boosting expensive synchronizing heuristics", Expert Systems with Applications, Vol.167 (SCI)
Karahoda, Sertaç and Erenay, Osman Tufan and Kaya, Kamer and Türker, Uraz Cengiz and Yenigün, Hüsnü (2020) "Multicore and manycore parallelization of cheap synchronizing sequence heuristics", Journal of Parallel and Distributed Computing, Vol.140, 13-24 (SCI)
Mumcuyan, Aras and Usta, Baran and Kaya, Kamer and Yenigün, Hüsnü (2018) "Optimally bipartitioning sparse matrices with reordering and parallelization", Concurrency and Computation: Practice and Experience (SI), Vol.30, No.21 (SCI)
Karahoda, Sertaç and Kaya, Kamer and Yenigün, Hüsnü (2018) "Synchronizing heuristics: speeding up the fastest", Expert Systems with Applications, Vol.94, 265-275 (SCI)
Yenigün, Hüsnü and Yevtushenko, Nina and Kushik, Natalia and Lopez, Jorge (2018) "The effect of partiality and adaptivity on the complexity of FSM state identification problems", Proceedings of the Institute for System Programming, Vol.30, No.1, 7-24 (NA)
Yenigün, Hüsnü and Yevtushenko, Nina and Kushik, Natali (2017) "The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs", Information Processing Letters, Vol.127, 49-53 (SCI)
Jourdan, Guy Vincent and Yenigün, Hüsnü (2016) "Recovering representations of systems with repetitive subfunctions from observations", Journal of Multiple-Valued Logic and Soft Computing (SI), Vol.27, No.2-3, 255-273 (SCI)
Türker, Uraz Cengiz and Ünlüyurt, Tonguç and Yenigün, Hüsnü (2016) "Effective algorithms for constructing minimum cost adaptive distinguishing sequences", Information and Software Technology, Vol.74, 69-85 (SCI)
Yenigün, Hüsnü and Yılmaz, Cemal and Ulrich, Andreas (2016) "Advances in test generation for testing software and systems", International Journal on Software Tools for Technology Transfer, Vol.18, No.3, 245-249 (SCI)
Jourdan, Guy Vincent and Ural, Hasan and Yenigün, Hüsnü (2015) "Reduced checking sequences using unreliable reset", Information Processing Letters, Vol.115, No.5, 532-535 (SCI)
Türker, Uraz Cengiz and Yenigün, Hüsnü (2015) "Complexities of some problems related to synchronizing, non-synchronizing and monotonic automata", International Journal of Foundations of Computer Science, Vol.26, No.1, 99-121 (SCI)
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, Vol.26, No.6, 1153-1167 (SCI)
Türker, Uraz Cengiz and Yenigün, Hüsnü (2014) "Hardness and inapproximability of minimizing adaptive distinguishing sequences", Formal Methods in System Design, Vol.44, No.3, 264-294 (SCI)
Ural, Hasan and Yenigün, Hüsnü (2013) "Regression test suite selection using dependence analysis", Journal of Software: Evolution and Process, Vol.25, No.7, 681-709 (SCI)
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, Vol.22, No.6, 667-679 (SCI)
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), Vol.4229, 451-466 (SCI)
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), Vol.3964, 259-273 (SCI)
Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü (2005) "Recovering the lattice of repetitive subfunctions", Lecture Notes in Computer Science, Vol.3733, 956 - 965 (SCI)
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, Vol.3733, 915 - 926 (SCI)
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, Vol.3502, 146-158 (SCI)
Ural, Hasan and Yenigün, Hüsnü (2004) "Towards design recovery from observations", Lecture Notes in Computer Science (Formal Techniques for Networked and Distributed Systems - FORTE 2004, Proceedings), Vol.3235, 133-149 (CPCI-S, SCI)
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, Vol.51, No.5, 1584-1590 (SCI)
Working Paper / Technical Report
Türker, Uraz Cengiz and Yenigün, Hüsnü, "Hardness and inapproximability results for minimum verification set and minimum path decision tree problems", September 2012, Sabancı University ID:10.5900/SU_FENS_WP.2012.19826
Publications Prior to SU
- R.P. Kurshan, V. Levin, M. Minea, D. Peled, and H. Yenigun, "Combining Software and Hardware Verification Techniques", Formal Methods in Systems Design, 21(3), 2002. [http://dx.doi.org/10.1023/A:1020383505582] - R.P. Kurshan, V. Levin, and H. Yenigun, "Compressing Transitions for Model Checking", in Proc. of CAV'02, LNCS 2404, pp. 569-581, 2002.