BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Purandare:Mitra

Contributed to:

DAC 20122012
DAC 20102010
VMCAI 20102010
DATE 20092009
VMCAI 20082008
DAC 20032003
CAV 20022002

Wrote 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.
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.
Vacuum Cleaning CTL Formulae (MP, FS), pp. 485–499.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.