| 1994 | ICCD | Path-Delay Fault Simulation for a Standard Scan Design Methodology. | Sungho Kang, Wai-On Law, Bill Underwood |
| 1994 | ITC | Fastpath: A Path-Delay Test Generator for Standard Scan Designs. | Bill Underwood, Wai-On Law, Sungho Kang, Haluk Konuk |
| 1991 | DAC | The Interdependence Between Delay-Optimization of Synthesized Networks and Testing. | Thomas W. Williams, Bill Underwood, M. Ray Mercer |
| 1991 | ITC | Delay Testing Quality in Timing-Optimized Designs. | Eun Sei Park, Bill Underwood, Thomas W. Williams, M. Ray Mercer |
| 1989 | ITC | The Parallel-Test-Detect Fault Simulation Algorithm. | Bill Underwood, Jack Ferguson |
| 1988 | ICPP | An Analysis of Parallel Logic Simulation on Several Architectures. | Steven P. Smith, Bill Underwood, Joe Newman |
| 1988 | ITC | D^3FS: A Demand Driven Deductive Fault Simulator. | Steven P. Smith, Bill Underwood, M. Ray Mercer |
| 1986 | ITC | Calculation of Greatest Lower Bounds Obtainable by the Cutting Algorithm. | Rhonda Kay Gaede, M. Ray Mercer, Bill Underwood |
| 1985 | ITC | Built-In Self Test Input Generator for Programmable Logic Arrays. | John Salick, Bill Underwood, M. Ray Mercer |
| 1984 | ITC | Correlating Testability with Fault Detection. | Bill Underwood, M. Ray Mercer |