Elisabeth A. Strunk

According to our database, Elisabeth A. Strunk authored at least 11 papers between 2003 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

The essential synthesis of problem frames and assurance cases.

Elisabeth A. Strunk, John C. Knight

Expert Syst. J. Knowl. Eng., 2008

2007

Assurance Based Development of Critical Systems.

Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

Dependability through Assured Reconfiguration in Embedded System Software.

Elisabeth A. Strunk, John C. Knight

IEEE Trans. Dependable Secur. Comput., 2006

Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases.

Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2005

Echo: a practical approach to formal verification.

Elisabeth A. Strunk, Xiang Yin, John C. Knight

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

Assured Reconfiguration of Fail-Stop Systems.

Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Failure Analysis and the Safety-Case Lifecycle.

William S. Greenwell, Elisabeth A. Strunk, John C. Knight

Proceedings of the Human Error, 2004

Assured Reconfiguration of Embedded Real-Time Software.

Elisabeth A. Strunk, John C. Knight

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

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

Proceedings of the Computer Safety, 2003

Achieving Critical System Survivability Through Software Architectures.

John C. Knight, Elisabeth A. Strunk

Proceedings of the Architecting Dependable Systems II, 2003

Towards a Rigorous Definition of Information System Survivability.

John C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003