Technology Transfer Issues for Formal Methods of Software Specification. - Ken Abernethy; John C. Kelly; Ann E. Kelley Sobel; James D. Kiper; John D. Powell (CSEE&T, 2000)

Testing Nondeterminate Systems. - Tim Menzies; Bojan Cukic; Harshinder Singh; John D. Powell (ISSRE, 2000)

Fast Formal Analysis of Requirements via "Topoi Diagrams". - Tim Menzies; John D. Powell; Michael E. Houle (ICSE, 2001)

Development of a Software Security Assessment Instrument to Reduce Software Security Risk. - David P. Gilliam; John C. Kelly; John D. Powell; Matt Bishop (WETICE, 2001)

Integrating a Flexible Modeling Framework (FMF) with the Network Security Assessment Instrument to Reduce Software Security Risk. - David P. Gilliam; John D. Powell (WETICE, 2002)

Addressing Software Security and Mitigations in the Life Cycle. - David P. Gilliam; John D. Powell; Eric Haugh; Matt Bishop (SEW, 2003)

Determining Defect Trends and Identifying Critical Discriminators: A Case Study. - John D. Powell (IEEE METRICS, 2004)

Application of Lightweight Formal Methods to Software Security. - David P. Gilliam; John D. Powell; Matt Bishop (WETICE, 2005)

Security Verification Techniques Applied to PatchLink COTS Software. - David P. Gilliam; John D. Powell; Matt Bishop; Chris Andrew; Sameer Jog (WETICE, 2006)