Husnu Yenigun
Husnu Yenigun
Courses
Publications
Prof. Activities
Curriculum Vitae
Calendar
Contact
Links
Best Works
Locations of visitors to this page
Publications

  [DBLP]   [Google Scholar]   [Google Scholar Profile]   [MAS: Coauthor graph Publication list Entry ]   [ResearcherID]   [ORCid]   [SU Research Database]

[57] Sertaç Karahoda, Kamer Kaya, Hüsnü Yenigün, "Synchronizing heuristics: Speeding up the fastest", Expert Systems with Applications, 2017.
DOI: 10.1016/j.eswa.2017.10.054

[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] Hüsnü Yenigün, 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] Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün, "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, Hüsnü Yenigün, "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] Hüsnü Yenigün, 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 Türker, Tonguç Ünlüyurt, Hüsnü Yenigün, "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, Hüsnü Yenigün, "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, Hüsnü Yenigün, "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 Güniçen, Guy-Vincent Jourdan, Hüsnü Yenigün, "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, Hüsnü Yenigün, "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 Türker, Hüsnü Yenigün, "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 Türker, Tonguç Ünlüyurt, Hüsnü Yenigün, "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 Güniçen, Kemal İnan, Uraz Cengiz Türker, Hüsnü Yenigün, "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 Güniçen, Kemal İnan, Uraz Cengiz Türker, Hüsnü Yenigün, "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 Türker, Hüsnü Yenigün, "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] Hüsnü Yenigün, "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 Güniçen, Esra Erdem, Hüsnü Yenigün, "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] İbrahim Muter, Ş. İlker Birbil, Kerem Bülbül, Güvenç Şahin, Hüsnü Yenigün, Duygu Taş, Dilek Tüzün, "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, Hüsnü Yenigün, "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, Hüsnü Yenigün, "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 Güniçen, Uraz Cengiz Türker, Hasan Ural, Hüsnü Yenigün, "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] Ş. İlker Birbil, Kerem Bülbül, Erdal Mutlu, Hüsnü Yenigün, "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.

[publications.php] : Last modified Saturday, 11th November, 2017 @ 05:25am