Graham Hughes

According to our database, Graham Hughes authored at least 7 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Runtime Verification of Web Service Interface Contracts.

Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire

Computer, 2010

2009

Generating Interface Grammars from WSDL for Automated Verification of Web Services.

Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

2008

Interface Grammars for Modular Software Model Checking.

Graham Hughes, Tevfik Bultan

IEEE Trans. Software Eng., 2008

Automated verification of access control policies using a SAT solver.

Graham Hughes, Tevfik Bultan

Int. J. Softw. Tools Technol. Transf., 2008

Client and server verification for web services using interface grammars.

Graham Hughes, Tevfik Bultan, Muath Alkhalaf

Proceedings of the 2008 Workshop on Testing, 2008

2007

Displaying Survey Questionnaires to Data Users: Accuracy versus Clarity.

Graham Hughes

Proceedings of the IASSIST 2007, 2007

2005

Error Detection in Concurrent Java Programs.

Graham Hughes, Sreeranga P. Rajan, Tom Sidle, Keith D. Swenson

Proceedings of the 3rd Workshop on Software Model Checking, 2005