John D. Powell

According to our database, John D. Powell authored at least 9 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

Security Verification Techniques Applied to PatchLink COTS Software.

David P. Gilliam, John D. Powell, Matt Bishop, Chris Andrew, Sameer Jog

Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 2006

2005

Application of Lightweight Formal Methods to Software Security.

David P. Gilliam, John D. Powell, Matt Bishop

Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

2004

Determining Defect Trends and Identifying Critical Discriminators: A Case Study.

John D. Powell

Proceedings of the 10th IEEE International Software Metrics Symposium (METRICS 2004), 2004

2003

Addressing Software Security and Mitigations in the Life Cycle.

David P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

2002

Integrating a Flexible Modeling Framework (FMF) with the Network Security Assessment Instrument to Reduce Software Security Risk.

David P. Gilliam, John D. Powell

Proceedings of the 11th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2002), 2002

2001

Development of a Software Security Assessment Instrument to Reduce Software Security Risk.

David P. Gilliam, John C. Kelly, John D. Powell, Matt Bishop

Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

Fast Formal Analysis of Requirements via "Topoi Diagrams".

Tim Menzies, John D. Powell, Michael E. Houle

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Testing Nondeterminate Systems.

Tim Menzies, Bojan Cukic, Harshinder Singh, John D. Powell

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

Technology Transfer Issues for Formal Methods of Software Specification.

Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell

Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000