StressTest: an automatic approach to test generation via activity monitors. - Ilya Wagner; Valeria Bertacco; Todd M. Austin (DAC, 2005)

Depth-driven verification of simultaneous interfaces. - Ilya Wagner; Valeria Bertacco; Todd M. Austin (ASP-DAC, 2006)

Shielding against design flaws with field repairable control logic. - Ilya Wagner; Valeria Bertacco; Todd M. Austin (DAC, 2006)

Engineering trust with semantic guardians. - Ilya Wagner; Valeria Bertacco (DATE, 2007)

Automatic error diagnosis and correction for RTL designs. - Kai-Hui Chang; Ilya Wagner; Valeria Bertacco; Igor L. Markov (HLDVT, 2007)

Microprocessor Verification via Feedback-Adjusted Markov Models. - Ilya Wagner; Valeria Bertacco; Todd M. Austin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007)

MCjammer: Adaptive Verification for Multi-core Designs. - Ilya Wagner; Valeria Bertacco (DATE, 2008)

Reversi: Post-silicon validation system for modern microprocessors. - Ilya Wagner; Valeria Bertacco (ICCD, 2008)

Testudo: Heavyweight security analysis via statistical sampling. - Joseph L. Greathouse; Ilya Wagner; David A. Ramos; Gautam Bhatnagar; Todd M. Austin; Valeria Bertacco; Seth Pettie (MICRO, 2008)

Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors. - Ilya Wagner; Valeria Bertacco; Todd M. Austin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

An Effective Verification Solution for Modern Microprocessors. - Ilya Wagner (2008)

Caspar: Hardware patching for multicore processors. - Ilya Wagner; Valeria Bertacco (DATE, 2009)

Dacota: Post-silicon validation of the memory subsystem in multi-core designs. - Andrew DeOrio; Ilya Wagner; Valeria Bertacco (HPCA, 2009)

Distributed hardware matcher framework for SoC survivability. - Ilya Wagner; Shih-Lien Lu (DATE, 2011)

Energy-efficient cache design using variable-strength error-correcting codes. - Alaa R. Alameldeen; Ilya Wagner; Zeshan Chishti; Wei Wu 024; Chris Wilkerson; Shih-Lien Lu (ISCA, 2011)

Post-Silicon Validation of Multiprocessor Memory Consistency. - Biruk W. Mammo; Valeria Bertacco; Andrew DeOrio; Ilya Wagner (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

Functional State Extraction using Scan DFT. - Ilya Wagner; Pankaj Pant; Arani Sinha (ITC, 2024)