SIGNUM a spectrum of mathematical software considerations - 1975 (Paper Session). - David S. Cochran; M. K. Gordon; Michael Minkoff; John C. Knight; Gabor T. Herman; Arnold Lent; Peter H. Lutz; Kenneth M. Brown (ACM Annual Conference, 1975)

System balance analysis for vector computers. - John C. Knight; William G. Poole Jr.; Robert G. Voigt (ACM Annual Conference, 1975)

A language design for vector machines. - Victor R. Basili; John C. Knight (Programming Languages and Compilers for Parallel and Vector Machines, 1975)

PASCAL Users' forum. - John C. Knight (ACM Annual Conference, 1979)

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 (DAC, 1983)

Comprehensive Tools for Assembler Construction. - W. Robert Collings; Robert E. Noonan; Samuel T. Gregory; John C. Knight; Roy W. Hamm (Softw. Pract. Exp., 1983)

On the Design of a Special-purpose Scientific Programming Language. - John C. Knight; Douglas D. Dunlop (Softw. Pract. Exp., 1983)

A Framework for Software Fault Tolerance in Real-Time Systems. - Thomas Anderson; John C. Knight (IEEE Trans. Software Eng., 1983)

An Experimental Evaluation of Simple Methods for Seeding Program Errors. - John C. Knight; Paul Ammann (ICSE, 1985)

Software Development Tools for Microcontrollers. - John C. Knight; James L. Russel (Softw. Pract. Exp., 1985)

An Experimental Evaluation of the Assumption of Independence in Multiversion Programming. - John C. Knight; Nancy G. Leveson (IEEE Trans. Software Eng., 1986)

Ada on fault-tolerant distributed systems. - John C. Knight (IRTAW, 1987)

Analysis of Ada for a crucial distributed application. - John C. Knight; Marc E. Rouleau (WADAS, 1987)

The consistent comparison problem in N-version software. - Susan S. Brilliant; John C. Knight; Nancy G. Leveson (ACM SIGSOFT Softw. Eng. Notes, 1987)

On the Implementation and Use of Ada on Fault-Tolerant Distributed Systems. - John C. Knight; John I. A. Urquhart (IEEE Trans. Software Eng., 1987)

A new approach to fault tolerance in distributed Ada programs. - John C. Knight; Marc E. Rouleau (IRTAW, 1988)

Data Diversity: An Approach to Software Fault Tolerance. - Paul Ammann; John C. Knight (IEEE Trans. Computers, 1988)

On the provision of backward error recovery in production programming languages. - Samuel T. Gregory; John C. Knight (FTCS, 1989)

Can Software Faults be Tolerated? (Position Statement). - John C. Knight (IFIP Congress, 1989)

Issues Influencing the Use of N-Version Programming. - John C. Knight; Paul Ammann (IFIP Congress, 1989)

The Consistent Comparison Problem in N-Version Software. - Susan S. Brilliant; John C. Knight; Nancy G. Leveson (IEEE Trans. Software Eng., 1989)

Issues of software reliability in medical systems. - John C. Knight (CBMS, 1990)

On the performance of software testing using multiple versions. - Susan S. Brilliant; John C. Knight; Paul Ammann (FTCS, 1990)

On the assessment of Ada performance. - John C. Knight (Working Group on Ada Performance Issues, 1990)

A reply to the criticisms of the Knight & Leveson experiment. - John C. Knight; Nancy G. Leveson (ACM SIGSOFT Softw. Eng. Notes, 1990)

Analysis of Faults in an N-Version Software Experiment. - Susan S. Brilliant; John C. Knight; Nancy G. Leveson (IEEE Trans. Software Eng., 1990)

The Use of Self Checks and Voting in Software Error Detection: An Empirical Study. - Nancy G. Leveson; Stephen S. Cha; John C. Knight; Timothy J. Shimeall (IEEE Trans. Software Eng., 1990)

Software Reuse in an Industrial Setting: A Case Study. - Michael F. Dunn; John C. Knight (ICSE, 1991)

Phased inspections and their implementation. - John C. Knight; E. Ann Myers (ACM SIGSOFT Softw. Eng. Notes, 1991)

An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability. - Dave E. Eckhardt; Alper K. Caglayan; John C. Knight; Larry D. Lee; David F. McAllister; Mladen A. Vouk; John P. J. Kelly (IEEE Trans. Software Eng., 1991)

