Travelled to:1 × Germany
2 × USA
Collaborated with:F.Somenzi
Talks about:abstract (2) concret (2) trace (2) refin (2) mani (2) one (2) constraint (1) increas (1) visibl (1) improv (1)
Person: Kuntal Nanshi
DBLP: Nanshi:Kuntal
Contributed to:
2009
20082006Wrote 3 papers:
- DAC-2009-NanshiS #abstraction #constraints #refinement
- Constraints in one-to-many concretization for abstraction refinement (KN, FS), pp. 569–574.
- DATE-2008-NanshiS
- Improved Visibility in One-to-Many Trace Concretization (KN, FS), pp. 819–824.
- DAC-2006-NanshiS #simulation
- Guiding simulation with increasingly refined abstract traces (KN, FS), pp. 737–742.