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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski