Elisabeth A. Strunk

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Publications

Elisabeth A. Strunk, John C. Knight
The essential synthesis of problem frames and assurance cases. Expert Syst. J. Knowl. Eng. 25 (1) (2008)
Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk
Assurance Based Development of Critical Systems. DSN (2007)
Elisabeth A. Strunk, John C. Knight
Dependability through Assured Reconfiguration in Embedded System Software. IEEE Trans. Dependable Secur. Comput. 3 (3) (2006)
Elisabeth A. Strunk, John C. Knight
The essential synthesis of problem frames and assurance cases. IWAAPF@ICSE (2006)
Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases. WADS (2006)
Elisabeth A. Strunk, Xiang Yin, John C. Knight
Echo: a practical approach to formal verification. FMICS (2005)
Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello
Assured Reconfiguration of Fail-Stop Systems. DSN (2005)
Elisabeth A. Strunk, John C. Knight
Assured Reconfiguration of Embedded Real-Time Software. DSN (2004)
William S. Greenwell, Elisabeth A. Strunk, John C. Knight
Failure Analysis and the Safety-Case Lifecycle. Human Error, Safety and Systems Development (2004)
John C. Knight, Elisabeth A. Strunk
Achieving Critical System Survivability Through Software Architectures. WADS (2003)
John C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan
Towards a Rigorous Definition of Information System Survivability. DISCEX (1) (2003)
Kimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis
Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development. SAFECOMP (2003)