Stacy D. Nelson

According to our database, Stacy D. Nelson authored at least 3 papers between 2002 and 2004.

Collaborative distances:

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

2004

What Makes a Code Review Trustworthy?

Stacy D. Nelson, Johann Schumann

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

2002

Toward V&V of neural network based controllers.

Johann Schumann, Stacy D. Nelson

Proceedings of the First Workshop on Self-Healing Systems, 2002

Formal Verification for a Next-Generation Space Shuttle.

Stacy D. Nelson, Charles Pecheur

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002