| |
| 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] |