Graham Hughes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2007–2009
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ICSOC | Generating Interface Grammars from WSDL for Automated Verification of Web Services. | Sylvain Hall, Graham Hughes, Tevfik Bultan, Muath Alkhalaf |
| 2008 | ISSTA | Client and server verification for web services using interface grammars. | Graham Hughes, Tevfik Bultan, Muath Alkhalaf |
| 2007 | ISSTA | Interface grammars for modular software model checking. | Graham Hughes, Tevfik Bultan |