Tevfik Bultan
Tevfik Bultan
Professor of Computer Science, University of California, Santa Barbara
E-mail megerősítve itt: cs.ucsb.edu - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Analysis of interacting BPEL web services
X Fu, T Bultan, J Su
Proceedings of the 13th international conference on World Wide Web, 621-630, 2004
8852004
Conversation specification: a new approach to design and analysis of e-service composition
T Bultan, X Fu, R Hull, J Su
Proceedings of the 12th international conference on World Wide Web, 403-410, 2003
5412003
Symbolic model checking of infinite state systems using Presburger arithmetic
T Bultan, R Gerber, W Pugh
International Conference on Computer Aided Verification, 400-411, 1997
2351997
Wsat: A tool for formal analysis of web services
X Fu, T Bultan, J Su
International Conference on Computer Aided Verification, 510-514, 2004
1732004
Model-checking concurrent systems with unbounded integer variables: Symbolic representations, approximations, and experimental results
T Bultan, R Gerber, W Pugh
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (4), 747-789, 1999
1701999
Conversation protocols: a formalism for specification and verification of reactive electronic services
X Fu, T Bultan, J Su
Theoretical Computer Science 328 (1-2), 19-37, 2004
1672004
Synchronizability of conversations among web services
X Fu, T Bultan, J Su
IEEE Transactions on Software Engineering 31 (12), 1042-1055, 2005
1542005
Deciding choreography realizability
S Basu, T Bultan, M Ouederni
Acm Sigplan Notices 47 (1), 191-202, 2012
1502012
Stranger: An Automata-Based String Analysis Tool for PHP
F Yu, M Alkhalaf, T Bultan
International Conference on Tools and Algorithms for the Construction and …, 2010
1452010
Analyzing conversations of web services
T Bultan, J Su, X Fu
IEEE Internet Computing 10 (1), 18-25, 2006
1162006
Automated verification of access control policies using a SAT solver
G Hughes, T Bultan
International journal on software tools for technology transfer 10 (6), 503-520, 2008
1152008
A new mapping heuristic based on mean field annealing
T Bultan, C Aykanat
Journal of Parallel and Distributed Computing 16 (4), 292-305, 1992
1151992
Symbolic string verification: An automata-based approach
F Yu, T Bultan, M Cova, OH Ibarra
International SPIN Workshop on Model Checking of Software, 306-324, 2008
912008
Towards a theory of web service choreographies
J Su, T Bultan, X Fu, X Zhao
International Workshop on Web Services and Formal Methods, 1-16, 2007
912007
Formal verification of e-services and workflows
X Fu, T Bultan, J Su
International Workshop on Web Services, E-Business, and the Semantic Web …, 2002
872002
Conversation protocols: A formalism for specification and verification of reactive electronic services
X Fu, T Bultan, J Su
International Conference on Implementation and Application of Automata, 188-200, 2003
862003
Choreography conformance via synchronizability
S Basu, T Bultan
Proceedings of the 20th international conference on World wide web, 795-804, 2011
852011
Specification of realizable service conversations using collaboration diagrams
T Bultan, X Fu
Service Oriented Computing and Applications 2 (1), 27-39, 2008
852008
Binary reachability analysis of discrete pushdown timed automata
Z Dang, OH Ibarra, T Bultan, RA Kemmerer, J Su
International Conference on Computer Aided Verification, 69-84, 2000
802000
Realizability of conversation protocols with message contents
X Fu, T Bultan, J Su
International Journal of Web Services Research (IJWSR) 2 (4), 68-93, 2005
782005
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20