Tevfik Bultan - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Choreography conformance via synchronizabilitySamik Basu, Tevfik Bultan. WWW 2011: 795-804 [doi]

Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected PapersMario Bravetti, Tevfik Bultan, editors, Volume 6551 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Bounded verification of Ruby on Rails data modelsJaideep Nijjar, Tevfik Bultan. ISSTA 2011: 67-77 [doi]

Patching vulnerabilities with sanitization synthesisFang Yu, Muath Alkhalaf, Tevfik Bultan. ICSE 2011: 251-260 [doi]

String Abstractions for String VerificationFang Yu, Tevfik Bultan, Ben Hardekopf. spin 2011: 20-37 [doi]

2010

Software for everyone by everyoneTevfik Bultan. FSE 2010: 69-74 [doi]

Modular verification of synchronization with reentrant locksTevfik Bultan, Fang Yu, Aysu Betin-Can. memocode 2010: 59-68 [doi]

Runtime Verification of Web Service Interface ContractsSylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire. Computer, 43(3):59-66, 2010. [doi]

Realizability analysis for message-based interactions using shared-state projectionsSylvain Hallé, Tevfik Bultan. FSE 2010: 27-36 [doi]

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machinesSylvain Hallé, Taylor Ettema, Chris Bunch, Tevfik Bultan. kbse 2010: 235-244 [doi]

Relational String Verification Using Multi-track AutomataFang Yu, Tevfik Bultan, Oscar H. Ibarra. wia 2011: 290-299 [doi]

Stranger: An Automata-Based String Analysis Tool for PHPFang Yu, Muath Alkhalaf, Tevfik Bultan. TACAS 2010: 154-157 [doi]

2009

A Tool for Choreography Analysis Using Collaboration DiagramsTevfik Bultan, Chris Ferguson, Xiang Fu. icws 2009: 856-863 [doi]

Generating Interface Grammars from WSDL for Automated Verification of Web ServicesSylvain HallÃ©, Graham Hughes, Tevfik Bultan, Muath Alkhalaf. icsoc 2009: 516-530 [doi]

Realizability of Choreographies Using Process Algebra EncodingsGwen Salaün, Tevfik Bultan. IFM 2009: 167-182 [doi]

Analyzing singularity channel contractsZachary Stengel, Tevfik Bultan. ISSTA 2009: 13-24 [doi]

Action Language verifier: an infinite-state model checker for reactive software specificationsTuba Yavuz-Kahveci, Tevfik Bultan. fmsd, 35(3):325-367, 2009. [doi]

Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic AnalysesFang Yu, Muath Alkhalaf, Tevfik Bultan. kbse 2009: 605-609 [doi]

Symbolic String Verification: Combining String Analysis and Size AnalysisFang Yu, Tevfik Bultan, Oscar H. Ibarra. TACAS 2009: 322-336 [doi]

2008

Specification of realizable service conversations using collaboration diagramsTevfik Bultan, Xiang Fu. soca, 2(1):27-39, 2008. [doi]

Service Choreography and Orchestration with ConversationsTevfik Bultan. concur 2008: 2-3 [doi]

Workshop on testing, analysis and verification of web software (TAV-WEB 2008)Tevfik Bultan, Tao Xie. ISSTA 2008: 311-312 [doi]

Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), TAV-WEB 2008, Seattle, Washington, USTevfik Bultan, Tao Xie, editors, ACM, 2008.

Choreography Modeling and Analysis with Collaboration DiagramsTevfik Bultan, Xiang Fu. debu, 31(3):27-30, 2008. [doi]

Automated verification of access control policies using a SAT solverGraham Hughes, Tevfik Bultan. STTT, 10(6):503-520, 2008. [doi]

Client and server verification for web services using interface grammarsGraham Hughes, Tevfik Bultan, Muath Alkhalaf. ISSTA 2008: 40-46 [doi]

Interface Grammars for Modular Software Model CheckingGraham Hughes, Tevfik Bultan. TSE, 34(5):614-632, 2008. [doi]

Modular verification of web services using efficient symbolic encoding and summarizationFang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan. sigsoft 2008: 192-202 [doi]

