Using an assurance case to support independent assessment of the transition to a new GPS ground control system. - Elisabeth A. Nguyen; William S. Greenwell; Myron Hecht (DSN, 2008)

Formal Verification by Reverse Synthesis. - Xiang Yin 001; John C. Knight; Elisabeth A. Nguyen; Westley Weimer (SAFECOMP, 2008)

The Importance of Data Quality in Software Reliability Modeling. - Elisabeth A. Nguyen; Carlos F. Rexach; David P. Thorpe; Andrew E. Walther (ISSRE, 2010)

Experiences with Assurance Cases for Spacecraft Safing. - Elisabeth A. Nguyen; Alex G. Ellis (ISSRE, 2011)

Automated generation of failure modes and effects analysis for a medical device. - Myron Hecht; Elisabeth A. Nguyen; Aaron Chuidian; Julia Pinchak (ISSRE Workshops, 2015)