Thomas R. Shiple

2002
21	EE	In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley: Simplifying Circuits for Formal Verification Using Parametric Representation. FMCAD 2002: 52-69
20	EE	Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple: Combinational equivalence checking through function transformation. ICCAD 2002: 526-533
19		Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Formula-Dependent Equivalence for Compositional CTL Model Checking. Formal Methods in System Design 21(2): 193-224 (2002)
2001
18	EE	Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang: Non-linear Quantification Scheduling in Image Computation. ICCAD 2001: 293-
17	EE	Adnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan: Efficient control state-space search. IEEE Trans. on CAD of Integrated Circuits and Systems 20(2): 332-336 (2001)
2000
16		James H. Kukula, Thomas R. Shiple: Building Circuits from Relations. CAV 2000: 113-123
15		Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long: Smart Simulation Using Collaborative Formal and Simulation Engines. ICCAD 2000: 120-126
1999
14	EE	In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi: Least fixpoint approximations for reachability analysis. ICCAD 1999: 41-44
1998
13		Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan: A Comparison of Presburger Engines for EFSM Reachability. CAV 1998: 280-292
12	EE	Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple, Fabio Somenzi: Approximation and Decomposition of Binary Decision Diagrams. DAC 1998: 445-450
11	EE	Adnan Aziz, James H. Kukula, Thomas R. Shiple: Hybrid Verification Using Saturated Simulation. DAC 1998: 615-618
10	EE	James H. Kukula, Thomas R. Shiple, Adnan Aziz: Techniques for Implicit State Enumeration of EFSMs. FMCAD 1998: 469-482
1996
9		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: VIS: A System for Verification and Synthesis. CAV 1996: 428-432
8		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: VIS. FMCAD 1996: 248-256
1994
7		Adnan Aziz, Thomas R. Shiple, Vigyan Singhal: Formula-Dependent Equivalence for Compositional CTL Model Checking. CAV 1994: 324-337
6	EE	Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton: Heuristic Minimization of BDDs Using Don't Cares. DAC 1994: 225-231
5	EE	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: HSIS: A BDD-Based Environment for Formal Verification. DAC 1994: 454-459
4		Kevin Covey, Sandra Murdock, Thomas R. Shiple: Two-phase Logic Design by Hardware Flowcharts. ICCD 1994: 368-380
1993
3	EE	Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan: A Unified Approach to Language Containment and Fair CTL Model Checking. DAC 1993: 475-481
1992
2		Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton: Automatic Reduction in CTL Compositional Model Checking. CAV 1992: 234-247
1	EE	Massimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton: Automatic compositional minimization in CTL model checking. ICCAD 1992: 172-178

Coauthor Index

1	Adnan Aziz	[5] [7] [8] [9] [10] [11] [17] [19]
2	Felice Balarin	[5]
3	Valeria Bertacco	[15]
4	Robert K. Brayton	[1] [2] [3] [5] [6] [8] [9] [19]
5	Pankaj Chauhan	[18]
6	Szu-Tsung Cheng	[5] [8] [9]
7	Massimiliano Chiodo	[1] [2]
8	Edmund M. Clarke	[18]
9	Kevin Covey	[4]
10	Robert F. Damiano	[15]
11	Stephen A. Edwards	[8] [9]
12	Gary D. Hachtel	[8] [9]
13	Kevin Harer	[15]
14	Pei-Hsin Ho	[15]
15	Ramin Hojati	[3] [5] [6]
16	Somesh Jha	[18]
17	Timothy Kam	[5]
18	Sunil P. Khatri	[8] [9]
19	Sriram C. Krishnan	[5]
20	Yuji Kukimoto	[8] [9]
21	James H. Kukula	[10] [11] [13] [14] [15] [16] [17] [18] [20] [21]
22	Robert P. Kurshan	[3]
23	Hee-Hwan Kwak	[20] [21]
24	Jiang Long	[15]
25	Kenneth L. McMillan	[12]
26	In-Ho Moon	[14] [20] [21]
27	Sandra Murdock	[4]
28	Abelardo Pardo	[8] [9]
29	Carl Pixley	[21]
30	Shaz Qadeer	[8] [9]
31	Rajeev K. Ranjan	[5] [8] [9] [13]
32	Kavita Ravi	[12]
33	Alberto L. Sangiovanni-Vincentelli	[1] [2] [5] [6] [8] [9] [19]
34	Shaker Sarwary	[8] [9]
35	Vigyan Singhal	[5] [7] [19]
36	Fabio Somenzi	[8] [9] [12] [14]
37	Gitanjali Swamy	[8] [9]
38	Serdar Tasiran	[5]
39	Jerry Taylor	[15]
40	Helmut Veith	[18]
41	Tiziano Villa	[8] [9]
42	Dong Wang	[18]
43	Huey-Yih Wang	[5]
44	Jun Yuan	[17]

Colors in the list of coauthors