dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Graham Hughes (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire: Runtime Verification of Web Service Interface Contracts. IEEE Computer 43(3): 59-66 (2010)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf: Generating Interface Grammars from WSDL for Automated Verification of Web Services. ICSOC/ServiceWave 2009: 516-530
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraham Hughes, Tevfik Bultan, Muath Alkhalaf: Client and server verification for web services using interface grammars. TAV-WEB 2008: 40-46
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraham Hughes, Tevfik Bultan: Interface Grammars for Modular Software Model Checking. IEEE Trans. Software Eng. 34(5): 614-632 (2008)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraham Hughes, Tevfik Bultan: Automated verification of access control policies using a SAT solver. STTT 10(6): 503-520 (2008)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraham Hughes, Tevfik Bultan: Interface grammars for modular software model checking. ISSTA 2007: 39-49

Selection of 6 from 7 records - Graham Hughes has 7 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page