| |
| 2008 | ||
|---|---|---|
| 5 | EE | Graham Hughes, Tevfik Bultan, Muath Alkhalaf: Client and server verification for web services using interface grammars. TAV-WEB 2008: 40-46 |
| 4 | EE | Graham Hughes, Tevfik Bultan: Interface Grammars for Modular Software Model Checking. IEEE Trans. Software Eng. 34(5): 614-632 (2008) |
| 3 | EE | Graham Hughes, Tevfik Bultan: Automated verification of access control policies using a SAT solver. STTT 10(6): 503-520 (2008) |
| 2007 | ||
| 2 | EE | Graham Hughes, Tevfik Bultan: Interface grammars for modular software model checking. ISSTA 2007: 39-49 |
| 2006 | ||
| 1 | EE | 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) |
| 1 | Muath Alkhalaf | [5] |
| 2 | Tevfik Bultan | [2] [3] [4] [5] |
| 3 | Sreeranga P. Rajan | [1] |
| 4 | Tom Sidle | [1] |
| 5 | Keith Swenson | [1] |