Dworak J, Nepal K, Alves N, Shi Y, Imbriglia N, Bahar IR. Using Implications to Choose Tests Through Suspect Fault Identification. ACM Transactions on Design Automation of Electronic Systems (TODAES). 2013;18:14:1-14:19.
Alves N, Shi Y, Dworak J, Bahar IR, Nepal K. Enhancing online error detection through area-efficient multi-site implications. In: VLSI Test Symposium (VTS), 2011 IEEE 29th.; 2011. p. 241-6.
Alves N, Buben A, Nepal K, Dworak J, Bahar IR. A Cost Effective Approach for Online Error Detection Using Invariant Relationships. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2010;29:788-801.