Publications

From Dependability


Contents

Recent Papers

  • Xiang Yin, John C. Knight, Elisabeth A. Nguyen, and Westley Weimer
Formal Verification By Reverse Synthesis
SAFECOMP 2008: The 27th International Conference on Computer Safety, Reliability and Security, September 2008 (PDF)
  • Anh Nguyen-Tuong, David Evans, John C. Knight, Benjamin Cox, Jack W. Davidson
Security through Redundant Data Diversity
Dependable Systems Network (DSN 2008), June 2008 (PDF)
  • J. Rowanhill, G. Wasson, Z. Hill, J. Basney, Y. Kiryakov, J. Knight, A. Nguyen-Tuong, A. Grimshaw and M. Humphrey.
Dynamic System-wide Reconfiguration of Grid Deployments in Response to Intrusion Detections.
High Performance Computing Conference (HPCC 2007), Sept 26-28, 2007 (PDF)
  • Z. Hill, J. Rowanhill, A. Nguyen-Tuong, J. Basney, G. Wasson, J. Knight and M. Humphrey.
Meeting Virtual Organization Performance Goals through Adaptive Grid Reconfiguration.
8th IEEE/ACM International Conference on Grid Computing (Grid 2007), Sept 19-21, 2007 (PDF)
  • John C. Knight and Patrick Graydon
Engineering, Communications, and Safety
2008 Australian Conference on Safety Related Programmable Systems, August 2007 (PDF)
  • Patrick J. Graydon, John C. Knight and Elisabeth A. Strunk
Assurance Based Development of Critical Systems
2007 International Symposium on Dependable Systems and Networks (DSN), June 2007 (PDF)


Dependability

  • Xiang Yin, John C. Knight, Elisabeth A. Nguyen, and Westley Weimer
Formal Verification By Reverse Synthesis
SAFECOMP 2008: The 27th International Conference on Computer Safety, Reliability and Security, September 2008 (PDF)
  • John C. Knight and Patrick Graydon
Engineering, Communications, and Safety
2008 Australian Conference on Safety Related Programmable Systems, August 2007 (PDF)
  • Patrick J. Graydon, John C. Knight and Elisabeth A. Strunk
Assurance Based Development of Critical Systems
2007 International Symposium on Dependable Systems and Networks (DSN), June 2007 (PDF)
  • Carlo A. Furia, Matteo Rossi, Elisabeth A. Strunk, Dino Mandrioli, John C. Knight
Raising Formal Methods To The Requirements Level
University of Virginia Technical Report CS-2006-24, Politecnico di Milano Technical Report 2006.64 (PDF}
  • Elisabeth A. Strunk, Carlo A. Furia, Matteo Rossi, John C. Knight, Dino Mandrioli
The Engineering Roles of Requirements and Specification
University of Virginia Technical Report CS-2006-21, Politecnico di Milano Technical Report 2006.61 (PDF)
  • Greenwell, William S., Elisabeth A. Strunk, and John C. Knight
Failure Analysis and the Safety-Case Lifecycle
IFIP Working Conference on Human Error, Safety and System Development (HESSD) Toulouse, France (August 2004) (PDF)
  • Strunk, Elisabeth A. and John C. Knight
Assured Reconfiguration of Embedded Real-Time Software
International Conference on Dependable Systems and Networks, Florence, Italy, July 2004 DSN 2004 (PDF)
  • Wasson, Kimberly S.
Comparative Evaluation: Implications from the Multidisciplinary Nature of Requirements.
RE Workshop on Comparative Evaluation in Requirements Engineering, Monterey Bay, CA, USA (September, 2003) (PDF)
  • Hanks, Kimberly S.
On Classification in the Study of Failure, and a Challenge to Classifiers
2003 Workshop on the Investigation and Reporting of Incidents and Accidents, Williamsburg, VA, USA (September, 2003) (PDF)
  • Greenwell, William S. and John C. Knight
Risk-Based Classification of Incidents
Submitted to: IRIA 03 Workshop on Investigation and Reporting of Incidents and Accidents, Williamsburg, VA (September 2003) (PDF)
  • Greenwell, William S. and John C. Knight
What Should Aviation Safety Incidents Teach Us?
Submitted to: SAFECOMP 2003, The 22nd International Conference on Computer Safety, Reliability and Security, Edinburgh, Scotland (September 2003) (PDF)
  • Hanks, Kimberly S., John C. Knight, Elisabeth A. Strunk, and Sean R. Travis
Tools Supporting the Communication of Critical Application Domain Knowledge in High Consequence Systems Development
SAFECOMP 2003, The 22nd International Conference on Computer Safety, Reliability and Security, Edinbugh, Scotland (September 2003)(PDF)
  • Hanks, Kimberly S., John C. Knight
