| 2016 | DSN | A System for the Security Protection of Embedded Binary Programs. | Jack W. Davidson, Jason D. Hiser, Anh Nguyen-Tuong, Clark L. Coleman, William H. Hawkins, John C. Knight, Benjamin D. Rodes, Ashlie B. Hocking |
| 2016 | ISSRE | Domain Arguments in Safety Critical Software Development. | Jonathan C. Rowanhill, John C. Knight |
| 2016 | SAFECOMP | The Indispensable Role of Rationale in Safety Standards. | John C. Knight, Jonathan C. Rowanhill |
| 2015 | ISSRE | Static analysis of physical properties in Simulink models. | Ashlie B. Hocking, M. Anthony Aiello, John C. Knight |
| 2015 | SAFECOMP | A Comprehensive Safety Lifecycle. | John C. Knight, Jonathan C. Rowanhill, M. Anthony Aiello, Kimberly S. Wasson |
| 2015 | SAFECOMP | A Safety Condition Monitoring System. | John C. Knight, Jonathan C. Rowanhill, Jian Xiang |
| 2015 | SAFECOMP | Real-World Types and Their Application. | Jian Xiang, John C. Knight, Kevin J. Sullivan |
| 2014 | EDCC | A Framework for Creating Binary Rewriting Tools (Short Paper). | Jason Hiser, Anh Nguyen-Tuong, Michele Co, Benjamin D. Rodes, Matthew Hall, Clark L. Coleman, John C. Knight, Jack W. Davidson |
| 2014 | EDCC | To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing. | Anh Nguyen-Tuong, Jason Hiser, Michele Co, Nathan Kennedy, David Melski, William Ella, David Hyde, Jack W. Davidson, John C. Knight |
| 2014 | EDCC | Speculative Software Modification and its Use in Securing SOUP. | Benjamin D. Rodes, John C. Knight |
| 2014 | ICSE | A security metric based on security arguments. | Benjamin D. Rodes, John C. Knight, Kimberly S. Wasson |
| 2014 | ISSRE | SCT: A Safety Case Toolkit. | M. Anthony Aiello, Ashlie B. Hocking, John C. Knight, Jonathan C. Rowanhill |
| 2014 | ISSRE | Proving Model Equivalence in Model Based Design. | Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi |
| 2014 | ISSRE | Arguing Software Compliance with ISO 26262. | Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi |
| 2013 | ICSE | 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). | Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight |
| 2012 | RV | Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation. | Benjamin D. Rodes, Anh Nguyen-Tuong, Jason Hiser, John C. Knight, Michele Co, Jack W. Davidson |
| 2011 | ICSE | PEASOUP: preventing exploits against software of uncertain provenance (position paper). | Michele Co, Jack W. Davidson, Jason D. Hiser, John C. Knight, Anh Nguyen-Tuong, David R. Cok, Denis Gopan, David Melski, Wenke Lee, Chengyu Song, Thomas Bracewell, David Hyde, Brian Mastropietro |
| 2010 | ECSA | On the effectiveness of the metamorphic shield. | Anh Nguyen-Tuong, Andrew Wang, Jason Hiser, John C. Knight, Jack W. Davidson |
| 2010 | EDCC | Software Process Synthesis in Assurance Based Development of Dependable Systems. | Patrick J. Graydon, John C. Knight |
| 2009 | DSN | Exploiting refactoring in formal verification. | Xiang Yin, John C. Knight, Westley Weimer |
| 2008 | DSN | Security through redundant data diversity. | Anh Nguyen-Tuong, David Evans, John C. Knight, Benjamin Cox, Jack W. Davidson |
| 2008 | SAFECOMP | Formal Verification by Reverse Synthesis. | Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer |
| 2007 | DSN | Assurance Based Development of Critical Systems. | Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk |
| 2007 | HPCC | Dynamic System-Wide Reconfiguration of Grid Deployments in Response to Intrusion Detections. | Jonathan C. Rowanhill, Glenn S. Wasson, Zach Hill, Jim Basney, Yuliyan Kiryakov, John C. Knight, Anh Nguyen-Tuong, Andrew S. Grimshaw, Marty Humphrey |
| 2006 | COMPSAC | Future Trends of Software Technology and Applications Model-Based Development. | John C. Knight |
| 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 |
| 2006 | VEE | Secure and practical defense against code-injection attacks using software dynamic translation. | Wei Hu, Jason Hiser, Daniel W. Williams, Adrian Filipi, Jack W. Davidson, David Evans, John C. Knight, Anh Nguyen-Tuong, Jonathan C. Rowanhill |
| 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 |
| 2005 | ICCS | The Development of Dependable and Survivable Grids. | Andrew S. Grimshaw, Marty A. Humphrey, John C. Knight, Anh Nguyen-Tuong, Jonathan C. Rowanhill, Glenn S. Wasson, Jim Basney |
| 2005 | RE | Using Occurrence Properties of Defect Report Data to Improve Requirements. | Kimberly S. Wasson, Kendra N. Schmid, Robyn R. Lutz, John C. Knight |
| 2004 | DSN | Efficient Hierarchic Management For Reconfiguration of Networked Information Systems. | Jonathan C. Rowanhill, Philip E. Varner, John C. Knight |
| 2004 | DSN | Assured Reconfiguration of Embedded Real-Time Software. | Elisabeth A. Strunk, John C. Knight |
| 2004 | ICSE | An Introduction to Computing System Dependability. | John C. Knight |
| 2004 | SRDS | The Design and Evaluation of a Defense System for Internet Worms. | Riccardo Scandariato, John C. Knight |
| 2003 | ICSE | Computing Systems Dependability. | 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 |
| 2002 | ICSE | Safety critical systems: challenges and directions. | John C. Knight |
| 2002 | ICSE | Dependability of embedded systems. | John C. Knight |
| 2002 | SAFECOMP | Software Challenges in Aviation Systems. | John C. Knight |
| 2001 | DSN | Protection of Software-Based Survivability Mechanisms. | Chenxi Wang, Jonathan Hill, John C. Knight, Jack W. Davidson |
| 2001 | ISSRE | Fault Tolerant Distributed Information Systems. | John C. Knight, Matthew C. Elder |
| 2001 | ISSRE | Tool Support for Production Use of Formal Techniques. | John C. Knight, Kimberly S. Hanks, Sean R. Travis |
| 2000 | ACSAC | On Computer Viral Infection and the Effect of Immunization. | Chenxi Wang, John C. Knight, Matthew C. Elder |
| 1999 | FM | Tool Support for Production Use of Formal Techniques. | John C. Knight, P. Thomas Fletcher, Brian R. Hicks |
| 1999 | ICSE | Information Survivability Control Systems. | Kevin J. Sullivan, John C. Knight, Xing Du, Steve Geist |
| 1997 | SAFECOMP | Software Test Techniques for System Fault-Tree Analysis. | John C. Knight, Lus G. Nakano |
| 1996 | ICSE | Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse. | Kevin J. Sullivan, John C. Knight |
| 1996 | SAC | A systematic approach to creating and maintaining software documentation. | Allison L. Powell, James C. French, John C. Knight |
| 1994 | ISSTA | Testing a Safety-Critical Application. | John C. Knight, Aaron G. Cass, Antonio M. Fernndez, Kevin G. Wika |
| 1994 | SIGCSE | Undergraduate computer science education: a new curriculum philosophy & overview. | John C. Knight, Jane C. Prey, William A. Wulf |
| 1993 | ICSE | Automating the Detection of Reusable Parts in Existing Software. | Michael F. Dunn, John C. Knight |
| 1991 | ICSE | Software Reuse in an Industrial Setting: A Case Study. | Michael F. Dunn, John C. Knight |
| 1990 | CBMS | Issues of software reliability in medical systems. | John C. Knight |
| 1985 | ICSE | An Experimental Evaluation of Simple Methods for Seeding Program Errors. | John C. Knight, Paul Ammann |
| 1983 | DAC | The UK5000 - successful collaborative development of an integrated design system for a 5000 gate CMOS array with built-in test. | J. R. Grierson, B. Cosgrove, Daniel Richert, R. E. Halliwell, Harold Kirk, John C. Knight, John A. McLean, J. M. McGrail, C. O. Newton |