Towards a Rigorous Definition of Information System Survivability. - John C. Knight; Elisabeth A. Strunk; Kevin J. Sullivan (DISCEX (1), 2003)

Achieving Critical System Survivability Through Software Architectures. - John C. Knight; Elisabeth A. Strunk (WADS, 2003)

Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development. - Kimberly S. Wasson; John C. Knight; Elisabeth A. Strunk; Sean R. Travis (SAFECOMP, 2003)

Assured Reconfiguration of Embedded Real-Time Software. - Elisabeth A. Strunk; John C. Knight (DSN, 2004)

Failure Analysis and the Safety-Case Lifecycle. - William S. Greenwell; Elisabeth A. Strunk; John C. Knight (Human Error, Safety and Systems Development, 2004)

Assured Reconfiguration of Fail-Stop Systems. - Elisabeth A. Strunk; John C. Knight; M. Anthony Aiello (DSN, 2005)

Echo: a practical approach to formal verification. - Elisabeth A. Strunk; Xiang Yin 001; John C. Knight (FMICS, 2005)

Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases. - Patrick J. Graydon; John C. Knight; Elisabeth A. Strunk (WADS, 2006)

Dependability through Assured Reconfiguration in Embedded System Software. - Elisabeth A. Strunk; John C. Knight (IEEE Trans. Dependable Secur. Comput., 2006)

Assurance Based Development of Critical Systems. - Patrick J. Graydon; John C. Knight; Elisabeth A. Strunk (DSN, 2007)

The essential synthesis of problem frames and assurance cases. - Elisabeth A. Strunk; John C. Knight (Expert Syst. J. Knowl. Eng., 2008)