John D. Powell

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

David P. Gilliam, John D. Powell, Matt Bishop, Chris Andrew, Sameer Jog
Security Verification Techniques Applied to PatchLink COTS Software. WETICE (2006)
David P. Gilliam, John D. Powell, Matt Bishop
Application of Lightweight Formal Methods to Software Security. WETICE (2005)
John D. Powell
Determining Defect Trends and Identifying Critical Discriminators: A Case Study. IEEE METRICS (2004)
David P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop
Addressing Software Security and Mitigations in the Life Cycle. SEW (2003)
David P. Gilliam, John D. Powell
Integrating a Flexible Modeling Framework (FMF) with the Network Security Assessment Instrument to Reduce Software Security Risk. WETICE (2002)
David P. Gilliam, John C. Kelly, John D. Powell, Matt Bishop
Development of a Software Security Assessment Instrument to Reduce Software Security Risk. WETICE (2001)
Tim Menzies, John D. Powell, Michael E. Houle
Fast Formal Analysis of Requirements via "Topoi Diagrams". ICSE (2001)
Tim Menzies, Bojan Cukic, Harshinder Singh, John D. Powell
Testing Nondeterminate Systems. ISSRE (2000)
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell
Technology Transfer Issues for Formal Methods of Software Specification. CSEE&T (2000)