Search the dblp DataBase

Publications of Author

1. Ilya Wagner, Valeria Bertacco, Todd M. Austin
   Depth-driven verification of simultaneous interfaces. [Citation Graph (0, 0)][DBLP]
   ASP-DAC, 2006, pp:442-447 [Conf]
   
2. Ilya Wagner, Valeria Bertacco, Todd M. Austin
   StressTest: an automatic approach to test generation via activity monitors. [Citation Graph (0, 0)][DBLP]
   DAC, 2005, pp:783-788 [Conf]
   
3. Ilya Wagner, Valeria Bertacco, Todd M. Austin
   Shielding against design flaws with field repairable control logic. [Citation Graph (0, 0)][DBLP]
   DAC, 2006, pp:344-347 [Conf]
   
4. Ilya Wagner, Valeria Bertacco
   Engineering trust with semantic guardians. [Citation Graph (0, 0)][DBLP]
   DATE, 2007, pp:743-748 [Conf]
   
5. 
   MCjammer: Adaptive Verification for Multi-core Designs. [Citation Graph (, )][DBLP]
   
   
6. 
   Caspar: Hardware patching for multicore processors. [Citation Graph (, )][DBLP]
   
   
7. 
   Dacota: Post-silicon validation of the memory subsystem in multi-core designs. [Citation Graph (, )][DBLP]
   
   
8. 
   Reversi: Post-silicon validation system for modern microprocessors. [Citation Graph (, )][DBLP]
   
   
9. 
   Testudo: Heavyweight security analysis via statistical sampling. [Citation Graph (, )][DBLP]