dblp.uni-trier.dewww.uni-trier.de

David Espinosa

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
4EEAjay 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
3EEAjay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula: JVer: A Java Verifier. CAV 2005: 144-147
2EEAjay 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)

Coauthor Index

1Ajay Chander [2] [3] [4]
2Albert G. Greenberg [1]
3Nayeem Islam [2] [3] [4]
4Peter Lee [2] [3] [4]
5George C. Necula [2] [3] [4]
6Andrew M. Odlyzko [1]
7Jennifer Rexford [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)