Panel: Complex System Verification: The Challenge Ahead. - Ronald Collett; Mike Gianfagna; Michel Courtoy; Martin Baynes; Johan Van Ginderdeuren; Kenneth L. McMillan; Stephen Ricca; Alberto L. Sangiovanni-Vincentelli; Steve Sapiro; Naeem Zafar (DAC, 1994)

DFM: where's the proof of value? - Shishpal Rawat; Raul Camposano; Andrew B. Kahng; Joseph Sawicki; Mike Gianfagna; Naeem Zafar; Atul Sharan (DAC, 2006)