Travelled to:1 × Denmark
1 × France
1 × Spain
4 × USA
Collaborated with:D.Kröning F.Somenzi V.D'Silva K.Atasu C.Hagleitner H.Chockler T.Wahl N.Jayakumar G.Weissenbacher
Talks about:interpol (3) coverag (2) refin (2) model (2) check (2) base (2) ctl (2) strengthen (1) strength (1) properti (1)
Person: Mitra Purandare
DBLP: Purandare:Mitra
Contributed to:
20122010
2010
200920082003
2002Wrote 7 papers:
- DAC-2012-PurandareAH #correctness #proving #regular expression
- Proving correctness of regular expression accelerators (MP, KA, CH), pp. 350–355.
- DAC-2010-ChocklerKP #model checking
- Coverage in interpolation-based model checking (HC, DK, MP), pp. 182–187.
- VMCAI-2010-DSilvaKPW
- Interpolant Strength (VD, DK, MP, GW), pp. 129–145.
- DATE-2009-PurandareWK #abstraction #refinement #using
- Strengthening properties using abstraction refinement (MP, TW, DK), pp. 1692–1697.
- VMCAI-2008-DSilvaPK #approximate #model checking #refinement
- Approximation Refinement for Interpolation-Based Model Checking (VD, MP, DK), pp. 68–82.
- DAC-2003-JayakumarPS #estimation
- Dos and don’ts of CTL state coverage estimation (NJ, MP, FS), pp. 292–295.
- CAV-2002-PurandareS
- Vacuum Cleaning CTL Formulae (MP, FS), pp. 485–499.