| 2009 |
|---|
| 6 | EE | Michael Emmi,
Ranjit Jhala,
Eddie Kohler,
Rupak Majumdar:
Verifying Reference Counting Implementations.
TACAS 2009: 352-367 |
| 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 |
