John C. Knight

Publication Activity (10 Years)

Years Active: 1975-2017
Publications (10 Years): 10

Top Venues

ISSRE Workshops

EDCC

HASE

SAFECOMP Workshops

Publications

Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga
Input Space Partitioning to Enable Massively Parallel Proof. NFM (2017)
Jian Xiang, John C. Knight, Kevin J. Sullivan
Is My Software Consistent with the Real World? HASE (2017)
Ashlie B. Hocking, Benjamin D. Rodes, John C. Knight, Jack W. Davidson, Clark L. Coleman
A Proof Infrastructure for Binary Programs. NFM (2016)
Jian Xiang, John C. Knight, Kevin J. Sullivan
Synthesis of Logic Interpretations. HASE (2016)
Jack W. Davidson, Jason D. Hiser, Anh Nguyen-Tuong, Clark L. Coleman, William H. Hawkins, John C. Knight, Benjamin D. Rodes, Ashlie B. Hocking
A System for the Security Protection of Embedded Binary Programs. DSN Workshops (2016)
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
Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery. CISRC (2016)
John C. Knight, Jack W. Davidson, Anh Nguyen-Tuong, Jason Hiser, Michele Co
Diversity in Cybersecurity. Computer 49 (4) (2016)
John C. Knight, Jonathan C. Rowanhill
The Indispensable Role of Rationale in Safety Standards. SAFECOMP (2016)
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga
Proving Critical Properties of Simulink Models. HASE (2016)
Jonathan C. Rowanhill, John C. Knight
Domain Arguments in Safety Critical Software Development. ISSRE (2016)
John C. Knight, Jonathan C. Rowanhill, Jian Xiang
A Safety Condition Monitoring System. SAFECOMP Workshops (2015)
John C. Knight, Jonathan C. Rowanhill, M. Anthony Aiello, Kimberly S. Wasson
A Comprehensive Safety Lifecycle. SAFECOMP Workshops (2015)
Jian Xiang, John C. Knight, Kevin J. Sullivan
Real-World Types and Their Application. SAFECOMP (2015)
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight
Static analysis of physical properties in Simulink models. ISSRE Workshops (2015)
Jason Hiser, Anh Nguyen-Tuong, Michele Co, Benjamin D. Rodes, Matthew Hall, Clark L. Coleman, John C. Knight, Jack W. Davidson
A Framework for Creating Binary Rewriting Tools (Short Paper). EDCC (2014)
Benjamin D. Rodes, John C. Knight
Speculative Software Modification and its Use in Securing SOUP. EDCC (2014)
Benjamin D. Rodes, John C. Knight, Kimberly S. Wasson
A security metric based on security arguments. WETSoM (2014)
Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi
Arguing Software Compliance with ISO 26262. ISSRE Workshops (2014)
Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi
Proving Model Equivalence in Model Based Design. ISSRE Workshops (2014)
M. Anthony Aiello, Ashlie B. Hocking, John C. Knight, Jonathan C. Rowanhill
SCT: A Safety Case Toolkit. ISSRE Workshops (2014)
Anh Nguyen-Tuong, Jason Hiser, Michele Co, Nathan Kennedy, David Melski, William Ella, David Hyde, Jack W. Davidson, John C. Knight
To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing. EDCC (2014)
Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight
1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). ICSE (2013)
Benjamin D. Rodes, Anh Nguyen-Tuong, Jason Hiser, John C. Knight, Michele Co, Jack W. Davidson
Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation. RV (2012)
Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight
Arguing Conformance. IEEE Softw. 29 (3) (2012)
Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon
A New Approach to creating Clear Safety Arguments. SSS (2011)
Raghavendra Rajkumar, Andrew Wang, Jason Hiser, Anh Nguyen-Tuong, Jack W. Davidson, John C. Knight
Component-Oriented Monitoring of Binaries for Security. HICSS (2011)
John C. Knight
Diversity. Dependable and Historic Computing (2011)
Michele Co, Jack W. Davidson, Jason D. Hiser, John C. Knight, Anh Nguyen-Tuong, David Cok, Denis Gopan, David Melski, Wenke Lee, Chengyu Song, Thomas Bracewell, David Hyde, Brian Mastropietro
PEASOUP: preventing exploits against software of uncertain provenance (position paper). SESS@ICSE (2011)
Xiang Yin, John C. Knight
Formal Verification of Large Software Systems. NASA Formal Methods (2010)
Anh Nguyen-Tuong, Andrew Wang, Jason Hiser, John C. Knight, Jack W. Davidson
On the effectiveness of the metamorphic shield. ECSA Companion Volume (2010)
Patrick J. Graydon, John C. Knight, Xiang Yin
Practical Limits on Software Dependability: A Case Study. Ada-Europe (2010)
Patrick J. Graydon, John C. Knight
Software Process Synthesis in Assurance Based Development of Dependable Systems. EDCC (2010)
Daniel W. Williams, Wei Hu, Jack W. Davidson, Jason Hiser, John C. Knight, Anh Nguyen-Tuong
Security through Diversity: Leveraging Virtual Machine Technology. IEEE Secur. Priv. 7 (1) (2009)
Xiang Yin, John C. Knight, Westley Weimer
Exploiting refactoring in formal verification. DSN (2009)
Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer
Formal Verification by Reverse Synthesis. SAFECOMP (2008)
Elisabeth A. Strunk, John C. Knight
The essential synthesis of problem frames and assurance cases. Expert Syst. J. Knowl. Eng. 25 (1) (2008)
Anh Nguyen-Tuong, David Evans, John C. Knight, Benjamin Cox, Jack W. Davidson
Security through redundant data diversity. DSN (2008)
Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk
Assurance Based Development of Critical Systems. DSN (2007)
Zach Hill, Jonathan C. Rowanhill, Anh Nguyen-Tuong, Glenn S. Wasson, John C. Knight, Jim Basney, Marty Humphrey
Meeting virtual organization performance goals through adaptive grid reconfiguration. GRID (2007)
Jonathan C. Rowanhill, Glenn S. Wasson, Zach Hill, Jim Basney, Yuliyan Kiryakov, John C. Knight, Anh Nguyen-Tuong, Andrew S. Grimshaw, Marty Humphrey
Dynamic System-Wide Reconfiguration of Grid Deployments in Response to Intrusion Detections. HPCC (2007)
John C. Knight, Nancy G. Leveson
Software and higher education. Commun. ACM 49 (1) (2006)
Elisabeth A. Strunk, John C. Knight
Dependability through Assured Reconfiguration in Embedded System Software. IEEE Trans. Dependable Secur. Comput. 3 (3) (2006)
Elisabeth A. Strunk, John C. Knight
The essential synthesis of problem frames and assurance cases. IWAAPF@ICSE (2006)
Wei Hu, Jason Hiser, Daniel W. Williams, Adrian Filipi, Jack W. Davidson, David Evans, John C. Knight, Anh Nguyen-Tuong, Jonathan C. Rowanhill
Secure and practical defense against code-injection attacks using software dynamic translation. VEE (2006)
John C. Knight
Future Trends of Software Technology and Applications Model-Based Development. COMPSAC (1) (2006)
Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases. WADS (2006)
Elisabeth A. Strunk, Xiang Yin, John C. Knight
Echo: a practical approach to formal verification. FMICS (2005)
Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello
Assured Reconfiguration of Fail-Stop Systems. DSN (2005)
Kimberly S. Wasson, Kendra N. Schmid, Robyn R. Lutz, John C. Knight
Using Occurrence Properties of Defect Report Data to Improve Requirements. RE (2005)
John C. Knight
Focusing software education on engineering. ACM SIGSOFT Softw. Eng. Notes 30 (2) (2005)
Andrew S. Grimshaw, Marty A. Humphrey, John C. Knight, Anh Nguyen-Tuong, Jonathan C. Rowanhill, Glenn S. Wasson, Jim Basney
The Development of Dependable and Survivable Grids. International Conference on Computational Science (2) (2005)
John C. Knight
Focusing Software Education on Engineering. CSEE&T (2004)
John C. Knight
Editorial: AE Introduction. IEEE Trans. Software Eng. 30 (8) (2004)
John C. Knight
Editorial: AE Introduction. IEEE Trans. Software Eng. 30 (1) (2004)
Elisabeth A. Strunk, John C. Knight
Assured Reconfiguration of Embedded Real-Time Software. DSN (2004)
John C. Knight
Editorial: AE Farewell. IEEE Trans. Software Eng. 30 (5) (2004)
Riccardo Scandariato, John C. Knight
The Design and Evaluation of a Defense System for Internet Worms. SRDS (2004)
William S. Greenwell, Elisabeth A. Strunk, John C. Knight
Failure Analysis and the Safety-Case Lifecycle. Human Error, Safety and Systems Development (2004)
Jonathan C. Rowanhill, Philip E. Varner, John C. Knight
Efficient Hierarchic Management For Reconfiguration of Networked Information Systems. DSN (2004)
John C. Knight
An Introduction to Computing System Dependability. ICSE (2004)
John C. Knight
Editorial: The State of TSE. IEEE Trans. Software Eng. 30 (2) (2004)
John C. Knight, Elisabeth A. Strunk
Achieving Critical System Survivability Through Software Architectures. WADS (2003)
John C. Knight
Editorial: AE Introduction. IEEE Trans. Software Eng. 29 (4) (2003)
John C. Knight
Computing Systems Dependability. ICSE (2003)
John C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan
Towards a Rigorous Definition of Information System Survivability. DISCEX (1) (2003)
Kimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis
Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development. SAFECOMP (2003)
John C. Knight
New AEIC Introduction and AE Farewell. IEEE Trans. Software Eng. 29 (11) (2003)
John C. Knight
Editorial: AE Farewell. IEEE Trans. Software Eng. 29 (8) (2003)
John C. Knight, Jonathan Hill, Philip E. Varner, Premkumar T. Devanbu, Alexander L. Wolf, Dennis Heimbigner
Willow System Demonstration. DISCEX (2) (2003)
John C. Knight
Software Challenges in Aviation Systems. SAFECOMP (2002)
John C. Knight
Safety critical systems: challenges and directions. ICSE (2002)
John C. Knight, Nancy G. Leveson
Should software engineers be licensed?. Commun. ACM 45 (11) (2002)
John C. Knight
AE Introduction. IEEE Trans. Software Eng. 28 (3) (2002)
John C. Knight
Desert Island Books. Autom. Softw. Eng. 9 (3) (2002)
John C. Knight
Editorial: New AE Introduction/Farewell. IEEE Trans. Software Eng. 28 (12) (2002)
John C. Knight
Dependability of embedded systems. ICSE (2002)
John C. Knight, Matthew C. Elder
Fault Tolerant Distributed Information Systems. ISSRE (2001)
John C. Knight, Kimberly S. Hanks, Sean R. Travis
Tool Support for Production Use of Formal Techniques. ISSRE (2001)
Chenxi Wang, Jonathan Hill, John C. Knight, Jack W. Davidson
Protection of Software-Based Survivability Mechanisms. DSN (2001)
John C. Knight
Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction. HASE (2001)
Chenxi Wang, John C. Knight, Matthew C. Elder
On Computer Viral Infection and the Effect of Immunization. ACSAC (2000)
Susan S. Brilliant, John C. Knight
Empirical research in software engineering: a workshop. ACM SIGSOFT Softw. Eng. Notes 24 (3) (1999)
Kevin J. Sullivan, John C. Knight, Xing Du, Steve Geist
Information Survivability Control Systems. ICSE (1999)
John C. Knight, P. Thomas Fletcher, Brian R. Hicks
Tool Support for Production Use of Formal Techniques. World Congress on Formal Methods (1999)
John C. Knight, Michael F. Dunn
Software Quality Through Domain-Driven Certification. Ann. Softw. Eng. 5 (1998)
John C. Knight
Challenges in the Utilization of Formal Methods. FTRTFT (1998)
James C. French, John C. Knight, Allison L. Powell
Applying Hypertext Structures to Software Documentation. Inf. Process. Manag. 33 (2) (1997)
John C. Knight, Luís G. Nakano
Software Test Techniques for System Fault-Tree Analysis. SAFECOMP (1997)
John C. Knight, Susan S. Brilliant
Preliminary Evaluation of a Formal Approach to User Interface Specification. ZUM (1997)
Paul Ammann, Dahlard L. Lukes, John C. Knight
Applying Data Redundancy to Differential Equation Solvers. Ann. Softw. Eng. 4 (1997)
Kevin J. Sullivan, John C. Knight
Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse. ICSE (1996)
Allison L. Powell, James C. French, John C. Knight
A systematic approach to creating and maintaining software documentation. SAC (1996)
John C. Knight, Aaron G. Cass, Antonio M. Fernández, Kevin G. Wika
Testing a Safety-Critical Application. ISSTA (1994)
John C. Knight, Jane C. Prey, William A. Wulf
Undergraduate computer science education: a new curriculum philosophy & overview. SIGCSE (1994)
John C. Knight, Bev Littlewood
Guest Editors' Introduction: Critical Task of Writing Dependable Software. IEEE Softw. 11 (1) (1994)
Paul Ammann, Susan S. Brilliant, John C. Knight
The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing. IEEE Trans. Software Eng. 20 (2) (1994)
John C. Knight, E. Ann Myers
An Improved Inspection Technique. Commun. ACM 36 (11) (1993)
Michael F. Dunn, John C. Knight
Automating the Detection of Reusable Parts in Existing Software. ICSE (1993)
John C. Knight, Darrell M. Kienzle
Preliminary Experience Using Z to Specify a Safety-Critical System. Z User Workshop (1992)
Michael F. Dunn, John C. Knight
Software Reuse in an Industrial Setting: A Case Study. ICSE (1991)

John C. Knight.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John C. Knight