 | 2005 |
|---|
| 6 |       | Jonathan D. Pincus,
Jeannette M. Wing:
Towards an Algebra for Security Policies.
ICATPN 2005: 17-25 |
| 2004 |
|---|
| 5 | | Jonathan D. Pincus,
Brandon Baker:
Beyond Stack Smashing: Recent Advances in Exploiting Buffer Overruns.
IEEE Security & Privacy 2(4): 20-27 (2004) |
| 4 | | James R. Larus,
Thomas Ball,
Manuvir Das,
Robert DeLine,
Manuel Fähndrich,
Jonathan D. Pincus,
Sriram K. Rajamani,
Ramanathan Venkatapathy:
Righting Software.
IEEE Software 21(3): 92-100 (2004) |
| 2000 |
|---|
| 3 | | Jonathan D. Pincus:
Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (abstract only).
ISSTA 2000: 1 |
| 2 |  | William R. Bush,
Jonathan D. Pincus,
David J. Sielaff:
A static analyzer for finding dynamic programming errors.
Softw., Pract. Exper. 30(7): 775-802 (2000) |
| 1986 |
|---|
| 1 | | Jonathan D. Pincus,
Alvin M. Despain:
Delay reduction using simulated annealing.
DAC 1986: 690-695 |
