Elisabeth A. Strunk

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