| 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 | 942 | 2004 |
| 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 | 562 | 2003 |
| 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 | 237 | 1997 |
| Wsat: A tool for formal analysis of web services X Fu, T Bultan, J Su International Conference on Computer Aided Verification, 510-514, 2004 | 182 | 2004 |
| 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 | 175 | 2004 |
| 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 | 171 | 1999 |
| Synchronizability of conversations among web services X Fu, T Bultan, J Su IEEE Transactions on Software Engineering 31 (12), 1042-1055, 2005 | 158 | 2005 |
| Deciding choreography realizability S Basu, T Bultan, M Ouederni Acm Sigplan Notices 47 (1), 191-202, 2012 | 153 | 2012 |
| 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 | 151 | 2010 |
| 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 | 123 | 2008 |
| Analyzing conversations of web services T Bultan, J Su, X Fu IEEE Internet Computing 10 (1), 18-25, 2006 | 122 | 2006 |
| A new mapping heuristic based on mean field annealing T Bultan, C Aykanat Journal of Parallel and Distributed Computing 16 (4), 292-305, 1992 | 115 | 1992 |
| 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 | 98 | 2008 |
| 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 | 95 | 2007 |
| 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 | 90 | 2002 |
| Specification of realizable service conversations using collaboration diagrams T Bultan, X Fu Service Oriented Computing and Applications 2 (1), 27-39, 2008 | 89 | 2008 |
| 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 | 88 | 2003 |
| Choreography conformance via synchronizability S Basu, T Bultan Proceedings of the 20th international conference on World wide web, 795-804, 2011 | 87 | 2011 |
| 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 | 84 | 2005 |
| 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 | 80 | 2000 |
