| 2008 |
|---|
| 6 | EE | Jeffrey Fischer,
Rupak Majumdar,
Francesco Sorrentino:
The Consistency of Web Conversations.
ASE 2008: 415-418 |
| 5 | EE | Jeffrey Fischer,
Rupak Majumdar:
A Theory of Role Composition.
ICWS 2008: 320-328 |
| 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 |
