Search the dblp DataBase
Tevfik Bultan :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Tevfik Bultan , Xiang Fu , Jianwen Su Tools for Automated Verification of Web Services. [Citation Graph (0, 0)][DBLP ] ATVA, 2004, pp:8-10 [Conf ] Constantinos Bartzis , Tevfik Bultan Efficient Image Computation in Infinite State Model Checking. [Citation Graph (0, 0)][DBLP ] CAV, 2003, pp:249-261 [Conf ] Constantinos Bartzis , Tevfik Bultan Widening Arithmetic Automata. [Citation Graph (0, 0)][DBLP ] CAV, 2004, pp:321-333 [Conf ] Tevfik Bultan , Richard Gerber , William Pugh Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic. [Citation Graph (0, 0)][DBLP ] CAV, 1997, pp:400-411 [Conf ] Zhe Dang , Oscar H. Ibarra , Tevfik Bultan , Richard A. Kemmerer , Jianwen Su Binary Reachability Analysis of Discrete Pushdown Timed Automata. [Citation Graph (0, 0)][DBLP ] CAV, 2000, pp:69-84 [Conf ] Xiang Fu , Tevfik Bultan , Jianwen Su WSAT: A Tool for Formal Analysis of Web Services. [Citation Graph (0, 0)][DBLP ] CAV, 2004, pp:510-514 [Conf ] Tuba Yavuz-Kahveci , Constantinos Bartzis , Tevfik Bultan Action Language Verifier, Extended. [Citation Graph (0, 0)][DBLP ] CAV, 2005, pp:413-417 [Conf ] Oscar H. Ibarra , Tevfik Bultan , Jianwen Su Reachability Analysis for Some Models of Infinite-State Transition Systems. [Citation Graph (0, 0)][DBLP ] CONCUR, 2000, pp:183-198 [Conf ] Giorgio Delzanno , Tevfik Bultan Constraint-Based Verification of Client-Server Protocols. [Citation Graph (0, 0)][DBLP ] CP, 2001, pp:286-301 [Conf ] Tuba Yavuz-Kahveci , Tevfik Bultan Heuristics for Efficient Manipulation of Composite Constraints. [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:57-71 [Conf ] Tevfik Bultan Action Language: a specification language for model checking reactive systems. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:335-344 [Conf ] Aysu Betin-Can , Tevfik Bultan Verifiable Web Services with Hierarchical Interfaces. [Citation Graph (0, 0)][DBLP ] ICWS, 2005, pp:85-94 [Conf ] Xiang Fu , Tevfik Bultan , Jianwen Su Realizability of Conversation Protocols With Message Contents. [Citation Graph (0, 0)][DBLP ] ICWS, 2004, pp:96-0 [Conf ] Xiang Fu , Tevfik Bultan , Jianwen Su Model checking XML manipulating software. [Citation Graph (0, 0)][DBLP ] ISSTA, 2004, pp:252-262 [Conf ] Tevfik Bultan , Jeffrey Fischer , Richard Gerber Compositional Verification by Model Checking for Counter-Examples. [Citation Graph (0, 0)][DBLP ] ISSTA, 1996, pp:224-238 [Conf ] Tevfik Bultan , Richard Gerber , Christopher League Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. [Citation Graph (0, 0)][DBLP ] ISSTA, 1998, pp:113-123 [Conf ] Tuba Yavuz-Kahveci , Tevfik Bultan Specification, verification, and synthesis of concurrency control components. [Citation Graph (0, 0)][DBLP ] ISSTA, 2002, pp:169-179 [Conf ] Tevfik Bultan , Tuba Yavuz-Kahveci Action Language Verifier. [Citation Graph (0, 0)][DBLP ] ASE, 2001, pp:382-386 [Conf ] Aysu Betin-Can , Tevfik Bultan Verifiable Concurrent Programming Using Concurrency Controllers. [Citation Graph (0, 0)][DBLP ] ASE, 2004, pp:248-257 [Conf ] Aysu Betin-Can , Tevfik Bultan , Mikael Lindvall , Benjamin Lux , Stefan Topp Application of design for verification with concurrency controllers to air traffic control software. [Citation Graph (0, 0)][DBLP ] ASE, 2005, pp:14-23 [Conf ] Sandeep K. Shukla , Tevfik Bultan , Constance L. Heitmeyer Panel: given that hardware verification has been an uphill battle, what is the future of software verification? [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2004, pp:157-158 [Conf ] Tevfik Bultan , Constance L. Heitmeyer , John O'Leary Panel on design for verification. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2005, pp:232-235 [Conf ] Tuba Yavuz-Kahveci , Tevfik Bultan Verification of parameterized hierarchical state machines using action language verifier. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2005, pp:79-88 [Conf ] Oscar H. Ibarra , Jianwen Su , Zhe Dang , Tevfik Bultan , Richard A. Kemmerer Conter Machines: Decidable Properties and Applications to Verification Problems. [Citation Graph (0, 0)][DBLP ] MFCS, 2000, pp:426-435 [Conf ] Tuba Yavuz-Kahveci , Tevfik Bultan Automated Verification of Concurrent Linked Lists with Counters. [Citation Graph (0, 0)][DBLP ] SAS, 2002, pp:69-84 [Conf ] Tevfik Bultan BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems. [Citation Graph (0, 0)][DBLP ] TACAS, 2000, pp:441-455 [Conf ] Constantinos Bartzis , Tevfik Bultan Construction of Efficient BDDs for Bounded Arithmetic Constraints. [Citation Graph (0, 0)][DBLP ] TACAS, 2003, pp:394-408 [Conf ] Xiang Fu , Tevfik Bultan , Richard Hull , Jianwen Su Verification of Vortex Workflows. [Citation Graph (0, 0)][DBLP ] TACAS, 2001, pp:143-157 [Conf ] Tuba Yavuz-Kahveci , Murat Tuncer , Tevfik Bultan A Library for Composite Symbolic Representations. [Citation Graph (0, 0)][DBLP ] TACAS, 2001, pp:52-66 [Conf ] Xiang Fu , Tevfik Bultan , Jianwen Su Formal Verification of e-Services and Workflows. [Citation Graph (0, 0)][DBLP ] WES, 2002, pp:188-202 [Conf ] Zhe Dang , Tevfik Bultan , Oscar H. Ibarra , Richard A. Kemmerer Past Pushdown Timed Automata. [Citation Graph (0, 0)][DBLP ] CIAA, 2001, pp:74-86 [Conf ] Constantinos Bartzis , Tevfik Bultan Automata-Based Representations for Arithmetic Constraints in Automated Verification. [Citation Graph (0, 0)][DBLP ] CIAA, 2002, pp:282-288 [Conf ] Xiang Fu , Tevfik Bultan , Jianwen Su Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. [Citation Graph (0, 0)][DBLP ] CIAA, 2003, pp:188-200 [Conf ] Aysu Betin-Can , Tevfik Bultan , Xiang Fu Design for verification for asynchronously communicating Web services. [Citation Graph (0, 0)][DBLP ] WWW, 2005, pp:750-759 [Conf ] Tevfik Bultan , Xiang Fu , Richard Hull , Jianwen Su Conversation specification: a new approach to design and analysis of e-service composition. [Citation Graph (0, 0)][DBLP ] WWW, 2003, pp:403-410 [Conf ] Xiang Fu , Tevfik Bultan , Jianwen Su Analysis of interacting BPEL web services. [Citation Graph (0, 0)][DBLP ] WWW, 2004, pp:621-630 [Conf ] Aysu Betin-Can , Tevfik Bultan Interface-Based Specification and Verification of Concurrency Controllers. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal ] Constantinos Bartzis , Tevfik Bultan Efficient Symbolic Representations for Arithmetic Constraints in Verification. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:605-624 [Journal ] Oscar H. Ibarra , Tevfik Bultan , Jianwen Su On Reachability and Safety in Infinite-State Systems. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 2001, v:12, n:6, pp:821-836 [Journal ] Tevfik Bultan , Cevdet Aykanat Circuit partitioning using mean field annealing. [Citation Graph (0, 0)][DBLP ] Neurocomputing, 1995, v:8, n:2, pp:171-194 [Journal ] Tevfik Bultan , Jianwen Su , Xiang Fu Analyzing Conversations of Web Services. [Citation Graph (0, 0)][DBLP ] IEEE Internet Computing, 2006, v:10, n:1, pp:18-25 [Journal ] Tevfik Bultan , Cevdet Aykanat A New Mapping Heuristic Based on Mean Field Annealing. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 1992, v:16, n:4, pp:292-305 [Journal ] Cevdet Aykanat , Tevfik Bultan , Ismail Haritaoglu A fast neural-network algorithm for VLSI cell placement. [Citation Graph (0, 0)][DBLP ] Neural Networks, 1998, v:11, n:9, pp:1671-1684 [Journal ] Tuba Yavuz-Kahveci , Tevfik Bultan A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. [Citation Graph (0, 0)][DBLP ] STTT, 2003, v:5, n:1, pp:15-33 [Journal ] Constantinos Bartzis , Tevfik Bultan Efficient BDDs for bounded arithmetic constraints. [Citation Graph (0, 0)][DBLP ] STTT, 2006, v:8, n:1, pp:26-36 [Journal ] Zhe Dang , Tevfik Bultan , Oscar H. Ibarra , Richard A. Kemmerer Past pushdown timed automata and safety verification. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:313, n:1, pp:57-71 [Journal ] Xiang Fu , Tevfik Bultan , Jianwen Su Conversation protocols: a formalism for specification and verification of reactive electronic services. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:328, n:1-2, pp:19-37 [Journal ] Oscar H. Ibarra , Jianwen Su , Zhe Dang , Tevfik Bultan , Richard A. Kemmerer Counter Machines and Verification Problems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:289, n:1, pp:165-189 [Journal ] Tevfik Bultan , Richard Gerber , William Pugh Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1999, v:21, n:4, pp:747-789 [Journal ] Tevfik Bultan , Richard Gerber , Christopher League Composite model-checking: verification with type-specific symbolic representations. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:1, pp:3-50 [Journal ] Xiang Fu , Tevfik Bultan , Jianwen Su Synchronizability of Conversations among Web Services. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2005, v:31, n:12, pp:1042-1055 [Journal ] Graham Hughes , Tevfik Bultan Interface grammars for modular software model checking. [Citation Graph (0, 0)][DBLP ] ISSTA, 2007, pp:39-49 [Conf ] Tevfik Bultan , Constance L. Heitmeyer Analyzing tabular requirements specifications using infinite state model checking. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2006, pp:7-16 [Conf ] Fang Yu , Tevfik Bultan , Erik Peterson Automated size analysis for OCL. [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2007, pp:331-340 [Conf ] Aysu Betin-Can , Tevfik Bultan , Mikael Lindvall , Benjamin Lux , Stefan Topp Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2007, v:14, n:2, pp:129-178 [Journal ] Mikael Lindvall , Ioana Rus , Paolo Donzelli , Atif M. Memon , Marvin V. Zelkowitz , Aysu Betin-Can , Tevfik Bultan , Christopher Ackermann , Bettina Anders , Sima Asgari , Victor R. Basili , Lorin Hochstein , Jörg Fellmann , Forrest Shull , Roseanne Tesoriero Tvedt , Daniel Pech , Daniel Hirschbach Experimenting with software testbeds for evaluating new technologies. [Citation Graph (0, 0)][DBLP ] Empirical Software Engineering, 2007, v:12, n:4, pp:417-444 [Journal ] Aysu Betin-Can , Tevfik Bultan Highly dependable concurrent programming using design for verification. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2007, v:19, n:2, pp:243-268 [Journal ] Service Choreography and Orchestration with Conversations. [Citation Graph (, )][DBLP ] Generating Interface Grammars from WSDL for Automated Verification of Web Services. [Citation Graph (, )][DBLP ] A Tool for Choreography Analysis Using Collaboration Diagrams. [Citation Graph (, )][DBLP ] Realizability of Choreographies Using Process Algebra Encodings. [Citation Graph (, )][DBLP ] Workshop on testing, analysis and verification of web software (TAV-WEB 2008). [Citation Graph (, )][DBLP ] Client and server verification for web services using interface grammars. [Citation Graph (, )][DBLP ] Analyzing singularity channel contracts. [Citation Graph (, )][DBLP ] Netstub: a framework for verification of distributed java applications. [Citation Graph (, )][DBLP ] Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses. [Citation Graph (, )][DBLP ] Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. [Citation Graph (, )][DBLP ] Modular verification of web services using efficient symbolic encoding and summarization. [Citation Graph (, )][DBLP ] Circuit partitioning using parallel mean field annealing algorithms. [Citation Graph (, )][DBLP ] Symbolic String Verification: An Automata-Based Approach. [Citation Graph (, )][DBLP ] Symbolic String Verification: Combining String Analysis and Size Analysis. [Citation Graph (, )][DBLP ] Stranger: An Automata-Based String Analysis Tool for PHP. [Citation Graph (, )][DBLP ] Towards a Theory of Web Service Choreographies. [Citation Graph (, )][DBLP ] Specification of Realizable Service Conversations Using Collaboration Diagrams. [Citation Graph (, )][DBLP ] Scalable Software Model Checking Using Design for Verification. [Citation Graph (, )][DBLP ] Runtime Verification of Web Service Interface Contracts. [Citation Graph (, )][DBLP ] Choreography Modeling and Analysis with Collaboration Diagrams. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.455secs