☰

Graham Hughes, Ph.D. - Publications

Affiliations: 
2009 Computer Science University of California, Santa Barbara, Santa Barbara, CA, United States 
Tree Info Similar researchers PubMed Report error

4 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2010 Hallè S, Bultan T, Hughes G, Alkhalaf M, Villemaire R. Runtime verification of Web service interface contracts Computer. 43: 59-66. DOI: 10.1109/Mc.2010.76  0.558
2009 Hallé S, Bultan T, Hughes G, Alkhalaf M, Villemaire R. Model-based Runtime Verification of Web Service Interface Contracts Ieee Computer. DOI: 10.1109/Mc.2009.376  0.56
2008 Hughes G, Bultan T. Interface grammars for modular software model checking Ieee Transactions On Software Engineering. 34: 614-632. DOI: 10.1109/Tse.2008.72  0.572
2008 Hughes G, Bultan T. Automated verification of access control policies using a SAT solver International Journal On Software Tools For Technology Transfer. 10: 503-520. DOI: 10.1007/S10009-008-0087-9  0.55
Show low-probability matches.