Concepedia

Shiple

SH

Statistics

Publications

1

Citations

11

H-Index

1

Active since

1992

Affiliations

University of California, Berkeley(Current)

Shiple is an author at University of California, Berkeley specializing in computer engineering, compositional verification, and finite state machine verification.

Publications per year

1992–1992

1

Publications

1

Automatic compositional minimization in CTL model checking

Chiodo, Shiple, Sangiovanni-Vincentelli et al. · IEEE/ACM International Conference on Computer-Aided Design · 1992 · 11 citations

Computing, Computer Engineering, Computer Science +15

1–1 of 1