| |
| 2008 | ||
|---|---|---|
| 3 | EE | Vijay D'Silva, Mitra Purandare, Daniel Kroening: Approximation Refinement for Interpolation-Based Model Checking. VMCAI 2008: 68-82 |
| 2003 | ||
| 2 | EE | Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi: Dos and don'ts of CTL state coverage estimation. DAC 2003: 292-295 |
| 2002 | ||
| 1 | EE | Mitra Purandare, Fabio Somenzi: Vacuum Cleaning CTL Formulae. CAV 2002: 485-499 |
| 1 | Vijay D'Silva | [3] |
| 2 | Nikhil Jayakumar | [2] |
| 3 | Daniel Kroening (Daniel Kröning) | [3] |
| 4 | Fabio Somenzi | [1] [2] |