Sarah Thompson

Self-Healing Reconfigurable Manifolds

Sarah Thompson, 2005 .

On the application of program analysis and transformation to high reliability electronics

Sarah Thompson, 2006 .

On the application of program analysis and transformation to high reliability hardware

Sarah Thompson, Sarah Thompson, 2006 .

Abstract interpretation of combinational asynchronous circuits

Alan Mycroft, Sarah Thompson, Sarah Thompson, 2004, Sci. Comput. Program..

Software Model Checking of ARINC-653 Flight Code with MCP

Sarah Thompson, Guillaume Brat, Arnaud Venet, 2010, NASA Formal Methods.