![]() | ![]() |
2007 | ||
---|---|---|
3 | EE | 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 |
1 | Carven Chan | [3] |
2 | Aarti Gupta | [1] |
3 | Yogesh S. Mahajan | [1] [3] |
4 | Sharad Malik | [2] [3] |
5 | Wei Qin | [3] |