John D. Powell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2000–2006
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | WETICE | Security Verification Techniques Applied to PatchLink COTS Software. | David P. Gilliam, John D. Powell, Matt Bishop, Chris Andrew, Sameer Jog |
| 2005 | WETICE | Application of Lightweight Formal Methods to Software Security. | David P. Gilliam, John D. Powell, Matt Bishop |
| 2003 | SEW | Addressing Software Security and Mitigations in the Life Cycle. | David P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop |
| 2002 | WETICE | Integrating a Flexible Modeling Framework (FMF) with the Network Security Assessment Instrument to Reduce Software Security Risk. | David P. Gilliam, John D. Powell |
| 2001 | ICSE | Fast Formal Analysis of Requirements via "Topoi Diagrams". | Tim Menzies, John D. Powell, Michael E. Houle |
| 2001 | WETICE | Development of a Software Security Assessment Instrument to Reduce Software Security Risk. | David P. Gilliam, John C. Kelly, John D. Powell, Matt Bishop |
| 2000 | ISSRE | Testing Nondeterminate Systems. | Tim Menzies, Bojan Cukic, Harshinder Singh, John D. Powell |