Skip to main content
...
Hüsnü Yenigün
Mühendislik ve Doğa Bilimleri Fakültesi
Öğretim Üyesi
(216) 483 9544
Pozisyon

Öğretim Üyesi

Eğitim

Elektrik ve Elektronik Mühendisliği, Orta Doğu Teknik Üniversitesi (ODTÜ) [Lisans 1992, Doktora 2000]

Araştırma Alanları

Biçimsel metodlar; donanım/yazılım doğrulama; model kontrolü; sonlu durum makinalarına dayalı sınama yöntemleri

Article
Working Paper / Technical Report

- R.P. Kurshan, V. Levin, and H. Yenigun, "Compressing Transitions for Model Checking", in Proc. of CAV'02, LNCS 2404, pp. 569-581, 2002.