Delay reduction using simulated annealing. - Jonathan D. Pincus; Alvin M. Despain (DAC, 1986)

Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (abstract only). - Jonathan D. Pincus (ISSTA, 2000)

A static analyzer for finding dynamic programming errors. - William R. Bush; Jonathan D. Pincus; David J. Sielaff (Softw. Pract. Exp., 2000)

Beyond Stack Smashing: Recent Advances in Exploiting Buffer Overruns. - Jonathan D. Pincus; Brandon Baker (IEEE Secur. Priv., 2004)

Righting Software. - James R. Larus; Thomas Ball 001; Manuvir Das; Robert DeLine; Manuel Fähndrich; Jonathan D. Pincus; Sriram K. Rajamani; Ramanathan Venkatapathy (IEEE Softw., 2004)

Towards an Algebra for Security Policies. - Jonathan D. Pincus; Jeannette M. Wing (ICATPN, 2005)