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 |
| 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) |
| 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) |
| 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) |
| 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) |
| 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) |
| 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) |
| 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) |
| Yenigün, Hüsnü, () “Identifying the effects of modifications as data dependencies”, Software Quality Journal (forthcoming) (SCI) |
Papers in Conference Proceedings
|
| Uzun, Abdulkadir and Abdul Ghani, Firas and Yenigün, Hüsnü and Tekin, İbrahim, “A novel GNSS repeater architecture for indoor positioning systems in ISM band“, IEEE International Symposium on Antennas and Propagation and North American Radio Science Meeting, IEEECONF 2020, IEEE (Institute of Electrical and Electronics Engineers), July 2020, 1631-1632 |
| Çirişci, Berk and Sevilmiş, Barış and Sivri, Emre Yasin and Karaçam, Poyraz Kıvanç and Kaya, Kamer and Yenigün, Hüsnü, “Synchronizing heuristics for weakly connected automata with various topologies“, Pires, L. F. and Selic, B. and Hammoudi, S. (eds.), 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), Springer, February 2019, 475-493 |
| Çirişci, Berk and Emek, M. Yuşa and Sorguç, Ege and Kaya, Kamer and Yenigün, Hüsnü, “Using synchronizing heuristics to construct homing sequences“, Hammoudi, S. and Selic, B. and Pires, L. F. (eds.), 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2019), SciTePress, February 2019, 364-371 |
| Çirişci, Berk and Kahraman, Muhammed Kerem and Yıldırımoğlu, Çağrı Uluç and Kaya, Kamer and Yenigün, Hüsnü, ” Using structure of automata for faster synchronizing heuristics “, 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), SCITEPRESS – Science and Technology Publications, January 2018, 544-551 |
| Yenigün, Hüsnü and Kushik, Natalia G. and López, Jorge H. and Yevtushenko, Nina V. and Cavalli, Ana Rosa, ” Decreasing the complexity of deriving test suites against nondeterministic finite state machines “, IEEE East-West Design and Test Symposium (EWDTS 2017), IEEE (Institute of Electrical and Electronics Engineers), November 2017 |
| Karahoda, Sertaç and Erenay, Osman Tufan and Kaya, Kamer and Türker, Uraz Cengiz and Yenigün, Hüsnü, “Parallelizing heuristics for generating synchronizing sequences“, Wotawa, Franz and Nica, Mihai and Kushik, Natalia (eds.), 28th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2016), Springer International Publishing, October 2016, 106-122 |
| Jourdan, Guy Vincent and Ural, Hasan and Yenigün, Hüsnü, ” Reducing locating sequences for testing from finite state machines “, 31st Annual ACM Symposium on Applied Computing (SAC’16), ACM (Association for Computing Machinery), April 2016, 1654-1659 |
| Yenigün, Hüsnü and Yevtushenko, Nina and Kushik, Natalia, ” Some classes of finite state machines with polynomial length of distinguishing test cases “, 31st Annual ACM Symposium on Applied Computing (SAC’16), ACM (Association for Computing Machinery), April 2016, 1680-1685 |
| Kushik, Natalia and Yevtushenko, Nina and Yenigün, Hüsnü, ” Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs “, Calabro, A. and Lonetti, F. and Marchetti, E. (eds.), 1st International Workshop on domAin Specific Model-Based AppRoaches to vErificaTion and validaTiOn, SciTePress, February 2016, 83-90 |
| Kushik, Natalia and Yenigün, Hüsnü, ” Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines “, ElFakih, K. and Barlas, G. and Yevtushenko, N. (eds.), 27th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Switzerland: Springer International Publishing, November 2015, 243-248 |
| Güniçen, Canan and Jourdan, Guy Vincent and Yenigün, Hüsnü, ” Using multiple adaptive distinguishing sequences for checking sequence generation “, ElFakih, K. and Barlas, G. and Yevtushenko, N. (eds.), 27th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Switzerland: Springer International Publishing, November 2015, 19-34 |
| Güniçen, Canan and İnan, Kemal and Türker, Uraz Cengiz and Yenigün, Hüsnü, ” An improved upper bound for the length of preset distinguishing sequences of distinguished merging finite state machines “, Czachórski, Tadeusz and Gelenbe, Erol and Lent, Ricardo (eds.), 29th International Symposium on Computer and Information Sciences (ISCIS 2014), Krakow: Springer International Publishing, October 2014, 325-335 |
| Türker, Uraz Cengiz and Ünlüyurt, Tonguç and Yenigün, Hüsnü, ” Lookahead-based approaches for minimizing adaptive distinguishing sequences “, Merayo, Mercedes G. and Montes de Oca, Edgardo (eds.), 26th IFIP International Conference on Testing Software and Systems, Madrid: Springer Berlin Heidelberg, September 2014, 32-47 |
| Ural, Hasan and Yenigün, Hüsnü, ” On capturing effects of modifications as data dependencies “, 2012 IEEE 36th Annual Computer Software and Applications Conference (COMPSAC), USA: IEEE (Institute of Electrical and Electronics Engineers), July 2012, 350-351 |
| Güniçen, Canan and Türker, Uraz Cengiz and Ural, Hasan and Yenigün, Hüsnü, ” Generating preset distinguishing sequences using SAT “, Gelenbe, Erol and Lent, Ricardo and Sakellari, Georgia (eds.), 26th International Symposium on Computer and Information Sciences (ISCIS 2011), London: Springer, September 2011, 487-493 |
| Mutlu, Erdal and Birbil, Ş. İlker and Bülbül, Kerem and Yenigün, Hüsnü, “High level rule modeling language for airline crew pairing“, Simos, T. E. (ed.), International Conference on Numerical Analysis and Applied Mathematics (ICNAAM 2011), Melville, New York: AIP (American Institute of Physics), September 2011, 798-801 |
| Ural, Hasan and Yenigün, Hüsnü, ” Dependence analysis for regression test suite selection and augmentation “, Gelenbe, Erol and Lent, Ricardo and Sakellari, Georgia and Sacan, Ahmet and Toroslu, Hakkı and Yazıcı, Adnan (eds.), 25th International Symposium on Computer and Information Sciences, New York: Springer, September 2010, 143-148 |
| Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü and Zhu, Dong, “Using a SAT solver to generate checking sequences“, 24th International Symposium on Computer and Information Sciences, 2009 (ISCIS 2009), USA: IEEE (Institute of Electrical and Electronics Engineers), September 2009, 549-554 |
| Ç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ü, “Column generation approaches to a robust airline crew pairing model for managing extra flights“, Fleischmann, Bernhard and Borgwardt, Karl Heinz and Klein, Robert and Tuma, Axel (eds.), Operations Research 2008: OR and Global Business, Germany: Springer, June 2009, 439-444 |
| Hierons, Robert M. and Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü, ” Using adaptive distinguishing sequences in checking sequence constructions “, Proceedings of ACM Symposium on Applied Computing, Brazil: ACM, March 2008, 682-687 |
| Budak, Erhan and Çatay, Bülent and Tekin, İbrahim and Yenigün, Hüsnü and Abbak, Mehmet and Drannikov, Sergey and Şimşek, Oya, ” Design of an RFID-based manufacturing monitoring and analysis system “, RFID Eurasia, Istanbul: Istanbul Technical University, September 2007, 259-264 |
| Budak, Erhan and Çatay, Bülent and Tekin, İbrahim and Yenigün, Hüsnü and Abbak, Mehmet and Drannikov, Sergey, ” Microstrip patch antenna for RFID applications “, RFID Eurasia, Istanbul, Turkey: Istanbul Technical University, September 2007, 265-267 |
| Jourdan, Guy-Vincent and Ural, Hasan and Wang, Shen and Yenigün, Hüsnü, ” Recovering repetitive sub-functions from observations “, Formal Techniques for Networked and Distributed Systems – FORTE 2007, Tallinn, Estonia: Springer, June 2007, 35-49 |
| Hierons, Robert M. and Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü, ” Checking sequence construction using adaptive and preset distinguishing sequences “, 7th IEEE International Conference on Software Engineering and Formal Methods, Hanoi, Vietnam: IEEE (forthcoming) |
| Ural, Hasan and Jourdan, Guy-Vincent and Yenigün, Hüsnü, ” Combining Adaptive Tests “, 23rd International Symposium on Computer and Information Sciences, Istanbul: IEEE (forthcoming) |
| Mumcuyan, Aras and Kaya, Kamer and Yenigün, Hüsnü, “Reordering matrices for optimal sparse matrix bipartitioning“, 5. Ulusal Yüksek Başarımlı Hesaplama Konferansı (BAŞARIM 2017), (forthcoming) |
Volumes Edited / Special Issues
|
| Yenigün, Hüsnü and Yevtushenko, Nina and Cavalli, Ana Rosa, Guest editorial: special issue on testing software and systems, Springer, June 2019 |
| Yevtushenko, Nina and Cavalli, Ana Rosa and Yenigün, Hüsnü, Testing software and systems – 29th IFIP WG 6.1 International Conference (ICTSS 2017), Springer, October 2017 |
| Yenigün, Hüsnü and Yılmaz, Cemal and Ulrich, Andreas, Testing software and systems, Springer, November 2013 |
| Fitzgerald, John S. and Haxthausen, Anne E. and Yenigün, Hüsnü, Theoretical aspects of computing – ICTAC 2008, Berlin, Germany: Springer, September 2008 |
| Levi, Albert and Savaş, Erkay and Yenigün, Hüsnü and Balcısoy, Selim and Saygın, Yücel, Proceedings of computer and information sciences – ISCIS 2006, Springer, November 2006 |
| Levi, Albert and Savaş, Erkay and Yenigün, Hüsnü and Balcısoy, Selim and Saygın, Yücel, Computer and information sciences-ISCIS 2006, Heidelberg, Germany: Springer, October 2006, 1-1084 |
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 |
