Tevfik Bultan
University of California, Santa Barbara(US)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Formal Methods in Verification, Security and Verification in Computing, Service-Oriented Architecture and Web Services, Advanced Software Engineering Methodologies
Most-Cited Works
- → Analysis of interacting BPEL web services(2004)623 cited
- → Conversation specification(2003)350 cited
- → Conversation protocols: a formalism for specification and verification of reactive electronic services(2004)180 cited
- → Symbolic model checking of infinite state systems using presburger arithmetic(1997)146 cited
- → Stranger: An Automata-Based String Analysis Tool for PHP(2010)139 cited
- → WSAT: A Tool for Formal Analysis of Web Services(2004)125 cited
- → Model-checking concurrent systems with unbounded integer variables(1999)122 cited