Thomas R. Shiple
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
6
Active years
1989–2002
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | FMCAD | Simplifying Circuits for Formal Verification Using Parametric Representation. | In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley |
| 2002 | ICCAD | Combinational equivalence checking through function transformation. | Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple |
| 2001 | ICCAD | Non-linear Quantification Scheduling in Image Computation. | Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang |
| 2000 | CAV | Building Circuits from Relations. | James H. Kukula, Thomas R. Shiple |
| 2000 | ICCAD | Smart Simulation Using Collaborative Formal and Simulation Engines. | Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long |
| 1999 | ICCAD | Least fixpoint approximations for reachability analysis. | In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi |
| 1998 | CAV | A Comparison of Presburger Engines for EFSM Reachability. | Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan |
| 1998 | DAC | Hybrid Verification Using Saturated Simulation. | Adnan Aziz, James H. Kukula, Thomas R. Shiple |
| 1998 | DAC | Approximation and Decomposition of Binary Decision Diagrams. | Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple, Fabio Somenzi |
| 1998 | FMCAD | Techniques for Implicit State Enumeration of EFSMs. | James H. Kukula, Thomas R. Shiple, Adnan Aziz |
| 1996 | CAV | VIS: A System for Verification and Synthesis. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1996 | DATE | Constructive Analysis of Cyclic Circuits. | Thomas R. Shiple, Grard Berry, Herv J. Touati |
| 1996 | FMCAD | VIS. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1994 | CAV | Formula-Dependent Equivalence for Compositional CTL Model Checking. | Adnan Aziz, Thomas R. Shiple, Vigyan Singhal |
| 1994 | DAC | HSIS: A BDD-Based Environment for Formal Verification. | Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | DAC | Heuristic Minimization of BDDs Using Don't Cares. | Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |
| 1994 | ICCD | Two-phase Logic Design by Hardware Flowcharts. | Kevin Covey, Sandra Murdock, Thomas R. Shiple |
| 1993 | DAC | A Unified Approach to Language Containment and Fair CTL Model Checking. | Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan |
| 1992 | CAV | Automatic Reduction in CTL Compositional Model Checking. | Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |
| 1992 | ICCAD | Automatic compositional minimization in CTL model checking. | Massimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |
| 1989 | ICCAD | CLEO: a CMOS layout generator. | Antun Domic, Samuel Levitin, Nathan Phillips, Channeary Thai, Thomas R. Shiple, Dilip Bhavsar, Clint Bissel |