Resume Research Papers Personal Home

Representative Papers

Experience report on the use of assurance cases supporting GPS (June 2008)

DSN 2005 paper on assured reconfiguration

ISSC 2004 paper on data specification (including both formal and natural language components)

I am a Senior Member of the Technical Staff in the Software Systems Engineering Department at The Aerospace Corporation. My expertise is in software systems dependability, both qualitative (e.g., assurance cases) and quantitative (software quality and reliability). I received my Ph.D. in 2005 from the University of Virginia, as part of the Dependability Research Group. I received my Ph.D. under the name Elisabeth Strunk.