Skip to main content
Hüsnü YenigünFaculty of Engineering and Natural SciencesFaculty Member(216) 483 9544yenigun@sabanciuniv.edu
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.