Skip to main content
Hüsnü Yenigün Faculty of Engineering and Natural Sciences Faculty Member (216) 483 9544 husnuyenigunsabanciunivedu
Jobs

Faculty Member


Education

Electrical and Electronics Engineering, Middle East Technical University (METU) [B.Sc. 1992, Ph.D. 2000]

Areas of Interest

Formal methods; hardware/software verification; model checking; finite state machine based testing

Article
Working Paper / Technical Report
Publications Prior to SU

- R.P. Kurshan, V. Levin, M. Minea, D. Peled, and H. Yenigun, "Combining Software and Hardware Verification Techniques", Formal Methods in Systems Design, 21(3), 2002. [http://dx.doi.org/10.1023/A:1020383505582] - R.P. Kurshan, V. Levin, and H. Yenigun, "Compressing Transitions for Model Checking", in Proc. of CAV'02, LNCS 2404, pp. 569-581, 2002.

Home

FENS Dean's Office

Orta Mahalle, 34956 Tuzla, İstanbul, Türkiye

+90 216 483 96 00

© Sabancı University 2023