| 2009 | ||
|---|---|---|
| 3 | Kuntal Nanshi, Fabio Somenzi: Constraints in one-to-many concretization for abstraction refinement. DAC 2009: 569-574 | |
| 2008 | ||
| 2 | Kuntal Nanshi, Fabio Somenzi: Improved Visibility in One-to-Many Trace Concretization. DATE 2008: 819-824 | |
| 2006 | ||
| 1 | Kuntal Nanshi, Fabio Somenzi: Guiding simulation with increasingly refined abstract traces. DAC 2006: 737-742 | |
| 1 | Fabio Somenzi | [1] [2] [3] |