Login / Signup
Kuntal Nanshi
Publication Activity (10 Years)
Years Active: 2006-2013
Publications (10 Years): 0
Top Topics
Query Formulation
Error Analysis
High Level
Search Strategies
Top Venues
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
Kuntal Nanshi
,
Fabio Somenzi
Using Abstraction to Guide the Search for Long Error Traces.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
32 (3) (2013)
Kuntal Nanshi
,
Fabio Somenzi
Constraints in one-to-many concretization for abstraction refinement.
DAC
(2009)
Kuntal Nanshi
,
Fabio Somenzi
Improved Visibility in One-to-Many Trace Concretization.
DATE
(2008)
Kuntal Nanshi
,
Fabio Somenzi
Guiding simulation with increasingly refined abstract traces.
DAC
(2006)