Travelled to:2 × Canada
6 × USA
Collaborated with:J.H.Kukula R.K.Brayton A.Aziz A.L.Sangiovanni-Vincentelli R.Hojati R.K.Ranjan V.Singhal F.Somenzi K.Ravi K.L.McMillan R.P.Kurshan M.Chiodo S.Cheng F.Balarin T.Kam S.C.Krishnan S.Tasiran H.Wang G.D.Hachtel S.A.Edwards S.P.Khatri Y.Kukimoto A.Pardo S.Qadeer S.Sarwary G.Swamy T.Villa
Talks about:verif (3) model (3) check (3) ctl (3) composit (2) use (2) decomposit (1) comparison (1) synthesi (1) reachabl (1)
Person: Thomas R. Shiple
DBLP: Shiple:Thomas_R=
Contributed to:
20001998
199819961994199419931992Wrote 10 papers:
- CAV-2000-KukulaS
- Building Circuits from Relations (JHK, TRS), pp. 113–123.
- CAV-1998-ShipleKR #comparison #reachability
- A Comparison of Presburger Engines for EFSM Reachability (TRS, JHK, RKR), pp. 280–292.
- DAC-1998-AzizKS #hybrid #simulation #using #verification
- Hybrid Verification Using Saturated Simulation (AA, JHK, TRS), pp. 615–618.
- DAC-1998-RaviMSS #approximate #composition #diagrams
- Approximation and Decomposition of Binary Decision Diagrams (KR, KLM, TRS, FS), pp. 445–450.
- CAV-1996-BraytonHSSACEKKPQRSSSV #named #synthesis #verification
- VIS: A System for Verification and Synthesis (RKB, GDH, ALSV, FS, AA, STC, SAE, SPK, YK, AP, SQ, RKR, SS, TRS, GS, TV), pp. 428–432.
- CAV-1994-AzizSS #composition #equivalence #model checking
- Formula-Dependent Equivalence for Compositional CTL Model Checking (AA, TRS, VS), pp. 324–337.
- DAC-1994-AzizBCHKKRSSTWBS #named #verification
- HSIS: A BDD-Based Environment for Formal Verification (AA, FB, STC, RH, TK, SCK, RKR, TRS, VS, ST, HYW, RKB, ALSV), pp. 454–459.
- DAC-1994-ShipleHSB #heuristic #using
- Heuristic Minimization of BDDs Using Don’t Cares (TRS, RH, ALSV, RKB), pp. 225–231.
- DAC-1993-HojatiSBK #approach #model checking
- A Unified Approach to Language Containment and Fair CTL Model Checking (RH, TRS, RKB, RPK), pp. 475–481.
- CAV-1992-ShipleCSB #automation #composition #model checking #reduction
- Automatic Reduction in CTL Compositional Model Checking (TRS, MC, ALSV, RKB), pp. 234–247.