Articles in Scholarly Journals [Incomplete List]

1. Advanced Analysis Techniques for Cross-Product Coverage
   IEEE Transactions on Computers, vol. 55, no. 11, pp. 1367–1379, 2006
2. Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation
   IEEE Transactions on Computers, vol. 55, no. 11, pp. 1344–1355, 2006
3. Genesys-pro: innovations in test program generation for functional processor verification
   IEEE Design & Test of Computers, vol. 21, no. 2, pp. 84–93, 2004
4. Analysis of checkpointing schemes with task duplication
   IEEE Transactions on Computers, vol. 47, no. 2, pp. 222–227, 1998
5. An on-line algorithm for checkpoint placement
   IEEE Transactions on Computers, vol. 46, no. 9, pp. 976–985, 1997
6. Performance optimization of checkpointing schemes with task duplication
   IEEE Transactions on Computers, vol. 46, no. 12, pp. 1381–1386, 1997