Preliminary Experience Using Z to Specify a Safety-Critical System. - John C. Knight; Darrell M. Kienzle (Z User Workshop, 1992)

Automating the Detection of Reusable Parts in Existing Software. - Michael F. Dunn; John C. Knight (ICSE, 1993)

An Improved Inspection Technique. - John C. Knight; E. Ann Myers (Commun. ACM, 1993)

Testing a Safety-Critical Application. - John C. Knight; Aaron G. Cass; Antonio M. Fernández; Kevin G. Wika (ISSTA, 1994)

Undergraduate computer science education: a new curriculum philosophy & overview. - John C. Knight; Jane C. Prey; William A. Wulf (SIGCSE, 1994)

Guest Editors' Introduction: Critical Task of Writing Dependable Software. - John C. Knight; Bev Littlewood (IEEE Softw., 1994)

The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing. - Paul Ammann; Susan S. Brilliant; John C. Knight (IEEE Trans. Software Eng., 1994)

Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse. - Kevin J. Sullivan; John C. Knight (ICSE, 1996)

A systematic approach to creating and maintaining software documentation. - Allison L. Powell; James C. French; John C. Knight (SAC, 1996)

Software Test Techniques for System Fault-Tree Analysis. - John C. Knight; Luís G. Nakano (SAFECOMP, 1997)

Preliminary Evaluation of a Formal Approach to User Interface Specification. - John C. Knight; Susan S. Brilliant (ZUM, 1997)

Applying Data Redundancy to Differential Equation Solvers. - Paul Ammann; Dahlard L. Lukes; John C. Knight (Ann. Softw. Eng., 1997)

Applying Hypertext Structures to Software Documentation. - James C. French; John C. Knight; Allison L. Powell (Inf. Process. Manag., 1997)

Challenges in the Utilization of Formal Methods. - John C. Knight (FTRTFT, 1998)

Software Quality Through Domain-Driven Certification. - John C. Knight; Michael F. Dunn (Ann. Softw. Eng., 1998)

Tool Support for Production Use of Formal Techniques. - John C. Knight; P. Thomas Fletcher; Brian R. Hicks (World Congress on Formal Methods, 1999)

Information Survivability Control Systems. - Kevin J. Sullivan; John C. Knight; Xing Du; Steve Geist (ICSE, 1999)

Empirical research in software engineering: a workshop. - Susan S. Brilliant; John C. Knight (ACM SIGSOFT Softw. Eng. Notes, 1999)

On Computer Viral Infection and the Effect of Immunization. - Chenxi Wang; John C. Knight; Matthew C. Elder (ACSAC, 2000)

Protection of Software-Based Survivability Mechanisms. - Chenxi Wang; Jonathan Hill; John C. Knight; Jack W. Davidson (DSN, 2001)

Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction. - John C. Knight (HASE, 2001)

Fault Tolerant Distributed Information Systems. - John C. Knight; Matthew C. Elder (ISSRE, 2001)

Tool Support for Production Use of Formal Techniques. - John C. Knight; Kimberly S. Hanks; Sean R. Travis (ISSRE, 2001)

Safety critical systems: challenges and directions. - John C. Knight (ICSE, 2002)

Dependability of embedded systems. - John C. Knight (ICSE, 2002)

Software Challenges in Aviation Systems. - John C. Knight (SAFECOMP, 2002)

Desert Island Books. - John C. Knight (Autom. Softw. Eng., 2002)

Should software engineers be licensed?. - John C. Knight; Nancy G. Leveson (Commun. ACM, 2002)

AE Introduction. - John C. Knight (IEEE Trans. Software Eng., 2002)

Editorial: New AE Introduction/Farewell. - John C. Knight (IEEE Trans. Software Eng., 2002)

Willow System Demonstration. - John C. Knight; Jonathan Hill; Philip E. Varner; Premkumar T. Devanbu; Alexander L. Wolf; Dennis Heimbigner (DISCEX (2), 2003)

Towards a Rigorous Definition of Information System Survivability. - John C. Knight; Elisabeth A. Strunk; Kevin J. Sullivan (DISCEX (1), 2003)

Computing Systems Dependability. - John C. Knight (ICSE, 2003)

