You may also be interested in my resume.
- S. Halle, G. Hughes, T. Bultan, and M. Alkhalaf.
Generating Interface Grammars from WSDL for Automated
Verification of Web Services. Proceedings of the 7th
International Conference on Service Oriented Computing (ICSOC
2009), pp. 516–530, Stockholm, Sweden, November
24–27, 2009.
- G. Hughes and T. Bultan. Automated Verification of
Access Control Policies Using a SAT Solver. International
Journal on Software Tools for Technology Transfer (STTT),
special issue on selected papers from the Workshop on Web
Quality, Verification and Validation (WQVV 2007) vol. 10, no. 6,
pp. 473–534, December 2008.
- G. Hughes, T. Bultan and M. Alkhalaf. Client and
Server Verification for Web Services Using Interface
Grammars. Proceedings of the Workshop on Testing,
Analysis and Verification of Web Software (TAV-WEB 2008),
pp. 40–46, Seattle, Washington, July 21, 2008.
- G. Hughes and T. Bultan. Extended Interface Grammars
for Automated Stub Generation. Proceedings of the
Automated Formal Methods Workshop (AFM 2007), pp. 41–54,
Atlanta, Georgia, November 6, 2007
- 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.
- 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.
- 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.