| 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 | 981 | 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 | 580 | 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 | 235 | 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 | 199 | 2004 |
| 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 | 195 | 2008 |
| 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 | 193 | 2004 |
| Deciding choreography realizability S Basu, T Bultan, M Ouederni Acm Sigplan Notices 47 (1), 191-202, 2012 | 188 | 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 | 186 | 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 | 168 | 2005 |
| Analyzing conversations of web services T Bultan, J Su, X Fu IEEE Internet Computing 10 (1), 18-25, 2006 | 128 | 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 | 124 | 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 | 112 | 2008 |
| Automata-based model counting for string constraints A Aydin, L Bang, T Bultan International Conference on Computer Aided Verification, 255-272, 2015 | 111 | 2015 |
| Specification of realizable service conversations using collaboration diagrams T Bultan, X Fu Service Oriented Computing and Applications 2 (1), 27-39, 2008 | 105 | 2008 |
| Choreography conformance via synchronizability S Basu, T Bultan Proceedings of the 20th international conference on World wide web, 795-804, 2011 | 99 | 2011 |
| 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 | 97 | 2002 |
| 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 | 95 | 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 | 92 | 2003 |
| Binary reachability analysis of discrete pushdown timed automata Z Dang, OH Ibarra, T Bultan, RA Kemmerer, J Su Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 91 | 2000 |
