| 2009 | ||
|---|---|---|
| 2 | Syed Z. Shazli, Mehdi Baradaran Tahoori: Soft error rate computation in early design stages using boolean satisfiability. ACM Great Lakes Symposium on VLSI 2009: 101-104 | |
| 2008 | ||
| 1 | Syed Z. Shazli, Mehdi Baradaran Tahoori: Obtaining Microprocessor Vulnerability Factor Using Formal Methods. DFT 2008: 63-71 | |
| 1 | Mehdi Baradaran Tahoori | [1] [2] |