Symbolic String Verification: An Automata-Based ApproachFang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra. spin 2008: 306-324 [doi]

2007

Netstub: a framework for verification of distributed java applicationsElliot Barlas, Tevfik Bultan. ASE 2007: 24-33 [doi]

Highly dependable concurrent programming using design for verificationAysu Betin-Can, Tevfik Bultan. fac, 19(2):243-268, 2007. [doi]

Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllersAysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp. ASE, 14(2):129-178, 2007. [doi]

Specification of Realizable Service Conversations Using Collaboration DiagramsTevfik Bultan, Xiang Fu. socase 2007: 122-132 [doi]

Analyzing Conversations: Realizability, Synchronizability, and VerificationTevfik Bultan, Xiang Fu, Jianwen Su. In Luciano Baresi, Elisabetta Di Nitto, editors, Test and Analysis of Web Services. pages 57-85, Springer, 2007. [doi]

Interface grammars for modular software model checkingGraham Hughes, Tevfik Bultan. ISSTA 2007: 39-49 [doi]

Towards a Theory of Web Service ChoreographiesJianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao. wsfm 2008: 1-16 [doi]

Automated size analysis for OCLFang Yu, Tevfik Bultan, Erik Peterson. ESEC/FSE 2007: 331-340 [doi]

2006

Efficient BDDs for bounded arithmetic constraintsConstantinos Bartzis, Tevfik Bultan. STTT, 8(1):26-36, 2006. [doi]

Analyzing Conversations of Web ServicesTevfik Bultan, Jianwen Su, Xiang Fu. internet, 10(1):18-25, 2006. [doi]

Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), TAV-WEB 2006, Portland, Maine, USA, JTevfik Bultan, editor, ACM, 2006.

Analyzing tabular requirements specifications using infinite state model checkingTevfik Bultan, Constance L. Heitmeyer. memocode 2006: 7-16 [doi]

2005

Verifiable Web Services with Hierarchical InterfacesAysu Betin-Can, Tevfik Bultan. icws 2005: 85-94 [doi]

Application of design for verification with concurrency controllers to air traffic control softwareAysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp. ASE 2005: 14-23 [doi]

Design for verification for asynchronously communicating Web servicesAysu Betin-Can, Tevfik Bultan, Xiang Fu. WWW 2005: 750-759 [doi]

Panel on design for verificationTevfik Bultan, Constance L. Heitmeyer, John O Leary. memocode 2005: 232-235 [doi]

Scalable Software Model Checking Using Design for VerificationTevfik Bultan, Aysu Betin-Can. vstte 2008: 337-346 [doi]

Synchronizability of Conversations among Web ServicesXiang Fu, Tevfik Bultan, Jianwen Su. TSE, 31(12):1042-1055, 2005. [doi]

Realizability of Conversation Protocols with Message ContentsXiang Fu, Tevfik Bultan, Jianwen Su. jwsr, 2(4):68-93, 2005. [doi]

Discussion summary: characteristics of web services and their impact on testing, analysis and verificationShriram Krishnamurthi, Tevfik Bultan. sigsoft, 30(1):5, 2005. [doi]

Action Language Verifier, ExtendedTuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan. cav 2005: 413-417 [doi]

Verification of parameterized hierarchical state machines using action language verifierTuba Yavuz-Kahveci, Tevfik Bultan. memocode 2005: 79-88 [doi]

2004

Widening Arithmetic AutomataConstantinos Bartzis, Tevfik Bultan. cav 2004: 321-333 [doi]

Verifiable Concurrent Programming Using Concurrency ControllersAysu Betin-Can, Tevfik Bultan. jckbse 2004: 248-257 [doi]

Tools for Automated Verification of Web ServicesTevfik Bultan, Xiang Fu, Jianwen Su. ATVA 2004: 8-10 [doi]

Past pushdown timed automata and safety verificationZhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer. TCS, 313(1):57-71, 2004. [doi]

Realizability of Conversation Protocols With Message ContentsXiang Fu, Tevfik Bultan, Jianwen Su. icws 2004: 96 [doi]

