Strunk, Elisabeth A., and John C. Knight, eds.
Digital Avionics: A Computing Perspective
IEEE Computer Society Press, 2006.

Graydon, Patrick J., Elisabeth A. Strunk, M. Anthony Aiello, and John C. Knight
A Graduate Seminar in Tools and Techniques
Formal Methods in the Teaching Lab workshop, co-located with Formal Methods 2006, Hamilton, Ontario, Canada (August 2006)

Strunk, Elisabeth A., M. Anthony Aiello, and John C. Knight, eds.
A Survey of Tools for Model Checking and Model-Based Development
Technical Report CS-2006-17, Department of Computer Science, University of Virginia (June 2006)

Strunk, Elisabeth A., and John C. Knight
The Essential Synthesis of Problem Frames and Assurance Cases
2nd International Workshop on Applications and Advances in Problem Frames, co-located with 29th International Conference on Software Engineering, Shanghai, China (May 2006)

Strunk, Elisabeth A., Xiang Yin and John C. Knight
Echo: A Practical Approach to Formal Verification
Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005), co-located with ESEC/FSE '05, Lisbon, Portugal (September 2005)

Strunk, Elisabeth A., John C. Knight, and M. Anthony Aiello
Assured Reconfiguration of Fail-Stop Systems
The International Conference on Dependable Systems and Networks (DSN 2005), Yokohama, Japan (June 2005)

Strunk, Elisabeth A.
Reconfiguration Assurance in Embedded System Software
Ph.D. Dissertation, May 2005

Strunk, Elisabeth A. and Xiang Yin
Assured Reconfiguration: Specification, Proofs, and Example
Technical Report CS-2005-05, University of Virginia Dept. of Computer Science, April 2005

Strunk, Elisabeth A., John C. Knight, and M. Anthony Aiello
Distributed Reconfigurable Avionics Architectures
23rd Digital Avionics Systems Conference, Salt Lake City, UT (October 2004)
Selected Best Paper in the Software Engineering Track

Knight, John C., Elisabeth A. Strunk, William S. Greenwell, and Kimberly S. Wasson
Specification and Analysis of Data for Safety-Critical Systems
22nd International System Safety Conference, Providence RI (August 2004)

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)

Strunk, Elisabeth A. and John C. Knight
Assured Reconfiguration of Embedded Real-Time Software
The International Conference on Dependable Systems and Networks (DSN 2004), Florence, Italy (June 2004)

Knight, John C. and Elisabeth A. Strunk
Achieving Critical System Survivability through Software Architectures
in Architecting Dependable Systems II, de Lemos, Gacek, and Romanovsky, eds. © 2004, Springer-Verlag.

Wasson, 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, Edinburgh, Scotland (September 2003). © 2003, Springer-Verlag.

Greenwell, William S., John C. Knight and Elisabeth A. Strunk
Risk-Based Classification of Incidents
IRIA 03 Workshop on Investigation and Reporting of Incidents and Accidents, Williamsburg, VA (September 2003)

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)

Knight, John, Elisabeth A. Strunk and Kevin J. Sullivan
Towards a Rigorous Definition of Information System Survivability
DISCEX 2003, Washington DC (April 2003)

Strunk, Elisabeth A.
The Role of Natural Language in a Software Product
M.S. Thesis, May 2002

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)

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)