Sarah Thompson

According to our database, Sarah Thompson authored at least 5 papers between 2003 and 2010.

Collaborative distances:

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

2010

Software Model Checking of ARINC-653 Flight Code with MCP.

Sarah Thompson, Guillaume P. Brat, Arnaud Venet

Proceedings of the Second NASA Formal Methods Symposium, 2010

2006

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

Sarah Thompson

PhD thesis, 2006

Bit-level partial evaluation of synchronous circuits.

Sarah Thompson, Alan Mycroft

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

2004

Abstract Interpretation of Combinational Asynchronous Circuits.

Sarah Thompson, Alan Mycroft

Proceedings of the Static Analysis, 11th International Symposium, 2004

2003

Intelligent Intravenous Infusion Pumps to Improve Medication Administration Safety.

Jeffrey M. Rothschild, Carol A. Keohane, Sarah Thompson, David W. Bates

Proceedings of the AMIA 2003, 2003