| 2008 | ||
|---|---|---|
| 2 | Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson: Automatic Generation of Local Repairs for Boolean Programs. FMCAD 2008: 1-10 | |
| 2006 | ||
| 1 | Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta: Automatic Verification of Parameterized Data Structures. TACAS 2006: 27-41 | |
| 1 | E. Allen Emerson | [1] [2] |
| 2 | Prateek Gupta | [1] |
| 3 | Roopsha Samanta | [2] |