Elisabeth A. Nguyen

According to our database, Elisabeth A. Nguyen authored at least 5 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Automated generation of failure modes and effects analysis for a medical device.

Myron Hecht, Elisabeth A. Nguyen, Aaron Chuidian, Julia Pinchak

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

2011

Experiences with Assurance Cases for Spacecraft Safing.

Elisabeth A. Nguyen, Alex G. Ellis

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

2010

The Importance of Data Quality in Software Reliability Modeling.

Elisabeth A. Nguyen, Carlos F. Rexach, David P. Thorpe, Andrew E. Walther

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

2008

Formal Verification by Reverse Synthesis.

Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer

Proceedings of the Computer Safety, 2008

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

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008