Obtaining Microprocessor Vulnerability Factor Using Formal Methods. - Syed Zafar Shazli; Mehdi Baradaran Tahoori (DFT, 2008)

A Field Analysis of System-level Effects of Soft Errors Occurring in Microprocessors used in Information Systems. - Syed Zafar Shazli; Mohammed A. Abdul-Aziz; Mehdi Baradaran Tahoori; David R. Kaeli (ITC, 2008)

Transient Error Detection and Recovery in Processor Pipelines. - Syed Zafar Shazli; Mehdi Baradaran Tahoori (DFT, 2009)

Soft error rate computation in early design stages using boolean satisfiability. - Syed Zafar Shazli; Mehdi Baradaran Tahoori (ACM Great Lakes Symposium on VLSI, 2009)

Using Boolean satisfiability for computing soft error rates in early design stages. - Syed Zafar Shazli; Mehdi Baradaran Tahoori (Microelectron. Reliab., 2010)

Online detection and recovery of transient errors in front-end structures of microprocessors. - Syed Zafar Shazli; Mehdi Baradaran Tahoori (ETS, 2012)

Reliability-Aware Instruction Set Customization for ASIPs with Hardened Logic. - Unmesh D. Bordoloi; Bogdan Tanasa; Mehdi Baradaran Tahoori; Petru Eles; Zebo Peng; Syed Zafar Shazli; Samarjit Chakraborty (RTCSA, 2012)