Search the dblp DataBase

Publications of Author

1. Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan
   Action Language Verifier, Extended. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:413-417 [Conf]
   
2. Tuba Yavuz-Kahveci, Tevfik Bultan
   Heuristics for Efficient Manipulation of Composite Constraints. [Citation Graph (0, 0)][DBLP]
   FroCos, 2002, pp:57-71 [Conf]
   
3. Tuba Yavuz-Kahveci, Tevfik Bultan
   Specification, verification, and synthesis of concurrency control components. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2002, pp:169-179 [Conf]
   
4. Tevfik Bultan, Tuba Yavuz-Kahveci
   Action Language Verifier. [Citation Graph (0, 0)][DBLP]
   ASE, 2001, pp:382-386 [Conf]
   
5. 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]
   
6. Tuba Yavuz-Kahveci, Tevfik Bultan
   Automated Verification of Concurrent Linked Lists with Counters. [Citation Graph (0, 0)][DBLP]
   SAS, 2002, pp:69-84 [Conf]
   
7. Tuba Yavuz-Kahveci, Murat Tuncer, Tevfik Bultan
   A Library for Composite Symbolic Representations. [Citation Graph (0, 0)][DBLP]
   TACAS, 2001, pp:52-66 [Conf]
   
8. 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]
   
9. 
   Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. [Citation Graph (, )][DBLP]
   
   
10. 
    JRF-E: using model checking to give advice on eliminating memory model-related bugs. [Citation Graph (, )][DBLP]