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)

JVer: A Java Verifier. - Ajay Chander; David Espinosa; Nayeem Islam; Peter Lee 001; George C. Necula (CAV, 2005)

Enforcing resource bounds via static verification of dynamic checks. - Ajay Chander; David Espinosa; Nayeem Islam; Peter Lee 001; George C. Necula (ACM Trans. Program. Lang. Syst., 2007)

The New IT Product/Project Lifecyle. - David Espinosa; Lindy Thorn; Dana Edberg; David T. Croasdell (AMCIS, 2009)