Graham Hughes

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire
Runtime Verification of Web Service Interface Contracts. Computer 43 (3) (2010)
Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf
Generating Interface Grammars from WSDL for Automated Verification of Web Services. ICSOC/ServiceWave (2009)
Graham Hughes, Tevfik Bultan, Muath Alkhalaf
Client and server verification for web services using interface grammars. TAV-WEB (2008)
Graham Hughes, Tevfik Bultan
Automated verification of access control policies using a SAT solver. Int. J. Softw. Tools Technol. Transf. 10 (6) (2008)
Graham Hughes, Tevfik Bultan
Interface Grammars for Modular Software Model Checking. IEEE Trans. Software Eng. 34 (5) (2008)
Graham Hughes
Displaying Survey Questionnaires to Data Users: Accuracy versus Clarity. IASSIST Conference (2007)
Graham Hughes, Tevfik Bultan
Interface grammars for modular software model checking. ISSTA (2007)
Graham Hughes, Sreeranga P. Rajan, Tom Sidle, Keith D. Swenson
Error Detection in Concurrent Java Programs. Electron. Notes Theor. Comput. Sci. 144 (3) (2006)