 | 2009 |
|---|
| 7 |       | Jeffrey Fischer,
Daniel Marino,
Rupak Majumdar,
Todd D. Millstein:
Fine-Grained Access Control with Object-Sensitive Roles.
ECOOP 2009: 173-194 |
| 2008 |
|---|
| 6 | | Jeffrey Fischer,
Rupak Majumdar,
Francesco Sorrentino:
The Consistency of Web Conversations.
ASE 2008: 415-418 |
| 5 | | Jeffrey Fischer,
Rupak Majumdar:
A Theory of Role Composition.
ICWS 2008: 320-328 |
| 2007 |
|---|
| 4 | | Jeffrey Fischer,
Rupak Majumdar:
Ensuring consistency in long running transactions.
ASE 2007: 54-63 |
| 3 | | Jeffrey Fischer,
Rupak Majumdar,
Todd D. Millstein:
Tasks: language support for event-driven programming.
PEPM 2007: 134-143 |
| 2005 |
|---|
| 2 | | Jeffrey Fischer,
Ranjit Jhala,
Rupak Majumdar:
Joining dataflow with predicates.
ESEC/SIGSOFT FSE 2005: 227-236 |
| 1996 |
|---|
| 1 | | Tevfik Bultan,
Jeffrey Fischer,
Richard Gerber:
Compositional Verification by Model Checking for Counter-Examples.
ISSTA 1996: 224-238 |
