| Husnu Yenigun |
|
| Courses Publications Prof. Activities Curriculum Vitae |
| Calendar Contact Links Best Works |
|
|
| Publications |
|
[My DBLP Record] - Guy-Vincent Jourdan, Hasan Ural, Husnu Yenigun, and Ji Chao Zhang, "Lower Bounds on Lengths of Checking Sequences", Formal Aspects of Computing (accepted). DOI: 10.1007/s00165-009-0135-6 - 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), Hanoi, Vietnam, November 23-27, 2009. DOI: to appear - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - Husnu Yenigun, "Static Partial Order Reduction and Model Checking of Hardware/Software Co-design Systems", Ph.D. Thesis, Middle East Technical University, July 2000. - 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 - 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 - 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: 110.1145/266388.266625 - 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. - 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. - 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. - 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. - 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. - 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 Tuesday, 24th November, 2009 @ 01:27pm |