David Espinosa

Publication Activity (10 Years)

Years Active: 1994-2009
Publications (10 Years): 0

Publications

David Espinosa, Lindy Thorn, Dana Edberg, David T. Croasdell
The New IT Product/Project Lifecyle. AMCIS (2009)
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)
Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
JVer: A Java Verifier. CAV (2005)
Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
Enforcing Resource Bounds via Static Verification of Dynamic Checks. ESOP (2005)
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. Evaluation 20 (1-3) (1994)