Achieving Critical System Survivability Through Software Architectures. - John C. Knight; Elisabeth A. Strunk (WADS, 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 (SAFECOMP, 2003)

Editorial: AE Farewell. - John C. Knight (IEEE Trans. Software Eng., 2003)

New AEIC Introduction and AE Farewell. - John C. Knight (IEEE Trans. Software Eng., 2003)

Efficient Hierarchic Management For Reconfiguration of Networked Information Systems. - Jonathan C. Rowanhill; Philip E. Varner; John C. Knight (DSN, 2004)

Assured Reconfiguration of Embedded Real-Time Software. - Elisabeth A. Strunk; John C. Knight (DSN, 2004)

An Introduction to Computing System Dependability. - John C. Knight (ICSE, 2004)

Failure Analysis and the Safety-Case Lifecycle. - William S. Greenwell; Elisabeth A. Strunk; John C. Knight (Human Error, Safety and Systems Development, 2004)

The Design and Evaluation of a Defense System for Internet Worms. - Riccardo Scandariato; John C. Knight (SRDS, 2004)

Editorial: AE Introduction. - John C. Knight (IEEE Trans. Software Eng., 2004)

Editorial: The State of TSE. - John C. Knight (IEEE Trans. Software Eng., 2004)

Assured Reconfiguration of Fail-Stop Systems. - Elisabeth A. Strunk; John C. Knight; M. Anthony Aiello (DSN, 2005)

Echo: a practical approach to formal verification. - Elisabeth A. Strunk; Xiang Yin 001; John C. Knight (FMICS, 2005)

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 (International Conference on Computational Science (2), 2005)

Using Occurrence Properties of Defect Report Data to Improve Requirements. - Kimberly S. Wasson; Kendra N. Schmid; Robyn R. Lutz; John C. Knight (RE, 2005)

Focusing software education on engineering. - John C. Knight (ACM SIGSOFT Softw. Eng. Notes, 2005)

Future Trends of Software Technology and Applications Model-Based Development. - John C. Knight (COMPSAC (1), 2006)

Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases. - Patrick J. Graydon; John C. Knight; Elisabeth A. Strunk (WADS, 2006)

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 001; John C. Knight; Anh Nguyen-Tuong; Jonathan C. Rowanhill (VEE, 2006)

Software and higher education. - John C. Knight; Nancy G. Leveson (Commun. ACM, 2006)

Dependability through Assured Reconfiguration in Embedded System Software. - Elisabeth A. Strunk; John C. Knight (IEEE Trans. Dependable Secur. Comput., 2006)

Assurance Based Development of Critical Systems. - Patrick J. Graydon; John C. Knight; Elisabeth A. Strunk (DSN, 2007)

Meeting virtual organization performance goals through adaptive grid reconfiguration. - Zach Hill; Jonathan C. Rowanhill; Anh Nguyen-Tuong; Glenn S. Wasson; John C. Knight; Jim Basney; Marty Humphrey (GRID, 2007)

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 (HPCC, 2007)

Security through redundant data diversity. - Anh Nguyen-Tuong; David Evans 001; John C. Knight; Benjamin Cox; Jack W. Davidson (DSN, 2008)

Formal Verification by Reverse Synthesis. - Xiang Yin 001; John C. Knight; Elisabeth A. Nguyen; Westley Weimer (SAFECOMP, 2008)

The essential synthesis of problem frames and assurance cases. - Elisabeth A. Strunk; John C. Knight (Expert Syst. J. Knowl. Eng., 2008)

Exploiting refactoring in formal verification. - Xiang Yin 001; John C. Knight; Westley Weimer (DSN, 2009)

Security through Diversity: Leveraging Virtual Machine Technology. - Daniel W. Williams; Wei Hu; Jack W. Davidson; Jason Hiser; John C. Knight; Anh Nguyen-Tuong (IEEE Secur. Priv., 2009)

Practical Limits on Software Dependability: A Case Study. - Patrick J. Graydon; John C. Knight; Xiang Yin 001 (Ada-Europe, 2010)

On the effectiveness of the metamorphic shield. - Anh Nguyen-Tuong; Andrew Wang 002; Jason Hiser; John C. Knight; Jack W. Davidson (ECSA Companion Volume, 2010)

Software Process Synthesis in Assurance Based Development of Dependable Systems. - Patrick J. Graydon; John C. Knight (EDCC, 2010)

Formal Verification of Large Software Systems. - Xiang Yin 001; John C. Knight (NASA Formal Methods, 2010)

Diversity. - John C. Knight (Dependable and Historic Computing, 2011)

Component-Oriented Monitoring of Binaries for Security. - Raghavendra Rajkumar; Andrew Wang 002; Jason Hiser; Anh Nguyen-Tuong; Jack W. Davidson; John C. Knight (HICSS, 2011)

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 002; et al. (SESS@ICSE, 2011)

A New Approach to creating Clear Safety Arguments. - Richard Hawkins; Tim P. Kelly; John C. Knight; Patrick J. Graydon (SSS, 2011)

Effectiveness of Moving Target Defenses. - David Evans 001; Anh Nguyen-Tuong; John C. Knight (Moving Target Defense, 2011)

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 (RV, 2012)

Arguing Conformance. - Patrick J. Graydon; Ibrahim Habli; Richard Hawkins; Tim Kelly; John C. Knight (IEEE Softw., 2012)

1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). - Ewen Denney; Ganesh Pai; Ibrahim Habli; Tim Kelly; John C. Knight (ICSE, 2013)