Improving Communication of Critical Domain Knowledge in High-Consequence Software Development: an Empirical Study
21st International System Safety Conference (ISSC'03), Ottawa, Canada (August, 2003) (PDF)
  • Strunk, Elisabeth A., and John C. Knight
Functionality/Dependability Co-design in Real-Time Embedded Software
Workshop on Co-design for Embedded Real-time Systems (CERTS'03), Co-located with the Euromicro International Conference on Real-Time Systems (July 2003) (PDF)
  • Knight, J.C. and S.M. Parikh
Simulation technology for free flight system performance and survivability analysis
21st Digital Avionics Systems Conference, Irvine, CA (November 2002) (PDF)
  • Knight, J.C.,
Software Challenges in Aviation Systems (summary of keynote presentation)
International Conference of Computer Safety, Reliability and Security, Catania, Italy (September 2002) (PDF)
  • Hanks, Kimberly S., John C. Knight, C. Michael Holloway
The Role of Natural Language in Accident Investigation and Reporting Guidelines
2002 Workshop on the Investigation and Reporting of Incidents and Accidents, Glasgow, Scotland (July, 2002) (PDF)
  • Hanks, Kimberly, S., John C. Knight
In Search of Best Practices for the Use of Natural Language in the Development of High-Consequence Systems
Fastabstracts, International Conference of Dependable Systems and Networks, Bethesda, MD (June, 2002) (PDF)
  • Knight, J.C.
Safety Critical Systems: Challenges and Directions (summary of state-of-the-art presentation)
International Conference on Software Engineering, Orlando, FL (May 2002) (PDF)
  • Hanks, Kimberly S., John C. Knight, and Elisabeth A. Strunk
Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction
Software Engineering Workshop, NASA Goddard Space Flight Center (December, 2001) (PDF)
  • Hanks, Kimberly S., John C. Knight, and Elisabeth A. Strunk
A Linguistic Analysis of Requirements Errors and Its Application
University of Virginia, Department of Computer Science, Technical Report CS-2001-30 (November 2001) (PDF)
  • Knight, John C., Kimberly S. Hanks, and Sean R. Travis
Tool Support for Production Use of Formal Techniques
International Symposium on Software Reliability Engineering, Hong Kong (November 2001) (PDF)
  • Hanks, Kimberly, S., John C. Knight
Improving Dependability through the Application of Rigorous Theoretical Linguistics to Requirements Capture,
Fastabstracts: International Conference of Dependable Systems and Networks, Goteborg, Sweden (July, 2001) (PDF)
  • Knight J.C., P.T. Fletcher, and B. Hicks,
Tool Support for Production Use of Formal Techniques
Short paper, FM `99: World Congress on Formal Methods, Toulouse, France, (September 1999) (PDF)
  • Knight, J.C., C.L. DeJong, M.S. Gibble, and L.G. Nakano,
Why Are Formal Methods Not Used More Widely?
Fourth NASA Formal Methods Workshop, Hampton, VA (September 1997) (PDF)
  • Knight, J.C. and L.G. Nakano,
Software Test Techniques for System Fault-Tree Analysis
SAFECOMP `97, York, UK (September 1997) (PDF)
  • Knight, J.C. and S.S. Brilliant,
Preliminary Evaluation of a Formal Approach to User Interface Specification
Tenth International Conference of Z Users, LNCS 1212 Springer Verlag, Reading, UK (April 1997) (PDF)
  • Brilliant, S.S., J.C. Knight, and M.E. Elder,
Formal Specification of a User Interface
American Nuclear Society Meeting on Nuclear Plant Instrumentation, Control, and Human Machine Interface Technologies, May 1996, University Park, PA.

Survivability and Security

  • Anh Nguyen-Tuong, David Evans, John C. Knight, Benjamin Cox, Jack W. Davidson
Security through Redundant Data Diversity
Dependable Systems Network (DSN 2008), June 2008 (PDF)
  • J. Rowanhill, G. Wasson, Z. Hill, J. Basney, Y. Kiryakov, J. Knight, A. Nguyen-Tuong, A. Grimshaw and M. Humphrey.
Dynamic System-wide Reconfiguration of Grid Deployments in Response to Intrusion Detections.
High Performance Computing Conference (HPCC 2007), Sept 26-28, 2007 (PDF)
  • Z. Hill, J. Rowanhill, A. Nguyen-Tuong, J. Basney, G. Wasson, J. Knight and M. Humphrey.
Meeting Virtual Organization Performance Goals through Adaptive Grid Reconfiguration.
8th IEEE/ACM International Conference on Grid Computing (Grid 2007), Sept 19-21, 2007 (PDF)
  • Benjamin Cox, David Evans, Adrian Filipi, Jonathan Rowanhill, Wei Hu, Jack Davidson, John Knight, Anh Nguyen-Tuong, and Jason Hiser
N-Variant Systems A Secretless Framework for Security through Diversity
15th USENIX Security Symposium Vancouver, BC (August 2006) (PDF)
  • Wei Hu, Jason Hiser, Dan Williams, Adrian Filipi, Jack W. Davidson, David Evans, John C. Knight, Anh Nguyen-Tuong, Jonathan Rowanhill
Secure and Practical Defense Against Code-injection Attacks using Software Dynamic Translation
Virtual Execution Environments Conference, June 2006 (PDF, HTML)
  • A. Grimshaw, M. Humphrey, J.C. Knight, A. Nguyen-Tuong, J. Rowanhill, G. Wasson, and J. Basney
The Development of Dependable and Survivable Grids
2005 Workshop on Dynamic Data Driven Applications (associated with the 2005 International Conference on Computational Science), Emory University, Atlanta, GA. May 22-25, 2005. (PDF)
  • Anh Nguyen-Tuong, Salvatore Guarnieri, Doug Green, Jeffrey Shirley, David Evans
Automatically Hardening Web Applications using Precise Tainting
IFIP Security 2005, Chiba, Japan, May 2005 (PDF)
  • David Evans, Adrian Filipi, Jonathan Rowanhill, Anh Nguyen-Tuong, John C. Knight, Jack W. Davidson
Secretless Security Structures
University of Virginia Computer Science Technical Report CS-2005-17, April 2005
  • Scandariato, Riccardo and John C. Knight
An Automated Defense System to Counter Internet Worms
Proceedings of SRDS 2004, 23rd Symposium on Reliable Distributed Systems, Florianopolis, Brazil (October 2004) (PDF)
  • Elisabeth A. Strunk, John C. Knight and Anthony M. Aiello
Distributed Reconfigurable Avionics Architectures
23rd Digital Avionics Systems Conference, Salt Lake City, Utah (October 2004) (PDF)
  • Knight, John C. and Elisabeth A. Strunk
Achieving Critical System Survivability through Software Architectures Architecting Dependable Systems
(R. de Lemos, C. Gacek, and A. Romanovsky Eds) Springer Verlag (2004) © Springer-Verlag (PDF)
  • Strunk

, Elisabeth A. and John C. Knight

Assured Reconfiguration of Embedded Real-Time Software
International Conference on Dependable Systems and Networks, Florence, Italy, July 2004 DSN 2004 (PDF)
  • Greenwell, William S., Elisabeth A. Strunk, and John C. Knight
Failure Analysis and the Safety-Case Lifecycle
IFIP Working Conference on Human Error, Safety and System Development (HESSD) Toulouse, France (August 2004) (PDF)
  • Rowanhill, Jonathan C., Philip E. Varner and John C. Knight.
Efficient Hierarchic Management For Reconfiguration of Networked Information Systems
International Conference on Dependable Systems and Networks, Florence, Italy, July 2004 DSN 2004 (PDF)
  • Knight, John, Elisabeth A. Strunk and Kevin J. Sullivan
Towards a Rigorous Definition of Information System Survivability
DISCEX 2003, Washington DC (April 2003) (PDF)
  • Hill, Jonathan C., John C. Knight
Selective Notification: Combining Forms of Decoupled Addressing for Internet-Scale Command and Alert Dissemination,
Technical Report CS-2003-14, University of Virginia, Department of Computer Science (April 2003) (PDF)
  • Knight, John C., Dennis Heimbigner, Alexander Wolf, Antonio Carzaniga, Jonathan Hill, Premkumar Devanbu, Michael Gertz
The Willow Architecture: Comprehensive Survivability for Large-Scale Distributed Applications
Intrusion Tolerance Workshop, DSN-2002 The International Conference on Dependable Systems and Networks, Washington DC (June 2002) (PDF)
  • Varner, Philip E., John C. Knight
Security Monitoring, Visualization, and System Survivability
Information Survivability Workshop - 2001 (PDF)
  • Knight, John C., Dennis Heimbigner, Alexander Wolf, Antonio Carzaniga, Jonathan Hill, Premkumar Devanbu, Michael Gertz
The Willow Survivability Architecture
Information Survivability Workshop - 2001 (PDF)
  • Knight, John C., Matthew C. Elder
Fault Tolerant Distributed Information Systems
International Symposium on Software Reliability Engineering, Hong Kong (November 2001) (PDF)
  • Wang, C., J. Davidson, J. Hill, J. Knight
Protection of Software-based Survivability Mechanisms
International Conference of Dependable Systems and Networks, Goteborg, Sweden (July, 2001) (PDF)
  • Knight, John C., Kevin J. Sullivan, Matthew C. Elder, Chenxi Wang
Survivability Architectures: Issues and Approaches
DARPA Information Survivability Conference and Exposition (DISCEX 2000), Hilton Head SC (January 2000) (PDF)
  • Knight, J.C. and K.J. Sullivan
On the Definition of Survivability
University of Virginia, Department of Computer Science, Technical Report CS-TR-33-00 (PDF)
  • Wang, C., J.C. Knight, M. Elder
On Viral Propagation and the Effect of Immunization
16th ACM Annual Computer Applications Conference, New Orleans, LA (December 2000) (PDF)
  • Sullivan, K., J.C. Knight, X. Du, and S. Geist,
Information Survivability Control Systems
Twenty-first International Conference on Software Engineering, (May 1999),
Los Angeles, CA, IEEE Computer Society Press (PDF)
  • Knight, J., M. Elder, X. Du
Error Recovery in Critical Infrastructure Systems
Computer Security, Dependability, & Assurance: From Needs to Solutions
IEEE Computer Society (Order Number PR00337) (PDF)
  • Knight, John C., Elder, Matthew C., Flinn, James, Marx, Patrick
Analysis of Four Critical Infrastructure Applications
Computer Science Report No. CS-97-27, September 19, 1998
(available by request; send mail to knight at cs dot virginia dot edu)

Other Areas

  • Knight, J.C. and M.F. Dunn,
Software quality through domain-driven certification
Annals of Software Engineering, vol. 5 (1998) pp. 293-315.
  • Elder, M.C. and J.C. Knight,
Specification of User Interfaces for Safety-Critical Systems
MRCAS `95, Second International Symposium on Medical Robotics and Computer Assisted Surgery, November 1995, Baltimore, MD.
  • Wika, K.G. and J.C. Knight,
On the Enforcement of Software Safety Policies
10th Annual IEEE Conference on Computer Assurance (COMPASS `95), June 1995, Gaithersburg, MD.
  • Wika, K.G. and J.C. Knight,
Software Safety in a Medical Application
MRCAS '94, First International Symposium on Medical Robotics and Computer Assisted Surgery, September 1994, Pittsburgh, PA.
  • Dunn, M.F. and J.C. Knight,
The Role of Domain Analysis in Quality Assurance
Twelfth Pacific Northwest Software Quality Conference, September 1994, Portland OR.
  • Knight J.C., A.G. Cass, A.M. Fernandez, and K.G. Wika,
Testing a Safety-Critical Application
ISSTA `94, International Symposium on Software Testing and Analysis (workshop section), August 1994, Seattle, WA.
  • Ammann, P.E., S.S. Brilliant, and J.C. Knight,
The Effect Of Imperfect Error Detection On Reliability Assessment Via Life Testing
IEEE Transactions on Software Engineering
Vol. 20, No. 2, (February 1994).
  • Dunn, M.F. and J.C. Knight,
Automating The Detection Of Reusable Parts In Existing Software
15th International Conference on Software Engineering May 1993, Baltimore, MD.
  • Myers, E.A. and J.C. Knight,
An Improved Software Inspection Technique And An Empirical Evaluation Of Its Effectiveness
Communications of the ACM
Vol. 36, No. 11, pp. 50-61 (November, 1993).

Recent Dissertations and M.S. Theses

  • Greenwell, William S.
Pandora: An Approach to Analyzing Safety-Related Digital-System Failures
Ph.D. Dissertation, May 2007 (PDF)
Learning Lessons from Accidents and Incidents Involving Safety-Critical Software Systems
M.S. Thesis, May 2003 (PDF)
  • Graydon, Patrick
Formal Specification of Static Configuration Data
M.S. Thesis, June 2006 (PDF)
  • Wasson, Kimberly
CLEAR Requirements: Improving Validity Using Cognitive Linguistic Elicitation and Representation
Ph.D. Dissertation, May 2006 (http://dependability.cs.virginia.edu/publications/wasson_diss.pdf PDF])
  • Strunk, Elisabeth A.
Reconfiguration Assurance in Embedded System Software
Ph.D. Dissertation, May 2005 (PDF)
The Role of Natural Language in a Software Product
M.S. Thesis, May 2002 (PDF)
  • Rowanhill, Jonathan
Survivability Management Architecture for Very Large Distributed Systems
Ph.D. Dissertation, July 2004 (PDF)
  • Varner, Philip E.
Policy Specification for Non-Local Fault Tolerance in Large Distributed Information Systems
M.S. Thesis, May 2003 (PDF)
  • Elder, Matthew C.
Fault Tolerance in Critical Information Systems
Ph.D. Dissertation, May 2001 (PDF)
  • Wang, Chenxi
A Security Architecture for Survivability Mechanisms
Ph.D. Dissertation, October 2000 (PDF)
Retrieved from "http://dependability.cs.virginia.edu/info/Publications"