Chris Wilson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1997–2000
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | DAC | Reliable verification using symbolic simulation with scalar values. | Chris Wilson, David L. Dill |
| 2000 | FMCAD | Symbolic Simulation with Approximate Values. | Chris Wilson, David L. Dill, Randal E. Bryant |
| 1997 | ICCD | Formal Verification of the HAL S1 System Cache Coherence Protocol. | Alan J. Hu, Masahiro Fujita, Chris Wilson |