Kimberly S. Wasson

A Case Study in Systematic Improvement of Language for Requirements

Kimberly S. Wasson, K. Wasson, 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

Clear requirements: improving validity using cognitive linguistic elicitation and representation

John C. Knight, Kimberly S. Wasson, J. Knight, 2006 .

On Classification in the Study of Failure, and a Challenge to Classifiers

Kimberly S. Wasson, K. Wasson, 2003 .

Hazard Analysis of Verification Supporting Arguments for Assured Autonomy

Ashlie B. Hocking, Jonathan C. Rowanhill, Kimberly S. Wasson, 2020, 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC).

A Comprehensive Safety Lifecycle

John C. Knight, M. Anthony Aiello, Jonathan C. Rowanhill, 2015, SAFECOMP Workshops.

Partial Reductive Paraphrase: Toward More Transparent Requirements

Kimberly S. Wasson, K. Wasson, 2001 .

Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development

John C. Knight, Elisabeth A. Strunk, Kimberly S. Wasson, 2003, SAFECOMP.

A Proposed Approach for Use of Assurance Cases in Certification of Airborne Software

Alec J. Bateman, John C. Knight, Michael D. DeVore, 2014 .

Using occurrence properties of defect report data to improve requirements

Robyn R. Lutz, John C. Knight, Kimberly S. Wasson, 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

A security metric based on security arguments

John C. Knight, Benjamin D. Rodes, Kimberly S. Wasson, 2014, WETSoM 2014.

Requirements Metrics : Scaling Up

Kimberly S. Wasson, 2003 .