Graham Hughes's Publications

You may also be interested in my resume.

  1. G. Hughes and T. Bultan. Automated verification of XACML policies using a SAT solver. In Proceedings of the Workshop on Web Quality, Verification and Validation (WQVV ’07), 2007.
  2. G. Hughes and T. Bultan. Interface grammars for modular software model checking. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA ’07), 2007.
  3. G. Hughes, S. P. Rajan, T. Sidle, and K. Swenson. Error detection in concurrent java programs. In Proceedings of the Workshop on Software Model Checking (SoftMC 2005), volume 144, pages 45–58. Electronic Notes in Theoretical Computer Science, February 2006. Issue 3.
  4. G. Hughes and T. Bultan. Automated verification of access control policies. Technical Report 2004–22, Department of Computer Science, University of California, Santa Barbara, September 2004.

Graham Hughes graham@sigwinch.org