| Husnu Yenigun |
|
| Courses Publications Prof. Activities Curriculum Vitae Calendar Contact |
|
|
| Publications |
|
[DBLP] [Google Scholar] [Google Scholar Profile] [ResearcherID] [ORCid] [SU Research Database] [70] Abdulkadir Uzun, Firas Abdul Ghani, Amir Mohsen Ahmadi Najafabadi, Husnu Yenigun, Ibrahim Tekin, , "Indoor Positioning System Based on Global Positioning System Signals with Down- and Up-Converters in 433 MHz ISM Band", Sensors, 2021. DOI: 10.3390/s21134338 [69] Mustafa Kemal Tas, Kamer Kaya, Husnu Yenigun, "Synchronizing Billion-Scale Automata", Information Sciences, Volume 574, pp. 162-175, October 2021. DOI: 10.1016/j.ins.2021.05.072 [68] N. Ege Sarac, Omer Faruk Altun, Kamil Tolga Atam, Sertac Karahoda, Kamer Kaya, Husnu Yenigun, "Boosting Expensive Synchronizing Heuristics", Expert Systems with Applications, Volume 167. DOI: 10.1016/j.eswa.2020.114203 [67] Abdulkadir Uzun, Firas Abdul Ghani, Husnu Yenigun, Ibrahim Tekin, "A Novel GNSS Repeater Architecture for Indoor Positioning Systems in ISM Band", In: IEEE AP-S/URSI 2020, Montr�al, Qu�bec, Canada. DOI: 10.1109/IEEECONF35879.2020.9329653 [66] Sertac Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Turker, Husnu Yenigun, "Multicore and Manycore Parallelization of Cheap Synchronizing Sequence Heuristics", Journal of Parallel and Distributed Computing, Volume 140, June 2020, pages 13-24. DOI: 10.1016/j.jpdc.2020.02.009 [65] Husnu Yenigun, Nina Yevtushenko, Ana Rosa Cavalli, "Guest Editorial: Special issue on Testing Software and Systems", Software Quality Journal 27(2): 497-499 (2019) DOI: 10.1007/s11219-019-09447-4 [64] Berk Cirisci, M. Yusa Emek, Ege Sorguc, Kamer Kaya, Husnu Yenigun, "Using Synchronizing Heuristics to Construct Homing Sequences", Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development: MODELSWARD, pp. 362-369, 2019. DOI: 10.5220/0007403503640371 [63] Berk Cirisci, Baris Sevilmis, Emre Yasin Sivri, Poyraz Karacam, Kamer Kaya, Husnu Yenigun, "Synchronizing Heuristics for Weakly Connected Automata with Various Topologies", In: Hammoudi S., Pires L., Selic B. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2018. Communications in Computer and Information Science, vol 991. Springer, Cham DOI: 10.1007/978-3-030-11030-7_21 [62] Aras Mumcuyan, Baran Usta, Kamer Kaya, Husnu Yenigun, "Optimally Bipartitioning Sparse Matrices with Reordering and Parallelization", Concurrency and Computation: Practice and Experience, 30(21), e4687, 2018. DOI: 10.1002/cpe.4687 [61] Berk Cirisci, Muhammed Kerem Kahraman, Cagri Uluc Yildirimoglu, Kamer Kaya, Husnu Yenigun, "Using Structure of Automata for Faster Synchronizing Heuristics", Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, 544-551, 2018. DOI: 10.5220/0006660805440551 [60] Husnu Yenigun, Nina Yevtushenko,Natalia Kushik, Jorge Lopez, "The effect of partiality and adaptivity on the complexity of FSM state identification problems", Proceedings of the Institute for System Programming, 30(1), pp. 7-24, 2018. DOI: 10.15514/ISPRAS-2018-30(1)-1 [59] Sertac Karahoda, Kamer Kaya, Husnu Yenigun, "Synchronizing heuristics: Speeding up the fastest", Expert Systems with Applications, 94, pp. 265-275, 2018. DOI: 10.1016/j.eswa.2017.10.054 [58] Aras Mumcuyan, Kamer Kaya, Husnu Yenigun, "Reordering matrices for optimal sparse matrix bipartitioning". In: 5. Ulusal Yuksek Basarimli Hesaplama Konferansi (BASARIM 2017), Istanbul, T�rkiye. [57] Husnu Yenigun, Natalia Kushik, Jorge Lopez, Nina Yevtushenko, Ana R. Cavalli, "Decreasing the Complexity of Deriving Test Suites against Nondeterministic Finite State Machines", 15th IEEE East-West Design and Test Symposium (EWDTS 2016), Novi Sad, Serbia, Sept 29 - Oct 2, 2017. DOI: 10.1109/EWDTS.2017.8110091 [56] Nina Yevtushenko, Ana R. Cavalli, Husnu Yenigun (Eds), "Testing Software and Systems - 29th IFIP WG 6.1 International Conference - ICTSS 2017", St. Petersburg, Russia, October 9-11, 2017, Proceedings. Lecture Notes in Computer Science 10533, Springer 2017. DOI: 10.1007/978-3-319-67549-7 [55] Husnu Yenigun, Nina Yevtushenko, Natalia Kushik, "The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs", Information Processing Letters, 127, pp. 49-53, Nov 2017. DOI: 10.1016/j.ipl.2017.07.001 [54] Sertac Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Turker, Husnu Yenigun, "Parallelizing Heuristics for Generating Synchronizing Sequences", The 28th IFIP International Conference on Testing Software and Systems (ICTSS 2016), Lecture Notes in Computer Science vol. 9976, pp. 106-122, Graz, Austria, Oct 17-19, 2016. DOI: 10.1007/978-3-319-47443-4_7 [53] Guy Vincent Jourdan, Husnu Yenigun, "Recovering Representations of Systems with Repetitive Subfunctions from Observations", Multiple-Valued Logic and Soft Computing, 27(2-3), pp. 255-273, 2016. DOI: NO-DOI-INFORMATION [52] Husnu Yenigun, Cemal Yilmaz, Andreas Ulrich, "Advances in Test Generation for Testing Software and Systems", Software Tools for Technology Transfer, 18(3), pp. 245-249, Jun 2016. DOI: 10.1007/s10009-015-0404-z [51] Uraz Cengiz Turker, Tonguc Unluyurt, Husnu Yenigun, "Effective Algorithms for Constructing Minimum Cost Adaptive Distinguishing Sequences", Information and Software Technology, 74, pp. 69-85, Jun 2016. DOI: 10.1016/j.infsof.2016.02.001 [50] Guy Vincent Jourdan, Hasan Ural, Husnu Yenigun, "Reducing Locating Sequences for Testing from Finite State Machines", Software Verification and Testing (SVT 2016), Pisa, Italy, Apr 3-8, 2016. DOI: 10.1145/2851613.2851831 [49] Husnu Yenigun, Nina Yevtushenko, Natalia Kushik, "Some Classes of Finite State Machines with Polynomial Length of Distinguishing Test Cases", Software Verification and Testing (SVT 2016), Pisa, Italy, Apr 3-8, 2016. DOI: 10.1145/2851613.2851835 [48] Natalia Kushik, Nina Yevtushenko, Husnu Yenigun, "Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchorinizing Experiment for Nondeterministic FSMs", International Workshop on Domain Specific Model-based Approaches to Verification and Validation (AMERETTO 2016), pp. 83-90, Rome, Italy, Feb 19, 2016. DOI: 10.5220/0005854500830090 [47] Natalia Kushik, Husnu Yenigun, "Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines", The 27th IFIP International Conference on Testing Software and Systems (ICTSS 2015), Lecture Notes in Computer Science vol. 9447, pp. 243-248, Sharjah and Dubai, United Arab Emirates, Nov 23-25, 2015. DOI: 10.1007/978-3-319-25945-1_15 [46] Canan Gunicen, Guy-Vincent Jourdan, Husnu Yenigun, "Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation", The 27th IFIP International Conference on Testing Software and Systems (ICTSS 2015), Lecture Notes in Computer Science vol. 9447, pp. 19-34, Sharjah and Dubai, United Arab Emirates, Nov 23-25, 2015. DOI: 10.1007/978-3-319-25945-1_2 [45] Guy Vincent Jourdan, Hasan Ural, Husnu Yenigun, "Reduced Checking Sequences using Unreliable Reset", Information Processing Letters, 115(5), pp. 532-535, May 2015. DOI: 10.1016/j.ipl.2015.01.002 [44] Uraz Cengiz Turker, Husnu Yenigun, "Complexities of Some Problems Related to Synchronizing, Nonsynchronizing and Monotonic Automata", International Journal of Foundations of Computer Science, 26(1), pp. 99-121, January 2015. DOI: 10.1142/S0129054115500057 [43] Uraz Cengiz Turker, Tonguc Unluyurt, Husnu Yenigun, "Lookahead-based Approaches for Minimizing Adaptive Distinguishing Sequences", The 26th IFIP International Conference on Testing Software and Systems (ICTSS 2014), Lecture Notes in Computer Science vol. 8763, pp. 32-47, Madrid, Spain, Sept 23-25, 2014. DOI: 10.1007/978-3-662-44857-1_3 [42] Canan Gunicen, Kemal Inan, Uraz Cengiz Turker, Husnu Yenigun, "An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines", 29th International Symposium on Computer and Information Sciences (ISCIS 2014), Information Sciences and Systems 2014, pp. 325-335, Krakow, Poland, Oct 27-28, 2014. DOI: 10.1007/978-3-319-09465-6_34 [41] Canan Gunicen, Kemal Inan, Uraz Cengiz Turker, Husnu Yenigun, "The Relation between Preset Distinguishing Sequences and Synchronizing Sequences", Formal Aspects of Computing, 26(6), pp. 1153-1167, Nov 2014. DOI: 10.1007/s00165-014-0297-8 [40] Uraz Cengiz Turker, Husnu Yenigun, "Hardness and Inapproximability of Minimizing Adaptive Distinguishing Sequences", Formal Methods in System Design, 44(3), June 2014. DOI: 10.1007/s10703-014-0205-0 [39] Husnu Yenigun, Cemal Yilmaz, Andreas Ulrich (Eds), "Testing Software and Systems - 25th IFIP WG 6.1 International Conference - ICTSS 2013", Istanbul, Turkey, November 13-15, 2013, Proceedings. Lecture Notes in Computer Science 8254, Springer 2013. DOI: 10.1007/978-3-642-41707-8 [38] Husnu Yenigun, "Identifying the Effects of Modifications as Data Dependencies", Software Quality Journal, 22(4), 701-716, Dec 2014. DOI: 10.1007/s11219-013-9213-3 [37] Canan Gunicen, Esra Erdem, Husnu Yenigun, "Generating Shortest Synchronizing Sequences using Answer Set Programming", 6th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), pp 117-127, 25 August 2013, Istanbul, Turkey. DOI: NO DOI [36] Ibrahim Muter, S. Ilker Birbil, Kerem Bulbul, Guvenc Sahin, Husnu Yenigun, Duygu Tas, Dilek Tuzun, "Solving a Robust Airline Crew Pairing Problem with Column Generation", Computers & Operations Research, 40(3), pp 815-830, March 2013. DOI: 10.1016/j.cor.2010.11.005 [35] Hasan Ural, Husnu Yenigun, "Regression test suite selection using dependence analysis", Journal of Software: Evolution and Process, 25(7), pp 681-709, July 2013. DOI: 10.1002/smr.1559 [34] Hasan Ural, Husnu Yenigun, "On Capturing Effects of Modifications as Data Dependencies", Computer Software and Applications Conference (COMPSAC), 2012 IEEE 36th Annual , pp.350-351, 16-20 July 2012. DOI: 10.1109/COMPSAC.2012.50 [33] Canan Gunicen, Uraz Cengiz Turker, Hasan Ural, Husnu Yenigun, "Generating Preset Distinguishing Sequences Using SAT", 26th International Symposium on Computer and Information Sciences (ISCIS 2011). DOI: 10.1007/978-1-4471-2155-8_62 [32] S. Ilker Birbil, Kerem Bulbul, Erdal Mutlu, Husnu Yenigun, "High Level Rule Modeling Language for Airline Crew Pairing", Symposium on Computer Languages, Implementations and Tools (SCLIT 2011). DOI: 10.1063/1.3636853 [31] Hasan Ural and Husnu Yenigun, "Dependence Analysis for Regression Test Suite Selection and Augmentation", in Proceedings of 24th International Symposium on Computer and Information Sciences (ISCIS 2010), Lecture Notes in Electrical Engineering, 2010, Volume 62, Part 5, pp. 143-148. DOI: 10.1007/978-90-481-9794-1_29 [30] Guy-Vincent Jourdan, Hasan Ural, Husnu Yenigun, and Ji Chao Zhang, "Lower Bounds on Lengths of Checking Sequences", Formal Aspects of Computing, 22(6), pp.667-679, 2010. DOI: 10.1007/s00165-009-0135-6 [29] Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, and Husnu Yenigun, "Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences", in Proceedings of 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), pp.157-166, Hanoi, Vietnam, November 23-27, 2009. DOI: 10.1109/SEFM.2009.12 [28] Guy-Vincent Jourdan, Hasan Ural, Husnu Yenigun, and Dong Zhu, "Using a SAT Solver to Generate Checking Sequences", in Proceedings of 24th International Symposium on Computer and Information Sciences (ISCIS 2009), pp.584-589, Northern Cyprus, September 14-16, 2009. DOI: 10.1109/ISCIS.2009.5291883 [27] Guy-Vincent Jourdan, Hasan Ural, and Husnu Yenigun, "Combining Adaptive Tests", in Proceedings of 23rd International Symposium on Computer and Information Sciences (ISCIS 2008), Istanbul, Turkey, October 27-29, 2008. DOI: 10.1109/ISCIS.2008.4717872 [26] John Fitzgerald, Anne Haxthausen, Husnu Yenigun (Eds), "Theoretical Aspects of Computing - ICTAC 2008", Istanbul, Turkey, September 1-3, 2008, Proceedings, Lecture Notes in Computer Science vol. 5160. DOI: 10.1007/978-3-540-85762-4 [25] Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, and Husnu Yenigun, "Using Adaptive Distinguishing Sequences in Checking Sequence Constructions", in Proceedings of 23rd Annual ACM Symposium on Applied Computing (ACM SAC 2008), pp. 682-687, March 16-20, 2008, Fortaleza, Brazil. DOI: 10.1145/1363686.1363850 [24] Erhan Budak, Bulent Catay, Ibrahim Tekin, Husnu Yenigun, Mehmet Abbak, Sergei Drannikov, and Oya Simsek, "Design of an RFID-based Manufacturing Monitoring and Analysis System", in Proceedings of 1st Annual RFID Eurasia Conference, September 5-7, 2007, Istanbul, Turkey. DOI: 10.1109/RFIDEURASIA.2007.4368134 [23] Erhan Budak, Bulent Catay, Ibrahim Tekin, Husnu Yenigun, Mehmet Abbak, and Sergei Drannikov, "Microstrip Patch Antenna for RFID Applications", in Proceedings of 1st Annual RFID Eurasia Conference, September 5-7, 2007, Istanbul, Turkey. DOI: 10.1109/RFIDEURASIA.2007.4368135 [22] Guy-Vincent Jourdan, Hasan Ural, Shen Wang, and Husnu Yenigun, "Recovering Repetitive Sub-functions from Observations", in Proceedings of 26th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2007), Lecture Notes in Computer Science vol. 4574, pp. 35-49, June 27-29, 2007, Tallinn, Estonia. DOI: 10.1007/978-3-540-73196-2_3 [21] Albert Levi, Erkay Savas, Husnu Yenigun, Selim Balcisoy, Yucel Saygin (Eds), "Computer and Information Sciences - ISCIS 2006, 21th International Symposium", Istanbul, Turkey, November 1-3, 2006, Proceedings, Lecture Notes in Computer Science vol. 4263. DOI: 10.1007/11902140 [20] Guy-Vincent Jourdan, Hasan Ural, and Husnu Yenigun, "Minimizing Coordination Channels in Distributed Testing", in Proceedings of 26th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2006), Lecture Notes in Computer Science vol. 4229, pp. 451-466, September 26-29, 2006, Paris, France. DOI: 10.1007/11888116_32 [19] M. Cihan Yalcin and Husnu Yenigun, "Using Distinguishing and UIO Sequences Together in a Checking Sequence", in Proceedings of 18th IFIP TC6/WG 6.1 International Conference (TestCom 2006), Lecture Notes in Computer Science vol. 3964, pp. 259-273, New York, USA, May 16-18, 2006. DOI: 10.1007/11754008_17 [18] Guy-Vincent Jourdan, Hasan Ural, and Husnu Yenigun, "Recovering the Lattice of Repetitive Sub-functions", in Proceedings of 20th International Symposium on Computer and Information Sciences (ISCIS 2005), Lecture Notes in Computer Science vol. 3733, pp. 956 - 965, Istanbul, Turkey, October 26-28, 2005. DOI: 10.1007/11569596_97 [17] K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, and Husnu Yenigun, "Generalizing Redundancy Elimination in Checking Sequences", in Proceedings of 20th International Symposium on Computer and Information Sciences (ISCIS 2005), Lecture Notes in Computer Science vol. 3733, pp. 915 - 926, Istanbul, Turkey, October 26-28, 2005. DOI: 10.1007/11569596_93 [16] Jessica Chen, Robert M. Hierons, Hasan Ural, and H. Yenigun, "Eliminating Redundant Tests in a Checking Sequence", in Proceedings of 17th IFIP TC6/WG 6.1 International Conference (TestCom 2005), Lecture Notes in Computer Science vol. 3502, pp. 146-158, Montreal, Canada, May 31-June 2, 2005. DOI: 10.1007/11430230_11 [15] Hasan Ural and Husnu Yenigun, "Towards Design Recovery from Observations", in Proceedings of 24th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2004), Lecture Notes in Computer Science vol. 3235, pp. 133-149, Madrid, Spain, September 27-30, 2004. DOI: 10.1007/b100576 [14] Thomas F. Bechteler and Husnu Yenigun, "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, 2003. DOI: 10.1109/TMTT.2003.810142 [13] Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, and Husnu Yenigun, "Combining Software and Hardware Verification Techniques", Formal Methods in Systems Design, 21(3), 251-280, 2002. DOI: 10.1023/A:1020383505582 [12] Robert P. Kurshan, Vladimir Levin, and Husnu Yenigun, "Compressing Transitions for Model Checking", in Proceedings of 14th International Conference on Computer Aided Verification (CAV), Lecture Notes in Computer Science vol. 2404, pp. 569-581, Copenhagen, Denmark, July, 27-31, 2002. DOI: 10.1007/3-540-45657-0_48 [11] Vladimir Levin and Husnu Yenigun, "SDLcheck: A Model Checking Tool", in Proceedings of Computer Aided Verification (CAV), 13th International Conference, Lecture Notes in Computer Science 2102, Paris, France, July 18-22, 2001. DOI: 10.1007/3-540-44585-4_36 [10] Husnu Yenigun, "Static Partial Order Reduction and Model Checking of Hardware/Software Co-design Systems", Ph.D. Thesis, Middle East Technical University, July 2000. [09] Husnu Yenigun, Vladimir Levin, Doron Peled, and Peter A. Beerel, "Hazard-Freedom Checking in Speed-Independent Systems", in Proceedings of 10th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Bad Herrenalb, Germany, September 1999. DOI: 10.1007/3-540-48153-2_24 [08] Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, and Husnu Yenigun, "Static Partial Order Reduction", in Proceedings of TACAS 98 Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science vol. 1384, pp. 345-357, Springer, Lisbon Portugal, 1998. DOI: 10.1007/BFb0054182 [07] Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, and Husnu Yenigun, "Verifying Hardware in its Software Context", in Proceedings of International Conference on Computer Aided Design ICCAD, pp. 742-749, San Jose CA USA, 1997. DOI: 10.1109/ICCAD.1997.643621 [06] Husnu Yenigun and Kemal Inan, "Verification Using Leap Automata", in Proceedings of 2nd International Workshop on Applied Formal Methods in System Design, Zagrep Croatia, June 1997. [05] Husnu Yenigun, "A New Algebraic Language ERPAL and Translation of a Subset of SDL-92 into ERPAL", M.Sc. Thesis, Middle East Technical University, January 1995. [04] Ali Sezgin, Husnu Yenigun, and Kemal Inan, "ERPAL: A New Algebraic Language with Novel Features", in Proceedings of the 10th International Symposium on Computer and Information Sciences (ISCIS X), October 1995, pp. 635-650, Kusadasi, Aydin, Turkey. [03] Vladimir Levin, Husnu Yenigun, and Kemal Inan, "An Implementation of SDL 92 Communication Semantics", in Proceedings of the 10th International Symposium on Computer and Information Sciences (ISCIS X), October 1995, pp. 457-464, Kusadasi, Aydin, Turkey. [02] Vladimir Levin, Alexander Sulimov, Husnu Yenigun, and Kemal Inan, "Preliminary Concepts for a C++ Animator Design for SDL 92", in "Specification, Verification and Net Models of Concurrent Systems", eds. V. A. Nepomniaschy, Siberian Division of the Russian Academy of Sciences, 1994. [01] Husnu Yenigun, Esfandiar Haghverdi, Semih Bilgen, and Kemal Inan, "A Recursive Process Algebra for Queues", in Proceedings of the Sixth International Conference on Formal Description Techniques (FORTE'93), October 1993, Boston, USA. |