Moving Target Defenses in the Helix Self-Regenerative Architecture. - Claire Le Goues; Anh Nguyen-Tuong; Hao Chen 003; Jack W. Davidson; Stephanie Forrest; Jason Hiser; John C. Knight; Matthew Van Gundy (Moving Target Defense, 2013)

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 (EDCC, 2014)

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 002; Jack W. Davidson; John C. Knight (EDCC, 2014)

Speculative Software Modification and its Use in Securing SOUP. - Benjamin D. Rodes; John C. Knight (EDCC, 2014)

A security metric based on security arguments. - Benjamin D. Rodes; John C. Knight; Kimberly S. Wasson (WETSoM, 2014)

SCT: A Safety Case Toolkit. - M. Anthony Aiello; Ashlie B. Hocking; John C. Knight; Jonathan C. Rowanhill (ISSRE Workshops, 2014)

Proving Model Equivalence in Model Based Design. - Ashlie B. Hocking; John C. Knight; M. Anthony Aiello; Shinichi Shiraishi (ISSRE Workshops, 2014)

Arguing Software Compliance with ISO 26262. - Ashlie B. Hocking; John C. Knight; M. Anthony Aiello; Shinichi Shiraishi (ISSRE Workshops, 2014)

Static analysis of physical properties in Simulink models. - Ashlie B. Hocking; M. Anthony Aiello; John C. Knight (ISSRE Workshops, 2015)

A Comprehensive Safety Lifecycle. - John C. Knight; Jonathan C. Rowanhill; M. Anthony Aiello; Kimberly S. Wasson (SAFECOMP Workshops, 2015)

A Safety Condition Monitoring System. - John C. Knight; Jonathan C. Rowanhill; Jian Xiang (SAFECOMP Workshops, 2015)

Real-World Types and Their Application. - Jian Xiang; John C. Knight; Kevin J. Sullivan (SAFECOMP, 2015)

Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery. - Michele Co; Jack W. Davidson; Jason D. Hiser; John C. Knight; Anh Nguyen-Tuong; Westley Weimer; Jonathan Burket; Gregory L. Frazier; Tiffany M. Frazier; Bruno Dutertre; Ian A. Mason; Natarajan Shankar; et al. (CISRC, 2016)

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 (DSN Workshops, 2016)

Proving Critical Properties of Simulink Models. - Ashlie B. Hocking; M. Anthony Aiello; John C. Knight; Nikos Aréchiga (HASE, 2016)

Synthesis of Logic Interpretations. - Jian Xiang; John C. Knight; Kevin J. Sullivan (HASE, 2016)

Domain Arguments in Safety Critical Software Development. - Jonathan C. Rowanhill; John C. Knight (ISSRE, 2016)

A Proof Infrastructure for Binary Programs. - Ashlie B. Hocking; Benjamin D. Rodes; John C. Knight; Jack W. Davidson; Clark L. Coleman (NFM, 2016)

The Indispensable Role of Rationale in Safety Standards. - John C. Knight; Jonathan C. Rowanhill (SAFECOMP, 2016)

Diversity in Cybersecurity. - John C. Knight; Jack W. Davidson; Anh Nguyen-Tuong; Jason Hiser; Michele Co (Computer, 2016)

Is My Software Consistent with the Real World? - Jian Xiang; John C. Knight; Kevin J. Sullivan (HASE, 2017)

Input Space Partitioning to Enable Massively Parallel Proof. - Ashlie B. Hocking; M. Anthony Aiello; John C. Knight; Nikos Aréchiga (NFM, 2017)