The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John D. Powell: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John Powell
    Technology Transfer Issues for Formal Methods of Software Specification. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2000, pp:23-31 [Conf]
  2. Tim Menzies, John Powell, Michael E. Houle
    Fast Formal Analysis of Requirements via "Topoi Diagrams". [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:391-400 [Conf]
  3. Tim Menzies, Bojan Cukic, Harshinder Singh, John Powell
    Testing Nondeterminate Systems. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2000, pp:222-233 [Conf]
  4. John D. Powell
    Determining Defect Trends and Identifying Critical Discriminators: A Case Study. [Citation Graph (0, 0)][DBLP]
    IEEE METRICS, 2004, pp:- [Conf]
  5. David P. Gilliam, John C. Kelly, John D. Powell, Matt Bishop
    Development of a Software Security Assessment Instrument to Reduce Software Security Risk. [Citation Graph (0, 0)][DBLP]
    WETICE, 2001, pp:144-149 [Conf]
  6. David P. Gilliam, John D. Powell
    Integrating a Flexible Modeling Framework (FMF) with the Network Security Assessment Instrument to Reduce Software Security Risk. [Citation Graph (0, 0)][DBLP]
    WETICE, 2002, pp:153-160 [Conf]
  7. David P. Gilliam, John D. Powell, Matt Bishop
    Application of Lightweight Formal Methods to Software Security. [Citation Graph (0, 0)][DBLP]
    WETICE, 2005, pp:160-165 [Conf]
  8. David P. Gilliam, John D. Powell, Matt Bishop, Chris Andrew, Sameer Jog
    Security Verification Techniques Applied to PatchLink COTS Software. [Citation Graph (0, 0)][DBLP]
    WETICE, 2006, pp:319-325 [Conf]
  9. David P. Gilliam, John Powell, Eric Haugh, Matt Bishop
    Addressing Software Security and Mitigations in the Life Cycle. [Citation Graph (0, 0)][DBLP]
    SEW, 2003, pp:201- [Conf]

Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002