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 Newcastle, UK (September 2008)

Nguyen, Elisabeth A., William S. Greenwell, and Myron J. Hecht
Using an Assurance Case to Support Independent Assessment of the Transition to a New GPS Ground Control System
International Conference on Dependable Systems and Networks (DSN 2008), Anchorage, Alaska, June 2008

Nguyen, Elisabeth A., and John C. Knight
The Essential Synthesis of Problem Frames and Assurance Cases
Expert Systems: the Journal of Knowledge Engineering (February 2008)

Greenwell, William S., Gail Haddock, Myron Hecht, Steven Meyers, Eltefaat Shokri, and Elisabeth A. Nguyen
Safety Analysis Methods for Software Intensive Satellite Ground Systems
2008 Space Systems Engineering and Risk Management Symposium, Los Angeles, California (February 2008)

Hecht, Myron, and Elisabeth A. Strunk
The role of Operational Experience and Quantitative Dependability in Certification of Software in Computer Systems for Civil Aviation
Industry track, 2007 International Symposium on Software Reliability Engineering, Trollhättan, Sweden (November 2007)

Graydon, Patrick J., John C. Knight, and Elisabeth A. Strunk
Achieving Dependable Systems by Synergistic Development Of Architectures and Assurance Cases
Architecting Dependable Systems IV, R. de Lemos, C. Gacek, and A. Romanovsky, Eds. Springer, 2007

Graydon, Patrick J., John C. Knight, and Elisabeth A. Strunk
Assurance Based Development of Critical Systems
International Conference on Dependable Systems and Networks (DSN 2007), Edinburgh, Scotland, June 2007

Furia, Carlo A., Matteo G. Rossi, Elisabeth A. Strunk, Dino Mandrioli, and 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 (November 2006)

Strunk, Elisabeth A., Carlo A. Furia, Matteo G. Rossi, John C. Knight, and Dino Mandrioli
The Engineering Roles of Requirements and Specification
University of Virginia Technical Report CS-2006-21, Politecnico di Milano Technical Report 2006.61 (September 2006)

Strunk, Elisabeth A., and John C. Knight
Dependability Through Assured Reconfiguration in Embedded System Software
IEEE DSN Special Issue Transactions on Dependable and Secure Computing (July-September 2006)

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)