John C. Knight

133 papers A* 11A 14B 12C 3Misc 7Journal 39Unranked 43
YearRankTypeTitle / Venue / Authors
2017 — conf
Input Space Partitioning to Enable Massively Parallel Proof.
NFM
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga
2017 — conf
Is My Software Consistent with the Real World?
HASE
Jian Xiang, John C. Knight, Kevin J. Sullivan
2016 — conf
A Proof Infrastructure for Binary Programs.
NFM
Ashlie B. Hocking, Benjamin D. Rodes, John C. Knight, Jack W. Davidson, Clark L. Coleman
2016 — conf
A System for the Security Protection of Embedded Binary Programs.
DSN Workshops
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 J jnl
Diversity in Cybersecurity.
Computer
John C. Knight, Jack W. Davidson, Anh Nguyen-Tuong, Jason Hiser, Michele Co
2016 A conf
Domain Arguments in Safety Critical Software Development.
ISSRE
Jonathan C. Rowanhill, John C. Knight
2016 — conf
Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery.
CISRC
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, Stephanie Forrest
2016 — conf
Proving Critical Properties of Simulink Models.
HASE
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga
2016 — conf
Synthesis of Logic Interpretations.
HASE
Jian Xiang, John C. Knight, Kevin J. Sullivan
2016 B conf
The Indispensable Role of Rationale in Safety Standards.
SAFECOMP
John C. Knight, Jonathan C. Rowanhill
2015 — conf
A Comprehensive Safety Lifecycle.
SAFECOMP Workshops
John C. Knight, Jonathan C. Rowanhill, M. Anthony Aiello, Kimberly S. Wasson
2015 — conf
A Safety Condition Monitoring System.
SAFECOMP Workshops
John C. Knight, Jonathan C. Rowanhill, Jian Xiang
2015 B conf
Real-World Types and Their Application.
SAFECOMP
Jian Xiang, John C. Knight, Kevin J. Sullivan
2015 — conf
Static analysis of physical properties in Simulink models.
ISSRE Workshops
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight
2014 Misc conf
A Framework for Creating Binary Rewriting Tools (Short Paper).
EDCC
Jason Hiser, Anh Nguyen-Tuong, Michele Co, Benjamin D. Rodes, Matthew Hall, Clark L. Coleman, John C. Knight, Jack W. Davidson
2014 — conf
A security metric based on security arguments.
WETSoM
Benjamin D. Rodes, John C. Knight, Kimberly S. Wasson
2014 — conf
Arguing Software Compliance with ISO 26262.
ISSRE Workshops
Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi
2014 — conf
Proving Model Equivalence in Model Based Design.
ISSRE Workshops
Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi
2014 — conf
SCT: A Safety Case Toolkit.
ISSRE Workshops
M. Anthony Aiello, Ashlie B. Hocking, John C. Knight, Jonathan C. Rowanhill
2014 Misc conf
Speculative Software Modification and its Use in Securing SOUP.
EDCC
Benjamin D. Rodes, John C. Knight
2014 Misc conf
To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing.
EDCC
Anh Nguyen-Tuong, Jason Hiser, Michele Co, Nathan Kennedy, David Melski, William Ella, David Hyde, Jack W. Davidson, John C. Knight
2013 A* conf
1st international workshop on assurance cases for software-intensive systems (ASSURE 2013).
ICSE
Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight
2013 — ch.
Moving Target Defenses in the Helix Self-Regenerative Architecture.
Moving Target Defense
Claire Le Goues, Anh Nguyen-Tuong, Hao Chen, Jack W. Davidson, Stephanie Forrest, Jason Hiser, John C. Knight, Matthew Van Gundy
2013 — ed.
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013
ASSURE@ICSE
Ewen Denney, Ibrahim Habli, Tim Kelly, John C. Knight, Ganesh Pai
2012 J jnl
Arguing Conformance.
IEEE Softw.
Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight
2012 B conf
Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation.
RV
Benjamin D. Rodes, Anh Nguyen-Tuong, Jason Hiser, John C. Knight, Michele Co, Jack W. Davidson
2011 C conf
A New Approach to creating Clear Safety Arguments.
SSS
Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon
2011 — conf
Component-Oriented Monitoring of Binaries for Security.
HICSS
Raghavendra Rajkumar, Andrew Wang, Jason Hiser, Anh Nguyen-Tuong, Jack W. Davidson, John C. Knight
2011 — conf
Diversity.
Dependable and Historic Computing
John C. Knight
2011 — ch.
Effectiveness of Moving Target Defenses.
Moving Target Defense
David Evans, Anh Nguyen-Tuong, John C. Knight
2011 — conf
PEASOUP: preventing exploits against software of uncertain provenance (position paper).
SESS@ICSE
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 — conf
Formal Verification of Large Software Systems.
NASA Formal Methods
Xiang Yin, John C. Knight
2010 — conf
On the effectiveness of the metamorphic shield.
ECSA Companion Volume
Anh Nguyen-Tuong, Andrew Wang, Jason Hiser, John C. Knight, Jack W. Davidson
2010 Misc conf
Practical Limits on Software Dependability: A Case Study.
Ada-Europe
Patrick J. Graydon, John C. Knight, Xiang Yin
2010 Misc conf
Software Process Synthesis in Assurance Based Development of Dependable Systems.
EDCC
Patrick J. Graydon, John C. Knight
2009 A conf
Exploiting refactoring in formal verification.
DSN
Xiang Yin, John C. Knight, Westley Weimer
2009 J jnl
Security through Diversity: Leveraging Virtual Machine Technology.
IEEE Secur. Priv.
Daniel W. Williams, Wei Hu, Jack W. Davidson, Jason Hiser, John C. Knight, Anh Nguyen-Tuong
2008 B conf
Formal Verification by Reverse Synthesis.
SAFECOMP
Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer
2008 A conf
Security through redundant data diversity.
DSN
Anh Nguyen-Tuong, David Evans, John C. Knight, Benjamin Cox, Jack W. Davidson
2008 J jnl
The essential synthesis of problem frames and assurance cases.
Expert Syst. J. Knowl. Eng.
Elisabeth A. Strunk, John C. Knight
2007 A conf
Assurance Based Development of Critical Systems.
DSN
Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk
2007 C conf
Dynamic System-Wide Reconfiguration of Grid Deployments in Response to Intrusion Detections.
HPCC
Jonathan C. Rowanhill, Glenn S. Wasson, Zach Hill, Jim Basney, Yuliyan Kiryakov, John C. Knight, Anh Nguyen-Tuong, Andrew S. Grimshaw, Marty Humphrey
2007 — conf
Meeting virtual organization performance goals through adaptive grid reconfiguration.
GRID
Zach Hill, Jonathan C. Rowanhill, Anh Nguyen-Tuong, Glenn S. Wasson, John C. Knight, Jim Basney, Marty Humphrey
2006 B conf
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases.
WADS
Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk
2006 J jnl
Dependability through Assured Reconfiguration in Embedded System Software.
IEEE Trans. Dependable Secur. Comput.
Elisabeth A. Strunk, John C. Knight
2006 — conf
Future Trends of Software Technology and Applications Model-Based Development.
COMPSAC (1)
John C. Knight
2006 B conf
Secure and practical defense against code-injection attacks using software dynamic translation.
VEE
Wei Hu, Jason Hiser, Daniel W. Williams, Adrian Filipi, Jack W. Davidson, David Evans, John C. Knight, Anh Nguyen-Tuong, Jonathan C. Rowanhill
2006 J jnl
Software and higher education.
Commun. ACM
John C. Knight, Nancy G. Leveson
2006 — conf
The essential synthesis of problem frames and assurance cases.
IWAAPF@ICSE
Elisabeth A. Strunk, John C. Knight
2005 A conf
Assured Reconfiguration of Fail-Stop Systems.
DSN
Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello
2005 C conf
Echo: a practical approach to formal verification.
FMICS
Elisabeth A. Strunk, Xiang Yin, John C. Knight
2005 J jnl
Focusing software education on engineering.
ACM SIGSOFT Softw. Eng. Notes
John C. Knight
2005 Misc conf
The Development of Dependable and Survivable Grids.
International Conference on Computational Science (2)
Andrew S. Grimshaw, Marty A. Humphrey, John C. Knight, Anh Nguyen-Tuong, Jonathan C. Rowanhill, Glenn S. Wasson, Jim Basney
2005 A conf
Using Occurrence Properties of Defect Report Data to Improve Requirements.
RE
Kimberly S. Wasson, Kendra N. Schmid, Robyn R. Lutz, John C. Knight
2004 A* conf
An Introduction to Computing System Dependability.
ICSE
John C. Knight
2004 A conf
Assured Reconfiguration of Embedded Real-Time Software.
DSN
Elisabeth A. Strunk, John C. Knight
2004 J jnl
Editorial: AE Farewell.
IEEE Trans. Software Eng.
John C. Knight
2004 J jnl
Editorial: AE Introduction.
IEEE Trans. Software Eng.
John C. Knight
2004 J jnl
Editorial: AE Introduction.
IEEE Trans. Software Eng.
John C. Knight
2004 J jnl
Editorial: The State of TSE.
IEEE Trans. Software Eng.
John C. Knight
2004 A conf
Efficient Hierarchic Management For Reconfiguration of Networked Information Systems.
DSN
Jonathan C. Rowanhill, Philip E. Varner, John C. Knight
2004 — conf
Failure Analysis and the Safety-Case Lifecycle.
Human Error, Safety and Systems Development
William S. Greenwell, Elisabeth A. Strunk, John C. Knight
2004 — conf
Focusing Software Education on Engineering.
CSEE&T
John C. Knight
2004 B conf
The Design and Evaluation of a Defense System for Internet Worms.
SRDS
Riccardo Scandariato, John C. Knight
2003 B conf
Achieving Critical System Survivability Through Software Architectures.
WADS
John C. Knight, Elisabeth A. Strunk
2003 A* conf
Computing Systems Dependability.
ICSE
John C. Knight
2003 J jnl
Editorial: AE Farewell.
IEEE Trans. Software Eng.
John C. Knight
2003 J jnl
Editorial: AE Introduction.
IEEE Trans. Software Eng.
John C. Knight
2003 J jnl
New AEIC Introduction and AE Farewell.
IEEE Trans. Software Eng.
John C. Knight
2003 B conf
Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development.
SAFECOMP
Kimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis
2003 — conf
Towards a Rigorous Definition of Information System Survivability.
DISCEX (1)
John C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan
2003 — conf
Willow System Demonstration.
DISCEX (2)
John C. Knight, Jonathan Hill, Philip E. Varner, Premkumar T. Devanbu, Alexander L. Wolf, Dennis Heimbigner
2002 J jnl
AE Introduction.
IEEE Trans. Software Eng.
John C. Knight
2002 A* conf
Dependability of embedded systems.
ICSE
John C. Knight
2002 J jnl
Desert Island Books.
Autom. Softw. Eng.
John C. Knight
2002 J jnl
Editorial: New AE Introduction/Farewell.
IEEE Trans. Software Eng.
John C. Knight
2002 A* conf
Safety critical systems: challenges and directions.
ICSE
John C. Knight
2002 J jnl
Should software engineers be licensed?.
Commun. ACM
John C. Knight, Nancy G. Leveson
2002 B conf
Software Challenges in Aviation Systems.
SAFECOMP
John C. Knight
2001 — conf
Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction.
HASE
John C. Knight
2001 A conf
Fault Tolerant Distributed Information Systems.
ISSRE
John C. Knight, Matthew C. Elder
2001 A conf
Protection of Software-Based Survivability Mechanisms.
DSN
Chenxi Wang, Jonathan Hill, John C. Knight, Jack W. Davidson
2001 A conf
Tool Support for Production Use of Formal Techniques.
ISSRE
John C. Knight, Kimberly S. Hanks, Sean R. Travis
2000 — ed.
ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings
SIGSOFT FSE
John C. Knight, David S. Rosenblum
2000 A conf
On Computer Viral Infection and the Effect of Immunization.
ACSAC
Chenxi Wang, John C. Knight, Matthew C. Elder
1999 J jnl
Empirical research in software engineering: a workshop.
ACM SIGSOFT Softw. Eng. Notes
Susan S. Brilliant, John C. Knight
1999 A* conf
Information Survivability Control Systems.
ICSE
Kevin J. Sullivan, John C. Knight, Xing Du, Steve Geist
1999 — conf
Tool Support for Production Use of Formal Techniques.
World Congress on Formal Methods
John C. Knight, P. Thomas Fletcher, Brian R. Hicks
1998 — conf
Challenges in the Utilization of Formal Methods.
FTRTFT
John C. Knight
1998 J jnl
Software Quality Through Domain-Driven Certification.
Ann. Softw. Eng.
John C. Knight, Michael F. Dunn
1997 J jnl
Applying Data Redundancy to Differential Equation Solvers.
Ann. Softw. Eng.
Paul Ammann, Dahlard L. Lukes, John C. Knight
1997 J jnl
Applying Hypertext Structures to Software Documentation.
Inf. Process. Manag.
James C. French, John C. Knight, Allison L. Powell
1997 — conf
Preliminary Evaluation of a Formal Approach to User Interface Specification.
ZUM
John C. Knight, Susan S. Brilliant
1997 B conf
Software Test Techniques for System Fault-Tree Analysis.
SAFECOMP
John C. Knight, Luís G. Nakano
1996 Misc conf
A systematic approach to creating and maintaining software documentation.
SAC
Allison L. Powell, James C. French, John C. Knight
1996 A* conf
Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse.
ICSE
Kevin J. Sullivan, John C. Knight
1994 J jnl
Guest Editors' Introduction: Critical Task of Writing Dependable Software.
IEEE Softw.
John C. Knight, Bev Littlewood
1994 A conf
Testing a Safety-Critical Application.
ISSTA
John C. Knight, Aaron G. Cass, Antonio M. Fernández, Kevin G. Wika
1994 J jnl
The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing.
IEEE Trans. Software Eng.
Paul Ammann, Susan S. Brilliant, John C. Knight
1994 A conf
Undergraduate computer science education: a new curriculum philosophy & overview.
SIGCSE
John C. Knight, Jane C. Prey, William A. Wulf
1993 J jnl
An Improved Inspection Technique.
Commun. ACM
John C. Knight, E. Ann Myers
1993 A* conf
Automating the Detection of Reusable Parts in Existing Software.
ICSE
Michael F. Dunn, John C. Knight
1992 — conf
Preliminary Experience Using Z to Specify a Safety-Critical System.
Z User Workshop
John C. Knight, Darrell M. Kienzle
1991 J jnl
An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability.
IEEE Trans. Software Eng.
Dave E. Eckhardt, Alper K. Caglayan, John C. Knight, Larry D. Lee, David F. McAllister, Mladen A. Vouk, John P. J. Kelly
1991 J jnl
Phased inspections and their implementation.
ACM SIGSOFT Softw. Eng. Notes
John C. Knight, E. Ann Myers
1991 A* conf
Software Reuse in an Industrial Setting: A Case Study.
ICSE
Michael F. Dunn, John C. Knight
1990 J jnl
A reply to the criticisms of the Knight & Leveson experiment.
ACM SIGSOFT Softw. Eng. Notes
John C. Knight, Nancy G. Leveson
1990 J jnl
Analysis of Faults in an N-Version Software Experiment.
IEEE Trans. Software Eng.
Susan S. Brilliant, John C. Knight, Nancy G. Leveson
1990 B conf
Issues of software reliability in medical systems.
CBMS
John C. Knight
1990 — conf
On the assessment of Ada performance.
Working Group on Ada Performance Issues
John C. Knight
1990 — conf
On the performance of software testing using multiple versions.
FTCS
Susan S. Brilliant, John C. Knight, Paul Ammann
1990 J jnl
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study.
IEEE Trans. Software Eng.
Nancy G. Leveson, Stephen S. Cha, John C. Knight, Timothy J. Shimeall
1989 — conf
Can Software Faults be Tolerated? (Position Statement).
IFIP Congress
John C. Knight
1989 — conf
Issues Influencing the Use of N-Version Programming.
IFIP Congress
John C. Knight, Paul Ammann
1989 — conf
On the provision of backward error recovery in production programming languages.
FTCS
Samuel T. Gregory, John C. Knight
1989 J jnl
The Consistent Comparison Problem in N-Version Software.
IEEE Trans. Software Eng.
Susan S. Brilliant, John C. Knight, Nancy G. Leveson
1988 — conf
A new approach to fault tolerance in distributed Ada programs.
IRTAW
John C. Knight, Marc E. Rouleau
1988 J jnl
Data Diversity: An Approach to Software Fault Tolerance.
IEEE Trans. Computers
Paul Ammann, John C. Knight
1987 — conf
Ada on fault-tolerant distributed systems.
IRTAW
John C. Knight
1987 — conf
Analysis of Ada for a crucial distributed application.
WADAS
John C. Knight, Marc E. Rouleau
1987 J jnl
On the Implementation and Use of Ada on Fault-Tolerant Distributed Systems.
IEEE Trans. Software Eng.
John C. Knight, John I. A. Urquhart
1987 J jnl
The consistent comparison problem in
ACM SIGSOFT Softw. Eng. Notes
Susan S. Brilliant, John C. Knight, Nancy G. Leveson
1986 J jnl
An Experimental Evaluation of the Assumption of Independence in Multiversion Programming.
IEEE Trans. Software Eng.
John C. Knight, Nancy G. Leveson
1985 A* conf
An Experimental Evaluation of Simple Methods for Seeding Program Errors.
ICSE
John C. Knight, Paul Ammann
1985 J jnl
Software Development Tools for Microcontrollers.
Softw. Pract. Exp.
John C. Knight, James L. Russel
1983 J jnl
A Framework for Software Fault Tolerance in Real-Time Systems.
IEEE Trans. Software Eng.
Thomas Anderson, John C. Knight
1983 J jnl
Comprehensive Tools for Assembler Construction.
Softw. Pract. Exp.
W. Robert Collings, Robert E. Noonan, Samuel T. Gregory, John C. Knight, Roy W. Hamm
1983 J jnl
On the Design of a Special-purpose Scientific Programming Language.
Softw. Pract. Exp.
John C. Knight, Douglas D. Dunlop
1983 A* conf
The UK5000 - successful collaborative development of an integrated design system for a 5000 gate CMOS array with built-in test.
DAC
J. R. Grierson, B. Cosgrove, Daniel Richert, R. E. Halliwell, Harold Kirk, John C. Knight, John A. McLean, J. M. McGrail, C. O. Newton
1979 — conf
PASCAL Users' forum.
ACM Annual Conference
John C. Knight
1975 — conf
A language design for vector machines.
Programming Languages and Compilers for Parallel and Vector Machines
Victor R. Basili, John C. Knight
1975 — conf
SIGNUM a spectrum of mathematical software considerations - 1975 (Paper Session).
ACM Annual Conference
David S. Cochran, M. K. Gordon, Michael Minkoff, John C. Knight, Gabor T. Herman, Arnold Lent, Peter H. Lutz, Kenneth M. Brown
1975 — conf
System balance analysis for vector computers.
ACM Annual Conference
John C. Knight, William G. Poole Jr., Robert G. Voigt