Papers

• Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones and Ganesh Gopalakrishnan, "Formalization and Proof of a Solution to the {PCI} 2.1 Bus Transaction Ordering Problem", Formal Methods in Systems Design, vol. 16, no. 1.

• M. D. Jones and G. Gopalakrishnan, "Toward Automated Abstraction for Protocols over Branching Networks", IEEE International High Level Design Validation and Test Workshop (HLDVT'00), Berkeley, California, November 2000.
• M. D. Jones and G. Gopalakrishnan, "Verifying Transaction ordering properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods," Formal Methods in Computer-Aided Design (FMCAD'00), Austin, Texas, November 2000. Springer LNCS v.1954.
• A. S. Jones, M. D. Jones, M. Clement, Q. Snell, "Pyramid Broadcasting with Fast-forward and Rewind", 8th International Conference on Telecommunication Systems, Modelling and Analysis. Nashville, Tennessee, March 2000.
• Annette Bunker and Michael D. Jones and Trent N. Larson and Phillip J. Windley, Alexandria: Libraries of Abstract, Verified Hardware Modules, 2nd Workshop on Libraries, Component Modeling, and Quality Assurance, April 1997, Toledo, Spain

• Annette Bunker, Trent Larson, Mike Jones, Phil Windley, "Alexandria: A Tool for Heirarchical Verification", Tools Paper in FMCAD98, LNCS 1522, edited by Windley and Gopalakrishnan.
• Michael D. Jones, Restricted Types for HOL (in Category B of TPHOLs97)
• Towards GHDL_EVAL: A Framework for Deeply Embedding Simple HDLs in HOL (in Category B of TPHOLs96)
• Paul E. Black, Kelly M. Hall, Michael D. Jones, Trent N. Larson and Phillip J. Windley, A Brief Introduction to Formal Methods (in IEEE 1996 Custon Integrated Circuits Conference)