Ali Alphan Bayazit

	2007
3		Yogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin: Verification Driven Formal Architecture and Microarchitecture Modeling. MEMOCODE 2007: 123-132
	2005
2		Ali Alphan Bayazit, Sharad Malik: Complementary use of runtime validation and model checking. ICCAD 2005: 1052-1059
1		Aarti Gupta, Ali Alphan Bayazit, Yogesh S. Mahajan: Verification Languages. The Industrial Information Technology Handbook 2005: 1-18

Coauthor Index

1	Carven Chan	[3]
2	Aarti Gupta	[1]
3	Yogesh S. Mahajan	[1] [3]
4	Sharad Malik	[2] [3]
5	Wei Qin	[3]