Tevfik Bultan

Tevfik Bultan

University of California Santa Barbara - Santa Barbara / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1832576
person_outline Tevfik Bultan's MOST POPULAR ARTICLES
1-) Analysis of interacting BPEL web servicesX Fu, T Bultan, J SuProceedings of the 13th international conference on World Wide Web, 621-630, 20049672004
2-) Conversation specification: a new approach to design and analysis of e-service compositionT Bultan, X Fu, R Hull, J SuProceedings of the 12th international conference on World Wide Web, 403-410, 20035762003
3-) Symbolic model checking of infinite state systems using Presburger arithmeticT Bultan, R Gerber, W PughInternational Conference on Computer Aided Verification, 400-411, 19972351997
4-) Conversation protocols: a formalism for specification and verification of reactive electronic servicesX Fu, T Bultan, J SuTheoretical Computer Science 328 (1-2), 19-37, 20042002004
5-) Automated verification of access control policies using a SAT solverG Hughes, T BultanInternational journal on software tools for technology transfer 10 (6), 503-520, 20081992008