Tevfik Bultan - Publications

Affiliations: 
Computer Science University of California, Santa Barbara, Santa Barbara, CA, United States 

111 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Bocić I, Bultan T. Efficient data model verification with many-sorted logic Proceedings - 2015 30th Ieee/Acm International Conference On Automated Software Engineering, Ase 2015. 42-52. DOI: 10.1109/ASE.2015.48  1
2016 Basu S, Bultan T. Automated choreography repair Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9633: 13-30. DOI: 10.1007/978-3-662-49665-7_2  1
2015 Bang L, Aydin A, Bultan T. Automatically computing path complexity of programs 2015 10th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2015 - Proceedings. 61-72. DOI: 10.1145/2786805.2786863  1
2015 Nijjar J, Bocić I, Bultan T. Data model property inference, verification, and repair for web applications Acm Transactions On Software Engineering and Methodology. 24. DOI: 10.1145/2699691  1
2015 Lü J, Rosenblum DS, Bultan T, Issarny V, Dustdar S, Storey MA, Zhang D. Roundtable: The future of software engineering for internet computing Ieee Software. 32: 91-97. DOI: 10.1109/Ms.2015.15  1
2015 Bocić I, Bultan T. Coexecutability for efficient verification of data model updates Proceedings - International Conference On Software Engineering. 1: 744-754. DOI: 10.1109/ICSE.2015.87  1
2015 Bultan T. String analysis for vulnerability detection and repair Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9232: 3-9. DOI: 10.1007/978-3-319-23404-5_1  1
2015 Aydin A, Bang L, Bultan T. Automata-based model counting for string constraints Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9206: 255-272. DOI: 10.1007/978-3-319-21690-4_15  1
2015 Bocić I, Bultan T. Data model bugs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9058: 393-399. DOI: 10.1007/978-3-319-17524-9_27  1
2014 Basu S, Bultan T. Automatic verification of interactions in asynchronous systems with unbounded buffers Ase 2014 - Proceedings of the 29th Acm/Ieee International Conference On Automated Software Engineering. 743-753. DOI: 10.1145/2642937.2643016  1
2014 Aydin A, Alkhalaf M, Bultan T. Automated test generation from vulnerability signatures Proceedings - Ieee 7th International Conference On Software Testing, Verification and Validation, Icst 2014. 193-202. DOI: 10.1109/ICST.2014.32  1
2014 Krintz C, Jayathilaka H, Dimopoulos S, Pucher A, Wolski R, Bultan T. Cloud platform support for API governance Proceedings - 2014 Ieee International Conference On Cloud Engineering, Ic2e 2014. 615-618. DOI: 10.1109/IC2E.2014.90  1
2014 Yu F, Alkhalaf M, Bultan T, Ibarra OH. Automata-based symbolic string analysis for vulnerability detection Formal Methods in System Design. 44: 44-70. DOI: 10.1007/s10703-013-0189-1  1
2014 Ouederni M, Salaün G, Bultan T. Compatibility checking for asynchronously communicating software Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8348: 310-328. DOI: 10.1007/978-3-319-07602-7_19  1
2014 Alkhalaf M, Aydin A, Bultan T. Semantic differential repair for input validation and sanitization 2014 International Symposium On Software Testing and Analysis, Issta 2014 - Proceedings. 225-236.  1
2013 Nijjar J, Bultan T. Data model property inference and repair 2013 International Symposium On Software Testing and Analysis, Issta 2013 - Proceedings. 202-212. DOI: 10.1145/2483760.2483768  1
2013 Nijjar J, Bocic I, Bultan T. An integrated data model verifier with property templates 2013 1st Fme Workshop On Formal Methods in Software Engineering, Formalise 2013 - Proceedings. 29-35. DOI: 10.1109/FormaliSE.2013.6612274  1
2013 Denney E, Bultan T, Zeller A. Message from the Chairs 2013 28th Ieee/Acm International Conference On Automated Software Engineering, Ase 2013 - Proceedings. iii-iv. DOI: 10.1109/ASE.2013.6693057  1
2013 Bultan T. Analyzing interactions of asynchronously communicating software components (invited paper) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7892: 1-4. DOI: 10.1007/978-3-642-38592-6_1  1
2012 Nijjar J, Bultan T. Unbounded data model verification using SMT solvers 2012 27th Ieee/Acm International Conference On Automated Software Engineering, Ase 2012 - Proceedings. 210-219. DOI: 10.1145/2351676.2351706  1
2012 Basu S, Bultan T, Ouederni M. Deciding choreography realizability Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 191-201. DOI: 10.1145/2103656.2103680  1
2012 Alkhalaf M, Choudhary SR, Fazzini M, Bultan T, Orso A, Kruegel C. ViewPoints: Differential string analysis for discovering client- and server-side input validation inconsistencies 2012 International Symposium On Software Testing and Analysis, Issta 2012 - Proceedings. 56-66. DOI: 10.1145/04000800.2336760  1
2012 Salaün G, Bultan T, Roohi N. Realizability of choreographies using Process algebra encodings Ieee Transactions On Services Computing. 5: 290-304. DOI: 10.1109/Tsc.2011.9  1
2012 Alkhalaf M, Bultan T, Gallegos JL. Verifying client-side input validation functions using string analysis Proceedings - International Conference On Software Engineering. 947-957. DOI: 10.1109/ICSE.2012.6227124  1
2012 Basu S, Bultan T, Ouederni M. Synchronizability for verification of asynchronously communicating systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7148: 56-71. DOI: 10.1007/978-3-642-27940-9_5  1
2012 Bultan T, Robillard M. Message from the program chairs Proceedings of the Acm Sigsoft 20th International Symposium On the Foundations of Software Engineering, Fse 2012. iv.  1
2011 Nijjar J, Bultan T. Bounded verification of Ruby on rails data models 2011 International Symposium On Software Testing and Analysis, Issta 2011 - Proceedings. 67-77. DOI: 10.1145/2001420.2001429  1
2011 Yu F, Alkhalaf M, Bultan T. Patching vulnerabilities with sanitization synthesis Proceedings - International Conference On Software Engineering. 251-260. DOI: 10.1145/1985793.1985828  1
2011 Basu S, Bultan T. Choreography conformance via synchronizability Proceedings of the 20th International Conference On World Wide Web, Www 2011. 795-804. DOI: 10.1145/1963405.1963516  1
2011 Yu F, Bultan T, Ibarra OH. Relational string verification using multi-track automata International Journal of Foundations of Computer Science. 22: 1909-1924. DOI: 10.1142/S0129054111009112  1
2011 Yu F, Bultan T, Hardekopf B. String abstractions for string verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6823: 20-37. DOI: 10.1007/978-3-642-22306-8_3  1
2011 Bravetti M, Bultan T. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6551: v.  1
2010 Bultan T. Software for everyone by everyone Proceedings of the Fse/Sdp Workshop On the Future of Software Engineering Research, Foser 2010. 69-73. DOI: 10.1145/1882362.1882377  1
2010 Hallé S, Bultan T. Realizability analysis for message-based interactions using shared-state projections Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 27-36. DOI: 10.1145/1882291.1882298  1
2010 Hallé S, Ettema T, Bunch C, Bultan T. Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines Ase'10 - Proceedings of the Ieee/Acm International Conference On Automated Software Engineering. 235-244. DOI: 10.1145/1858996.1859044  1
2010 Bultan T, Yu F, Can AB. Modular verification of synchronization with reentrant locks 8th Acm/Ieee International Conference On Formal Methods and Models For Codesign, Memocode 2010. 59-68. DOI: 10.1109/MEMCOD.2010.5558623  1
2010 Hallè S, Bultan T, Hughes G, Alkhalaf M, Villemaire R. Runtime verification of Web service interface contracts Computer. 43: 59-66. DOI: 10.1109/Mc.2010.76  1
2010 Yu F, Alkhalaf M, Bultan T. Stranger: An automata-based string analysis tool for PHP Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6015: 154-157. DOI: 10.1007/978-3-642-12002-2_13  1
2009 Hallé S, Bultan T, Hughes G, Alkhalaf M, Villemaire R. Model-based Runtime Verification of Web Service Interface Contracts Ieee Computer. DOI: 10.1109/Mc.2009.376  0.8
2009 Bultan T, Ferguson C, Fu X. A tool for choreography analysis using collaboration diagrams 2009 Ieee International Conference On Web Services, Icws 2009. 856-863. DOI: 10.1109/ICWS.2009.100  1
2009 Yu F, Alkhalaf M, Bultan T. Generating vulnerability signatures for string manipulating programs using automata-based forward and backward symbolic analyses Ase2009 - 24th Ieee/Acm International Conference On Automated Software Engineering. 605-609. DOI: 10.1109/ASE.2009.20  1
2009 Yavuz-Kahveci T, Bultan T. Action Language verifier: An infinite-state model checker for reactive software specifications Formal Methods in System Design. 35: 325-367. DOI: 10.1007/s10703-009-0081-1  1
2009 Hallé S, Hughes G, Bultan T, Alkhalaf M. Generating interface grammars from WSDL for automated verification of web services Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5900: 516-530. DOI: 10.1007/978-3-642-10383-4_38  1
2009 Yu F, Bultan T, Ibarra OH. Symbolic string verification: Combining string analysis and size analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5505: 322-336. DOI: 10.1007/978-3-642-00768-2_28  1
2008 Fu X, Bultan T, Su J. Realizability analysis of top-down web service composition specifications Web Services Research and Practices. 50-82. DOI: 10.4018/978-1-59904-904-5.ch003  1
2008 Yu F, Wang C, Gupta A, Bultan T. Modular verification of web services using efficient symbolic encoding and summarization Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 192-202. DOI: 10.1145/1453101.1453127  1
2008 Hughes G, Bultan T, Alkhalaf M. Client and server verification for web services using interface grammars Tav-Web 2008 - Proceedings of the Workshop On Testing, Analysis and Verification of Web Software. 40-46. DOI: 10.1145/1390832.1390839  1
2008 Bultan T, Xie T. Workshop on testing, analysis and verification of web software (TAV-WEB 2008) Issta'08: Proceedings of the 2008 International Symposium On Software Testing and Analysis 2008. 311. DOI: 10.1145/1390630.1390670  1
2008 Hughes G, Bultan T. Interface grammars for modular software model checking Ieee Transactions On Software Engineering. 34: 614-632. DOI: 10.1109/Tse.2008.72  1
2008 Bultan T, Fu X. Specification of realizable service conversations using collaboration diagrams Service Oriented Computing and Applications. 2: 27-39. DOI: 10.1007/s11761-008-0022-7  1
2008 Bultan T, Heitmeyer C. Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems Design Automation For Embedded Systems. 12: 97-137. DOI: 10.1007/S10617-008-9014-2  1
2008 Hughes G, Bultan T. Automated verification of access control policies using a SAT solver International Journal On Software Tools For Technology Transfer. 10: 503-520. DOI: 10.1007/S10009-008-0087-9  1
2008 Bultan T. Service choreography and orchestration with conversations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5201: 2-3. DOI: 10.1007/978-3-540-85361-9_2  1
2008 Yu F, Bultan T, Cova M, Ibarra OH. Symbolic string verification: An automata-based approach Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5156: 306-324. DOI: 10.1007/978-3-540-85114-1_21  1
2008 Su J, Bultan T, Fu X, Zhao X. Towards a theory of Web service choreographies Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4937: 1-16. DOI: 10.1007/978-3-540-79230-7_1  1
2008 Bultan T, Betin-Can A. Scalable software model checking using design for verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4171: 337-346. DOI: 10.1007/978-3-540-69149-5_36  1
2008 Bultan T, Xie T. TAV-WEB 2008 - Proceedings of the Workshop on Testing, Analysis and Verification of Web Software: Message from the chairs Tav-Web 2008 - Proceedings of the Workshop On Testing, Analysis and Verification of Web Software. iv.  1
2007 Hughes G, Bultan T. Extended interface grammars for automated stub generation Afm'07: 2nd Workshop On Automated Formal Methods. 41-50. DOI: 10.1145/1345169.1345174  1
2007 Barlas E, Bultan T. NetStub: A framework for verification of distributed Java applications Ase'07 - 2007 Acm/Ieee International Conference On Automated Software Engineering. 24-33. DOI: 10.1145/1321631.1321638  1
2007 Yu F, Bultan T, Peterson E. Automated size analysis for OCL 6th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2007. 331-340. DOI: 10.1145/1287624.1287671  1
2007 Bultan T. Modeling interactions of web software 2nd Int'L. Workshop On Automated Specification and Verification of Web Systems, Wwv'06. 45-50. DOI: 10.1109/WWV.2006.10  1
2007 Lindvall M, Rus I, Donzelli P, Memon A, Zelkowitz M, Betin-Can A, Bultan T, Ackermann C, Anders B, Asgari S, Basili V, Hochstein L, Fellmann J, Shull F, Tvedt R, et al. Experimenting with software testbeds for evaluating new technologies Empirical Software Engineering. 12: 417-444. DOI: 10.1007/S10664-006-9034-0  1
2007 Betin Can A, Bultan T, Lindvall M, Lux B, Topp S. Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers Automated Software Engineering. 14: 129-178. DOI: 10.1007/s10515-007-0008-2  1
2007 Betin-Can A, Bultan T. Highly dependable concurrent programming using design for verification Formal Aspects of Computing. 19: 243-268. DOI: 10.1007/s00165-006-0017-0  1
2007 Bultan T, Fu X, Su J. Analyzing conversations: Realizability, synchronizability, and verification Test and Analysis of Web Services. 57-85. DOI: 10.1007/978-3-540-72912-9_3  1
2006 Bultan T, Su J, Fu X. Analyzing conversations of Web services Ieee Internet Computing. 10: 18-25. DOI: 10.1109/Mic.2006.1  1
2006 Bartzis C, Bultan T. Efficient BDDs for bounded arithmetic constraints International Journal On Software Tools For Technology Transfer. 8: 26-36. DOI: 10.1007/s10009-004-0171-8  1
2006 Bultan T, Heitmeyer C. Analyzing tabular requirements specifications using infinite state model checking Proceedings - Fourth Acm and Ieee International Conference On Formal Methods and Models For Co-Design, Memocode'06. 7-16.  1
2005 Fu X, Bultan T, Su J. Realizability of conversation protocols with message contents International Journal of Web Services Research. 2: 68-93. DOI: 10.4018/Jwsr.2005100104  1
2005 Betin-Can A, Bultan T, Lindvall M, Lux B, Topp S. Application of design for verification with concurrency controllers to air traffic control software 20th Ieee/Acm International Conference On Automated Software Engineering, Ase 2005. 14-23. DOI: 10.1145/1101908.1101914  1
2005 Fu X, Bultan T, Su J. Synchronizability of conversations among web services Ieee Transactions On Software Engineering. 31: 1042-1055. DOI: 10.1109/Tse.2005.141  1
2005 Bultan T, Heitmeyer C, O'Leary J. Panel on design for verification Proceedings - Third Acm and Ieee International Conference On Formal Methods and Models For Co-Design, Memocode'05. 2005: 233-236. DOI: 10.1109/MEMCOD.2005.1487920  1
2005 Yavuz-Kahveci T, Bultan T. Verification of parameterized hierarchical state machines using action language verifier Proceedings - Third Acm and Ieee International Conference On Formal Methods and Models For Co-Design, Memocode'05. 2005: 79-88. DOI: 10.1109/MEMCOD.2005.1487897  1
2005 Betin-Can A, Bultan T. Verifiable web services with hierarchical interfaces Proceedings - 2005 Ieee International Conference On Web Services, Icws 2005. 2005: 85-94. DOI: 10.1109/ICWS.2005.128  1
2005 Su J, Bultan T, Fu X. Web service interactions: Analysis and design Ceur Workshop Proceedings. 140.  1
2005 Yavuz-Kahveci T, Bartzis C, Bultan T. Action Language verifier, extended Lecture Notes in Computer Science. 3576: 413-417.  1
2004 Betin-Can A, Bultan T. Verifiable concurrent programming using concurrency controllers Proceedings - 19th International Conference On Automated Software Engineering, Ase 2004. 248-257. DOI: 10.1109/ASE.2004.1342742  1
2004 Fu X, Bultan T, Su J. Conversation protocols: A formalism for specification and verification of reactive electronic services Theoretical Computer Science. 328: 19-37. DOI: 10.1016/j.tcs.2004.07.004  1
2004 Dang Z, Bultan T, Ibarra OH, Kemmerer RA. Past pushdown timed automata and safety verification Theoretical Computer Science. 313: 57-71. DOI: 10.1016/J.Tcs.2003.10.004  1
2004 Fu X, Bultan T, Su J. WSAT: A tool for formal analysis of web services Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114: 510-514.  1
2004 Fu X, Bultan T, Su J. Analysis of interacting BPEL Web services Thirteenth International World Wide Web Conference Proceedings, Www2004. 621-630.  1
2004 Bartzis C, Bultan T. Widening arithmetic automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114: 321-333.  1
2004 Fu X, Bultan T, Su J. Model checking XML manipulating software Issta 2004 - Proceedings of the Acm Sigsoft International Symposium On Software Testing and Analysis. 252-262.  1
2004 Shukla SK, Bultan T, Heitmeyer C. Panel: Given that hardware verification has been an Uphill battle, what is the future of software verification? Proceedings - 2nd Acm and Ieee International Conference On Formal Methods and Models For Co-Design, Memocode'04. 157-158.  1
2004 Bultan T, Fu X, Su J. Tools for automated verification of web services Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3299: 8-10.  1
2003 Bultan T, Fu X, Hull R, Su J. Conversation specification: A new approach to design and analysis of e-service composition Proceedings of the 12th International Conference On World Wide Web, Www 2003. 403-410. DOI: 10.1145/775152.775210  1
2003 Bartzis C, Bultan T. Efficient symbolic representations for arithmetic constraints in verification International Journal of Foundations of Computer Science. 14: 605-624. DOI: 10.1142/S0129054103001911  1
2003 Betin-Can A, Bultan T. Interface-based specification and verification of concurrency controllers Electronic Notes in Theoretical Computer Science. 89: 464-479. DOI: 10.1016/S1571-0661(05)80007-6  1
2003 Yavuz-Kahveci T, Bultan T. A symbolic manipulator for automated verification of reactive systems with heterogeneous data types International Journal On Software Tools For Technology Transfer. 5: 15-33. DOI: 10.1007/S10009-002-0091-4  1
2003 Bartzis C, Bultan T. Automata-based representations for arithmetic constraints in automated verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2608: 282-288.  1
2003 Bartzis C, Bultan T. Efficient image computation in infinite state model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2725: 249-261.  1
2003 Bartzis C, Bultan T. Construction of efficient BDDs for bounded arithmetic constraints Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2619: 394-408.  1
2002 Ibarra OH, Su J, Dang Z, Bultan T, Kemmerer RA. Counter machines and verification problems Theoretical Computer Science. 289: 165-189. DOI: 10.1016/S0304-3975(01)00268-7  1
2002 Yavuz-Kahveci T, Bultan T. Automated verification of concurrent linked lists with counters Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2477: 69-84. DOI: 10.1007/3-540-45789-5_8  1
2002 Fu X, Bultan T, Su J. Formal verification of e-services and workflows Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2512: 188-202. DOI: 10.1007/3-540-36189-8_15  1
2002 Yavuz-Kahveci T, Bultan T. Specification, verification, and synthesis of concurrency control components Proceedings of the Acm Sigsoft 2002 International Symposium On Software Testing and Analysis. 169-179.  1
2002 Yavuz-Kahveci T, Bultan T. Heuristics for efficient manipulation of composite constraints Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2309: 57-71.  1
2001 Ibarra OH, Bultan T, Su J. On reachability and safety in infinite-state systems International Journal of Foundations of Computer Science. 12: 821-836. DOI: 10.1142/S0129054101000898  1
2001 Fu X, Bultan T, Hull R, Su J. Verification of vortex workflows Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2031: 143-157.  1
2001 Delzanno G, Bultan T. Constraint-based verification of client-server protocols Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2239: 286-301.  1
2001 Yavuz-Kahveci T, Timcer M, Bultan T. A library for composite symbolic representations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2031: 52-66.  1
2000 Ibarra OH, Su J, Dang Z, Bultan T, Kemmerer R. Counter machines: Decidable properties and applications to verification problems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1893: 426-435. DOI: 10.1007/3-540-44612-5_38  1
2000 Bultan T. BDD vs. Constraint-based model checking: An experimental evaluation for asynchronous concurrent systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1785: 441-456.  1
2000 Ibarra OH, Bultan T, Su J. Reachability analysis for some models of infinite-state transition systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1877: 183-198.  1
2000 Dang Z, Ibarra OH, Bultan T, Kemmerer RA, Su J. Binary reachability analysis of discrete pushdown timed automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1855: 69-84.  1
2000 Bultan T, Gerber R, League C. Composite model-checking: Verification with type-specific symbolic representations Acm Transactions On Software Engineering and Methodology. 9: 3-50.  1
1999 Bultan T, Gerber R, Pugh W. Model-checking concurrent systems with unbounded integer variables: Symbolic representations, approximations, and experimental results Acm Transactions On Programming Languages and Systems. 21: 747-789.  1
1998 Aykanat C, Bultan T, Haritaoğlu I. A fast neural-network algorithm for VLSI cell placement. Neural Networks : the Official Journal of the International Neural Network Society. 11: 1671-1684. PMID 12662737 DOI: 10.1016/S0893-6080(98)00089-6  1
1997 Bultan T, Gerber R, Pugh W. Symbolic model checking of infinite state systems using presburger arithmetic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1254: 400-411.  1
1995 Bultan T, Aykanat C. Circuit partitioning using mean field annealing Neurocomputing. 8: 171-194. DOI: 10.1016/0925-2312(94)00016-L  1
1992 Bultan T, Aykanat C. A new mapping heuristic based on mean field annealing Journal of Parallel and Distributed Computing. 16: 292-305. DOI: 10.1016/0743-7315(92)90013-D  1
Show low-probability matches.