BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Shiple:Thomas_R=

Contributed to:

CAV 20002000
CAV 19981998
DAC 19981998
CAV 19961996
CAV 19941994
DAC 19941994
DAC 19931993
CAV 19921992

Wrote 10 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.