Hüsnü Yenigün

58 papers A* 2A 2B 2C 13Misc 3Journal 23Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Distributed landmark labeling for social networks. J. Parallel Distributed Comput. Arda Sener, Hüsnü Yenigün, Kamer Kaya
2023	J	`jnl`	Special issue on High-Performance Computing Conference (BASARIM 2022). Concurr. Comput. Pract. Exp. Kamer Kaya, Cevat Sener, Hüsnü Yenigün
2021	J	`jnl`	Boosting expensive synchronizing heuristics. Expert Syst. Appl. N. Ege Saraç, Ömer Faruk Altun, Kamil Tolga Atam, Sertaç Karahoda, Kamer Kaya, Hüsnü Yenigün
2021	J	`jnl`	Indoor Positioning System Based on Global Positioning System Signals with Down- and Up-Converters in 433 MHz ISM Band. Sensors Abdulkadir Uzun, Firas Abdul Ghani, Amir Mohsen Ahmadi Najafabadi, Hüsnü Yenigün, Ibrahim Tekin
2021	J	`jnl`	Synchronizing billion-scale automata. Inf. Sci. Mustafa Kemal Tas, Kamer Kaya, Hüsnü Yenigün
2020	J	`jnl`	Multicore and manycore parallelization of cheap synchronizing sequence heuristics. J. Parallel Distributed Comput. Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün
2019	J	`jnl`	Guest Editorial: Special issue on Testing Software and Systems. Softw. Qual. J. Hüsnü Yenigün, Nina Yevtushenko, Ana Rosa Cavalli
2019	C	`conf`	Using Synchronizing Heuristics to Construct Homing Sequences. MODELSWARD Berk Çirisci, M. Yusa Emek, Ege Sorguç, Kamer Kaya, Hüsnü Yenigün
2018	J	`jnl`	Optimally bipartitioning sparse matrices with reordering and parallelization. Concurr. Comput. Pract. Exp. Aras Mumcuyan, Baran Usta, Kamer Kaya, Hüsnü Yenigün
2018	—	`conf`	Synchronizing Heuristics for Weakly Connected Automata with Various Topologies. MODELSWARD (Revised Selected Papers) Berk Çirisci, Baris Sevilmis, Emre Yasin Sivri, Poyraz Kivanç Karaçam, Kamer Kaya, Hüsnü Yenigün
2018	J	`jnl`	Synchronizing heuristics: Speeding up the fastest. Expert Syst. Appl. Sertaç Karahoda, Kamer Kaya, Hüsnü Yenigün
2018	C	`conf`	Using Structure of Automata for Faster Synchronizing Heuristics. MODELSWARD Berk Çirisci, Muhammed Kerem Kahraman, Cagri Uluc Yildirimoglu, Kamer Kaya, Hüsnü Yenigün
2017	—	`conf`	Decreasing the complexity of deriving test suites against nondeterministic finite state machines. EWDTS Hüsnü Yenigün, Natalia Kushik, Jorge López, Nina Yevtushenko, Ana R. Cavalli
2017	C	`ed.`	Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings ICTSS Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün
2017	J	`jnl`	The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. Inf. Process. Lett. Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik
2016	J	`jnl`	Advances in test generation for testing software and systems - An introduction to selected papers from ICTSS 2013. Int. J. Softw. Tools Technol. Transf. Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich
2016	J	`jnl`	Effective algorithms for constructing minimum cost adaptive distinguishing sequences. Inf. Softw. Technol. Uraz Cengiz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün
2016	C	`conf`	Parallelizing Heuristics for Generating Synchronizing Sequences. ICTSS Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün
2016	J	`jnl`	Recovering Representations of Systems with Repetitive Subfunctions from Observations. J. Multiple Valued Log. Soft Comput. Guy-Vincent Jourdan, Hüsnü Yenigün
2016	Misc	`conf`	Reducing locating sequences for testing from finite state machines. SAC Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
2016	—	`conf`	Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. AMARETTO@MODELSWARD Natalia Kushik, Nina Yevtushenko, Hüsnü Yenigün
2016	Misc	`conf`	Some classes of finite state machines with polynomial length of distinguishing test cases. SAC Hüsnü Yenigün, Nina Yevtushenko, Natalia Kushik
2015	J	`jnl`	Complexities of Some Problems Related to Synchronizing, Non-Synchronizing and Monotonic Automata. Int. J. Found. Comput. Sci. Uraz Cengiz Türker, Hüsnü Yenigün
2015	C	`conf`	Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines. ICTSS Natalia Kushik, Hüsnü Yenigün
2015	J	`jnl`	Reduced checking sequences using unreliable reset. Inf. Process. Lett. Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
2015	C	`conf`	Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation. ICTSS Canan Güniçen, Guy-Vincent Jourdan, Hüsnü Yenigün
2014	—	`conf`	An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines. ISCIS Canan Güniçen, Kemal Inan, Uraz Cengiz Türker, Hüsnü Yenigün
2014	J	`jnl`	Hardness and inapproximability of minimizing adaptive distinguishing sequences. Formal Methods Syst. Des. Uraz Cengiz Türker, Hüsnü Yenigün
2014	J	`jnl`	Identifying the effects of modifications as data dependencies. Softw. Qual. J. Hüsnü Yenigün
2014	C	`conf`	Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences. ICTSS Uraz Cengiz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün
2014	J	`jnl`	The relation between preset distinguishing sequences and synchronizing sequences. Formal Aspects Comput. Canan Güniçen, Kemal Inan, Uraz Cengiz Türker, Hüsnü Yenigün
2013	J	`jnl`	Generating Shortest Synchronizing Sequences using Answer Set Programming. CoRR Canan Güniçen, Esra Erdem, Hüsnü Yenigün
2013	J	`jnl`	Regression test suite selection using dependence analysis. J. Softw. Evol. Process. Hasan Ural, Hüsnü Yenigün
2013	J	`jnl`	Solving a robust airline crew pairing problem with column generation. Comput. Oper. Res. Ibrahim Muter, S. Ilker Birbil, Kerem Bülbül, Güvenç Sahin, Hüsnü Yenigün, Duygu Tas, Dilek Tüzün
2013	C	`ed.`	Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings ICTSS Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich
2012	B	`conf`	On Capturing Effects of Modifications as Data Dependencies. COMPSAC Hasan Ural, Hüsnü Yenigün
2011	—	`conf`	Generating Preset Distinguishing Sequences Using SAT. ISCIS Canan Güniçen, Uraz Cengiz Türker, Hasan Ural, Hüsnü Yenigün
2010	—	`conf`	Dependence Analysis for Regression Test Suite Selection and Augmentation. ISCIS Hasan Ural, Hüsnü Yenigün
2010	J	`jnl`	Lower bounds on lengths of checking sequences. Formal Aspects Comput. Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang
2009	B	`conf`	Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. SEFM Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
2009	—	`conf`	Using a SAT solver to generate checking sequences. ISCIS Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Dong Zhu
2008	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings ICTAC John S. Fitzgerald, Anne E. Haxthausen, Hüsnü Yenigün
2008	Misc	`conf`	Using adaptive distinguishing sequences in checking sequence constructions. SAC Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
2007	C	`conf`	Recovering Repetitive Sub-functions from Observations. FORTE Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün
2006	—	`ed.`	Computer and Information Sciences - ISCIS 2006, 21th International Symposium, Istanbul, Turkey, November 1-3, 2006, Proceedings ISCIS Albert Levi, Erkay Savas, Hüsnü Yenigün, Selim Balcisoy, Yücel Saygin
2006	C	`conf`	Minimizing Coordination Channels in Distributed Testing. FORTE Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
2006	—	`conf`	Using Distinguishing and UIO Sequences Together in a Checking Sequence. TestCom M. Cihan Yalcin, Hüsnü Yenigün
2005	—	`conf`	Eliminating Redundant Tests in a Checking Sequence. TestCom Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün
2005	—	`conf`	Generalizing Redundancy Elimination in Checking Sequences. ISCIS K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün
2005	—	`conf`	Recovering the Lattice of Repetitive Sub-functions. ISCIS Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
2004	C	`conf`	Towards Design Recovery from Observations. FORTE Hasan Ural, Hüsnü Yenigün
2002	J	`jnl`	Combining Software and Hardware Verification Techniques. Formal Methods Syst. Des. Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
2002	A*	`conf`	Compressing Transitions for Model Checking. CAV Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün
2001	A*	`conf`	SDLcheck: A Model Checking Tool. CAV Vladimir Levin, Hüsnü Yenigün
1999	—	`conf`	Hazard-Freedom Checking in Speed-Independent Systems. CHARME Hüsnü Yenigün, Vladimir Levin, Doron A. Peled, Peter A. Beerel
1998	A	`conf`	Static Partial Order Reduction. TACAS Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
1997	A	`conf`	Verifying hardware in its software context. ICCAD Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
1993	C	`conf`	A recursive process algebra for queues. FORTE Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, Kemal Inan