Travelled to:1 × Germany
1 × United Kingdom
2 × USA
Collaborated with:D.L.Dill D.Tang S.Malik A.Gupta F.Carbognani C.K.Lennard A.Cochrane P.Bates
Talks about:system (3) reduct (2) model (2) use (2) symmetri (1) standard (1) abstract (1) qualifi (1) verifi (1) revers (1)
Person: C. Norris Ip
DBLP: Ip:C=_Norris
Contributed to:
2005
20031996
1996Wrote 4 papers:
- CAV-2005-TangMGI #model checking #reduction #satisfiability #symmetry
- Symmetry Reduction in SAT-Based Model Checking (DT, SM, AG, CNI), pp. 125–138.
- DATE-2003-CarbognaniLICB #modelling #precise #standard #using #verification
- Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard (FC, CKL, CNI, AC, PB), pp. 20088–20094.
- CAV-1996-IpD #component #verification
- Verifying Systems with Replicated Components in Murphi (CNI, DLD), pp. 147–158.
- DAC-1996-IpD #reduction #using
- State Reduction Using Reversible Rules (CNI, DLD), pp. 564–567.