| 2007 |
|---|
| 4 | EE | Ajay Chander,
David Espinosa,
Nayeem Islam,
Peter Lee,
George C. Necula:
Enforcing resource bounds via static verification of dynamic checks.
ACM Trans. Program. Lang. Syst. 29(5): (2007) |
| 2005 |
|---|
| 3 | EE | Ajay Chander,
David Espinosa,
Nayeem Islam,
Peter Lee,
George C. Necula:
JVer: A Java Verifier.
CAV 2005: 144-147 |
| 2 | EE | Ajay Chander,
David Espinosa,
Nayeem Islam,
Peter Lee,
George C. Necula:
Enforcing Resource Bounds via Static Verification of Dynamic Checks.
ESOP 2005: 311-325 |
| 1994 |
|---|
| 1 | | Albert G. Greenberg,
Andrew M. Odlyzko,
Jennifer Rexford,
David Espinosa:
Fast Parallel Solution of Fixed Point Equations for the Performance Evaluation of Circuit-Switched Networks.
Perform. Eval. 20(1-3): 67-81 (1994) |
