Kuntal Nanshi

According to our database, Kuntal Nanshi authored at least 4 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Using Abstraction to Guide the Search for Long Error Traces.

Kuntal Nanshi, Fabio Somenzi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

2009

Constraints in one-to-many concretization for abstraction refinement.

Kuntal Nanshi, Fabio Somenzi

Proceedings of the 46th Design Automation Conference, 2009

2008

Improved Visibility in One-to-Many Trace Concretization.

Kuntal Nanshi, Fabio Somenzi

Proceedings of the Design, Automation and Test in Europe, 2008

2006

Guiding simulation with increasingly refined abstract traces.

Kuntal Nanshi, Fabio Somenzi

Proceedings of the 43rd Design Automation Conference, 2006