C. Norris Ip
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1993–2005
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | CAV | Symmetry Reduction in SAT-Based Model Checking. | Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip |
| 2003 | DATE | Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard. | Franco Carbognani, Christopher K. Lennard, C. Norris Ip, Allan Cochrane, Paul Bates |
| 2000 | ICCAD | Simulation Coverage Enhancement Using Test Stimulus Transformations. | C. Norris Ip |
| 1998 | FMCAD | Generalized Reversible Rules. | C. Norris Ip |
| 1996 | CAV | Verifying Systems with Replicated Components in Mur | C. Norris Ip, David L. Dill |
| 1996 | DAC | State Reduction Using Reversible Rules. | C. Norris Ip, David L. Dill |
| 1993 | ICCD | Efficient Verification of Symmetric Concurrent Systems. | C. Norris Ip, David L. Dill |