 | 2009 |
|---|
| 6 |       | Sylvain Hallé,
Graham Hughes,
Tevfik Bultan,
Muath Alkhalaf:
Generating Interface Grammars from WSDL for Automated Verification of Web Services.
ICSOC/ServiceWave 2009: 516-530 |
| 2008 |
|---|
| 5 | | Graham Hughes,
Tevfik Bultan,
Muath Alkhalaf:
Client and server verification for web services using interface grammars.
TAV-WEB 2008: 40-46 |
| 4 | | Graham Hughes,
Tevfik Bultan:
Interface Grammars for Modular Software Model Checking.
IEEE Trans. Software Eng. 34(5): 614-632 (2008) |
| 3 | | Graham Hughes,
Tevfik Bultan:
Automated verification of access control policies using a SAT solver.
STTT 10(6): 503-520 (2008) |
| 2007 |
|---|
| 2 | | Graham Hughes,
Tevfik Bultan:
Interface grammars for modular software model checking.
ISSTA 2007: 39-49 |
| 2006 |
|---|
| 1 | | Graham Hughes,
Sreeranga P. Rajan,
Tom Sidle,
Keith Swenson:
Error Detection in Concurrent Java Programs.
Electr. Notes Theor. Comput. Sci. 144(3): 45-58 (2006) |
