Efficient Verification of Symmetric Concurrent Systems. - C. Norris Ip; David L. Dill (ICCD, 1993)

Verifying Systems with Replicated Components in Murphi. - C. Norris Ip; David L. Dill (CAV, 1996)

State Reduction Using Reversible Rules. - C. Norris Ip; David L. Dill (DAC, 1996)

Better Verification Through Symmetry. - C. Norris Ip; David L. Dill (Formal Methods Syst. Des., 1996)

State reduction methods for automatic formal verification. - C. Norris Ip (1996)

Generalized Reversible Rules. - C. Norris Ip (FMCAD, 1998)

Verifying Systems with Replicated Components in Mur[b.phiv]. - C. Norris Ip; David L. Dill (Formal Methods Syst. Des., 1999)

Simulation Coverage Enhancement Using Test Stimulus Transformations. - C. Norris Ip (ICCAD, 2000)

Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard. - Franco Carbognani; Christopher K. Lennard; C. Norris Ip; Allan Cochrane; Paul Bates (DATE, 2003)

Symmetry Reduction in SAT-Based Model Checking. - Daijue Tang; Sharad Malik; Aarti Gupta; C. Norris Ip (CAV, 2005)