David Espinosa

According to our database, David Espinosa authored at least 4 papers between 1994 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2009

The New IT Product/Project Lifecyle.

David Espinosa, Lindy Thorn, Dana Edberg, David T. Croasdell

Proceedings of the 15th Americas Conference on Information Systems, 2009

2007

Enforcing resource bounds via static verification of dynamic checks.

Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula

ACM Trans. Program. Lang. Syst., 2007

2005

JVer: A Java Verifier.

Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

1994

Fast Parallel Solution of Fixed Point Equations for the Performance Evaluation of Circuit-Switched Networks.

Albert G. Greenberg, Andrew M. Odlyzko, Jennifer Rexford, David Espinosa

Perform. Evaluation, 1994