| 2007 | ||
|---|---|---|
| 4 | EE | Jeffrey Fischer, Rupak Majumdar: Ensuring consistency in long running transactions. ASE 2007: 54-63 |
| 3 | EE | Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein: Tasks: language support for event-driven programming. PEPM 2007: 134-143 |
| 2005 | ||
| 2 | EE | Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar: Joining dataflow with predicates. ESEC/SIGSOFT FSE 2005: 227-236 |
| 1996 | ||
| 1 | EE | Tevfik Bultan, Jeffrey Fischer, Richard Gerber: Compositional Verification by Model Checking for Counter-Examples. ISSTA 1996: 224-238 |
| 1 | Tevfik Bultan | [1] |
| 2 | Richard Gerber | [1] |
| 3 | Ranjit Jhala | [2] |
| 4 | Rupak Majumdar | [2] [3] [4] |
| 5 | Todd D. Millstein | [3] |