| 2002 | ITC | Multiplets, Models, and the Search for Meaning: Improving Per-Test Fault Diagnosis. | David B. Lavo, Ismed Hartanto, Tracy Larrabee |
| 2000 | ITC | Comparing functional and structural tests. | Peter C. Maxwell, Ismed Hartanto, Lee Bentz |
| 1998 | ITC | Probabilistic mixed-model fault diagnosis. | David B. Lavo, Brian Chess, Tracy Larrabee, Ismed Hartanto |
| 1997 | VLSID | Characterization and Implicit Identification of Sequential Indistinguishability. | Vamsi Boppana, Ismed Hartanto, W. Kent Fuchs |
| 1997 | VTS | Diagnostic Test Pattern Generation for Sequential Circuits. | Ismed Hartanto, Vamsi Boppana, Janak H. Patel, W. Kent Fuchs |
| 1996 | ICCAD | Identification of unsettable flip-flops for partial scan and faster ATPG. | Ismed Hartanto, Vamsi Boppana, W. Kent Fuchs |
| 1996 | ITC | Diagnostic Fault Equivalence Identification Using Redundancy Information and Structural Analysis. | Ismed Hartanto, Vamsi Boppana, W. Kent Fuchs |
| 1996 | VTS | Full fault dictionary storage based on labeled tree encoding. | Vamsi Boppana, Ismed Hartanto, W. Kent Fuchs |
| 1996 | VTS | Dynamic diagnosis of sequential circuits based on stuck-at faults. | Srikanth Venkataraman, Ismed Hartanto, W. Kent Fuchs |
| 1995 | DAC | Rapid Diagnostic Fault Simulation of Stuck-at Faults in Sequential Circuits Using Compact Lists. | Srikanth Venkataraman, Ismed Hartanto, W. Kent Fuchs, Elizabeth M. Rudnick, Sreejit Chakravarty, Janak H. Patel |