2007 |
9 | EE | Patrick J. Graydon,
John C. Knight,
Elisabeth A. Strunk:
Assurance Based Development of Critical Systems.
DSN 2007: 347-357 |
2006 |
8 | EE | Patrick J. Graydon,
John C. Knight,
Elisabeth A. Strunk:
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases.
WADS 2006: 362-382 |
7 | EE | Elisabeth A. Strunk,
John C. Knight:
Dependability through Assured Reconfiguration in Embedded System Software.
IEEE Trans. Dependable Sec. Comput. 3(3): 172-187 (2006) |
2005 |
6 | EE | Elisabeth A. Strunk,
John C. Knight,
M. Anthony Aiello:
Assured Reconfiguration of Fail-Stop Systems.
DSN 2005: 2-11 |
2004 |
5 | EE | Elisabeth A. Strunk,
John C. Knight:
Assured Reconfiguration of Embedded Real-Time Software.
DSN 2004: 367-376 |
4 | | William S. Greenwell,
Elisabeth A. Strunk,
John C. Knight:
Failure Analysis and the Safety-Case Lifecycle.
Human Error, Safety and Systems Development 2004: 163-176 |
2003 |
3 | EE | John C. Knight,
Elisabeth A. Strunk,
Kevin J. Sullivan:
Towards a Rigorous Definition of Information System Survivability.
DISCEX (1) 2003: 78-89 |
2 | EE | 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: 317-330 |
1 | EE | John C. Knight,
Elisabeth A. Strunk:
Achieving Critical System Survivability Through Software Architectures.
WADS 2003: 51-78 |