Conversation protocols: a formalism for specification and verification of reactive electronic servicesXiang Fu, Tevfik Bultan, Jianwen Su. TCS, 328(1-2):19-37, 2004. [doi]

WSAT: A Tool for Formal Analysis of Web ServicesXiang Fu, Tevfik Bultan, Jianwen Su. cav 2004: 510-514 [doi]

Analysis of interacting BPEL web servicesXiang Fu, Tevfik Bultan, Jianwen Su. WWW 2004: 621-630 [doi]

Model checking XML manipulating softwareXiang Fu, Tevfik Bultan, Jianwen Su. ISSTA 2004: 252-262 [doi]

Panel: given that hardware verification has been an uphill battle, what is the future of software verification?Sandeep K. Shukla, Tevfik Bultan, Constance L. Heitmeyer. memocode 2004: 157-158 [doi]

2003

Construction of Efficient BDDs for Bounded Arithmetic ConstraintsConstantinos Bartzis, Tevfik Bultan. TACAS 2003: 394-408 [doi]

Efficient Symbolic Representations for Arithmetic Constraints in VerificationConstantinos Bartzis, Tevfik Bultan. ijfcs, 14(4):605-624, 2003. [doi]

Efficient Image Computation in Infinite State Model CheckingConstantinos Bartzis, Tevfik Bultan. cav 2003: 249-261 [doi]

Interface-Based Specification and Verification of Concurrency ControllersAysu Betin-Can, Tevfik Bultan. ENTCS, 89(3), 2003. [doi]

Conversation specification: a new approach to design and analysis of e-service compositionTevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su. WWW 2003: 403-410 [doi]

Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic ServicesXiang Fu, Tevfik Bultan, Jianwen Su. wia 2003: 188-200 [doi]

A symbolic manipulator for automated verification of reactive systems with heterogeneous data typesTuba Yavuz-Kahveci, Tevfik Bultan. STTT, 5(1):15-33, 2003. [doi]

2002

2001

2000

Action Language: a specification language for model checking reactive systemsTevfik Bultan. ICSE 2000: 335-344 [doi]

BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent SystemsTevfik Bultan. TACAS 2000: 441-455 [doi]

Composite model-checking: verification with type-specific symbolic representationsTevfik Bultan, Richard Gerber, Christopher League. TOSEM, 9(1):3-50, 2000. [doi]

Binary Reachability Analysis of Discrete Pushdown Timed AutomataZhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su. cav 2000: 69-84

Conter Machines: Decidable Properties and Applications to Verification ProblemsOscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer. mfcs 2000: 426-435 [doi]

Reachability Analysis for Some Models of Infinite-State Transition SystemsOscar H. Ibarra, Tevfik Bultan, Jianwen Su. concur 2000: 183-198 [doi]

1999

Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental resultsTevfik Bultan, Richard Gerber, William Pugh. TOPLAS, 21(4):747-789, 1999. [doi]

1998

A fast neural-network algorithm for VLSI cell placementCevdet Aykanat, Tevfik Bultan, Ismail Haritaoglu. NN, 11(9):1671-1684, 1998. [doi]

Verifying Systems with Integer Constraints and Boolean Predicates: A Composite ApproachTevfik Bultan, Richard Gerber, Christopher League. ISSTA 1998: 113-123 [doi]

1997

Symbolic Model Checking of Infinite State Systems Using Presburger ArithmeticTevfik Bultan, Richard Gerber, William Pugh. cav 1997: 400-411

1996

Compositional Verification by Model Checking for Counter-ExamplesTevfik Bultan, Jeffrey Fischer, Richard Gerber. ISSTA 1996: 224-238 [doi]

1995

Circuit partitioning using mean field annealingTevfik Bultan, Cevdet Aykanat. ijon, 8(2):171-194, 1995. [doi]

1992

A New Mapping Heuristic Based on Mean Field AnnealingTevfik Bultan, Cevdet Aykanat. jpdc, 16(4):292-305, 1992.

1991

Circuit partitioning using parallel mean field annealing algorithmsTevfik Bultan, Cevdet Aykanat. spdp 1991: 534-541 [doi]