Ali Alphan Bayazit

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Yogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin
Verification Driven Formal Architecture and Microarchitecture Modeling. MEMOCODE (2007)
Ali Alphan Bayazit, Sharad Malik
Complementary use of runtime validation and model checking. ICCAD (2005)