Glass, B. J., McKay, C., Thompson, S and Zacny, K, Automated Mars Drilling for "Icebreaker", IEEE Aerospace Conference 2011, Big Sky MT, April 2011. [Proceedings]
Glass, B., S. Thompson, and G. Paulsen, Robotic Planetary Drill Tests, iSAIRAS 2010, Sapporo, Japan, August 2010. [Full Text]
Glass, B., S. Thompson, and G. Paulsen, Planetary Analogs for Drilling Automation Testing, ASCE Earth and Space 2010, Honolulu, HI, March 2010.
Glass, B., S. Thompson, G. Paulsen, and P. Lee, Planetary Drill Concept Tests At Haughton Crater, Lunar and Planetary Sciences Conference XLI, Abstract 2052, The Woodlands, TX, March 2010.
Thompson, S., Davies, M., and Gundy-Burlet, K.,Hybrid Decompositional Verification for Discovering Failures in Adaptive Flight Control Systems. In AIAA Infotech, Atlanta, Ga., April 20-22, 2010. [Full Text]
S. Thompson, G. Brat and A. Venet, Software Model Checking of ARINC-653 Flight Code with MCP, NFM 2010, [Full Text]
Glass, B. , S. Thompson, S. Hanagud, S. Statham, J. Cohen, P. Lee, and G. Osinski, Planetary Drill Prototype Testing At An Impact Structure Palaeo-Hydrothermal Site, Lunar and Planetary Sciences Conference XL, Abstract 2197, Houston, TX, March 2009
G. Brat and S. Thompson, Verification of C++ Flight Software with the MCP Model Checker, IEEE Aerospace Conference, Big Sky, March 2008
S. Thompson, Self-Healing Approaches for FPGAs and Wiring Manifolds, 1st Air Force Research Laboratory Reconfigurable Systems Workshop, Albuquerque, February 2007
S. Thompson and A. Mycroft, Dynamic Testing and Automatic Repair of Reconfigurable Wiring Harnesses, Final rept. 29 Nov 2005-29 Jan 07, Accession Number ADA463036, Defense Technical Information Center
S. Thompson and A. Mycroft, Abstract Interpretation of Combinational Asynchronous Circuits (Extended Version), Science of Computer Programming (2006), doi:10.1016/j.scico.2006.03.007, Elsevier Science [Final Draft]
S. Thompson and A. Mycroft, Bit-Level Partial Evaluation of Synchronous Circuits, In Proc. ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM '06) Charleston, South Carolina, January 9-10, 2006 [Full Text]
S. Thompson and A. Mycroft, G. Brat and A. Venet, Automatic In-Flight Repair of FPGA Cosmic Ray Damage, Proc. 1st Disruption in Space Symposium, Marseille, July, 2005 [Full Text]
S. Thompson and A. Mycroft, Abstract Interpretation in Space: SET Immunity of Majority Voting Logic, Proc. APPSEM II Workshop, Frauenchiemsee, Germany, September 2005 [Full Text]
S. Thompson and A. Mycroft, Sliding Window Logic Simulation, 15th UK Asynchronous Forum, Cambridge, January, 2004 [Extended Abstract]
S. Thompson and A. Mycroft, Statically Analysing the Dynamic Behaviour of Asynchronous Circuits by Abstract Interpretation, PREP 2004, Hatfield, UK, 2004 † [Extended Abstract]
S. Thompson and A. Mycroft, Abstract Interpretation of Combinational Asynchronous Circuits, In Proc. 11th International Symposium on Static Analysis (SAS 2004), R. Giacobazzi, ed., LNCS 3148, Springer Verlag, August, 2004 [Proceedings][Preprint of Extended Journal Version]
S. Thompson, Hardware Compilation as an Alternative Computation Architecture, M.Sc Thesis, University of Teesside, August 1991
S. Thompson, On the Application of Program Analysis and Transformation to High Reliability Electronics, Ph.D Thesis, St Edmund's College, University of Cambridge, April 2006 [Final Draft][Tech Report]
S. Thompson, A Non-Clausal QBF Solver for Hardware Verification, Manuscript [Abstract]
- Alan Mycroft, Computer Laboratory, University of Cambridge
- Guillaume Brat, Robust Software Engineering Group, Intelligent Systems Division, NASA Ames
- Arnaud Venet, Robust Software Engineering Group, Intelligent Systems Division, NASA Ames
- Karl Schimpf, Google Inc.
- Brian Glass, NASA Ames
- Misty D. Davies, NASA Ames
- Karen Gundy-Burlet, NASA Ames
- Chris McKay, NASA Ames
- Pascal Lee, Mars Institute
- Shannon Statham, Georgia Tech
- Sathya Hanagud, Georgia Tech
- Joanna Cohen, Honeybee Robotics Inc.
- Gale Paulsen, Honeybee Robotics Inc.
- Kris Zacny, Honeybee Robotics Inc.
† Winner of best paper prize