| 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 | 980 | 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 | 587 | 2003 |
| Symbolic model checking of infinite state systems using Presburger arithmetic T Bultan, R Gerber, W Pugh Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997 | 238 | 1997 |
| 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 | 194 | 2004 |
| Wsat: A tool for formal analysis of web services X Fu, T Bultan, J Su Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 190 | 2004 |
| Deciding choreography realizability S Basu, T Bultan, M Ouederni Acm Sigplan Notices 47 (1), 191-202, 2012 | 184 | 2012 |
| Stranger: An Automata-Based String Analysis Tool for PHP F Yu, M Alkhalaf, T Bultan Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010 | 180 | 2010 |
| 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 | 174 | 1999 |
| Synchronizability of conversations among web services X Fu, T Bultan, J Su IEEE Transactions on Software Engineering 31 (12), 1042-1055, 2005 | 165 | 2005 |
| 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 | 143 | 2008 |
| Analyzing conversations of web services T Bultan, J Su, X Fu IEEE Internet Computing 10 (1), 18-25, 2006 | 131 | 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 | 119 | 1992 |
| Symbolic string verification: An automata-based approach F Yu, T Bultan, M Cova, OH Ibarra Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA …, 2008 | 105 | 2008 |
| Automata-based model counting for string constraints A Aydin, L Bang, T Bultan Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 103 | 2015 |
| Specification of realizable service conversations using collaboration diagrams T Bultan, X Fu Service Oriented Computing and Applications 2 (1), 27-39, 2008 | 100 | 2008 |
| Choreography conformance via synchronizability S Basu, T Bultan Proceedings of the 20th international conference on World wide web, 795-804, 2011 | 99 | 2011 |
| Towards a theory of web service choreographies J Su, T Bultan, X Fu, X Zhao Web Services and Formal Methods: 4th International Workshop, WS-FM 2007 …, 2008 | 98 | 2008 |
| Conversation protocols: A formalism for specification and verification of reactive electronic services X Fu, T Bultan, J Su Implementation and Application of Automata: 8th International Conference …, 2003 | 93 | 2003 |
| Formal verification of e-services and workflows X Fu, T Bultan, J Su Web Services, E-Business, and the Semantic Web: CAiSE 2002 International …, 2002 | 93 | 2002 |
| 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 | 89 | 2005 |
