| 2008 | ||
|---|---|---|
| 5 | EE | Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu: Assume-Guarantee Verification for Interface Automata. FM 2008: 116-131 |
| 2007 | ||
| 4 | EE | Michael Emmi, Rupak Majumdar, Koushik Sen: Dynamic test input generation for database applications. ISSTA 2007: 151-162 |
| 3 | EE | Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar: Lock allocation. POPL 2007: 291-296 |
| 2 | EE | Michael Emmi, Rupak Majumdar: Verifying Compensating Transactions. VMCAI 2007: 29-43 |
| 2006 | ||
| 1 | EE | Michael Emmi, Rupak Majumdar: Decision Problems for the Verification of Real-Time Software. HSCC 2006: 200-211 |
| 1 | Jeffrey S. Fischer | [3] |
| 2 | Dimitra Giannakopoulou | [5] |
| 3 | Ranjit Jhala | [3] |
| 4 | Rupak Majumdar | [1] [2] [3] [4] |
| 5 | Corina S. Pasareanu | [5] |
| 6 | Koushik Sen | [4] |