| 2007 | DSN | Assurance Based Development of Critical Systems. | Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk |
| 2006 | ICSE | Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases. | Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk |
| 2006 | ICSE | The essential synthesis of problem frames and assurance cases. | Elisabeth A. Strunk, John C. Knight |
| 2005 | DSN | Assured Reconfiguration of Fail-Stop Systems. | Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello |
| 2005 | FMICS | Echo: a practical approach to formal verification. | Elisabeth A. Strunk, Xiang Yin, John C. Knight |
| 2004 | DSN | Assured Reconfiguration of Embedded Real-Time Software. | Elisabeth A. Strunk, John C. Knight |
| 2003 | ICSE | Achieving Critical System Survivability Through Software Architectures. | John C. Knight, Elisabeth A. Strunk |
| 2003 | SAFECOMP | 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 |