Publications

Tuba Yavuz-Kahveci and Tevfik Bultan. Verification of Parameterized Hierarchical State Machines Using Action Language Verifier. In Proceedings of the Third ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2005). (.ps)

Tuba Yavuz-Kahveci, Constantinos Bartzis, and Tevfik Bultan. Action Language Verifier, Extended. Accepted for publication in Proceedings of the 17th International Conference on Computer Aided Verification (CAV 2005).(.ps)

Specification and Automated Verification of Concurrent Software Systems, Ph.D. thesis, Computer Science Department of University of California, Santa Barbara, September 2004. (.ps) (.pdf)

Tuba Yavuz-Kahveci and Tevfik Bultan. A Symbolic Manipulator for Automated Verification of Reactive Systems with Heterogeneous Data Types. International Journal on Software Tools for Technology Transfer (STTT), special issue on selected papers from the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Software Systems (TACAS 2001), vol. 5, no. 1, pp. 15-33, November 2003. (.ps) (.pdf)

Tuba Yavuz-Kahveci and Tevfik Bultan. Automated Verification of Concurrent Linked Lists with Counters. Proceedings of the 9th International Static Analysis Symposium (SAS '02), September 17-20, Madrid, Spain. (.ps) (.pdf)

Tuba Yavuz-Kahveci and Tevfik Bultan. Specification, Verification, and Synthesis of Concurrency Control Components. Proceedings of the 2002 ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), July 22-24, 2002, Via di Ripette, Rome, Italy. (.ps) (.pdf)

Tuba Yavuz-Kahveci and Tevfik Bultan. Heuristics for Efficient Manipulation of Composite Constraints. Proceedings of the 4th International Workshop on Frontiers of Combining Systems (FroCoS 2002), Alessandro Armando, ed., LNAI 2309, pp. 57-71, Springer, Santa Margherita Ligure, Italy, April 8-10, 2002. (.ps) (.pdf)

Tevfik Bultan and Tuba Yavuz-Kahveci. Action Language Verifier. Proc. of 16th International Conference on Automated Software Engineering (ASE'01), San Diego, CA, U.S.A., November 26-29, 2001. (.ps) (.pdf)

Tuba Yavuz-Kahveci, Murat Tuncer, and Tevfik Bultan. A Library for Composite Symbolic Representations. Proc. of 7th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'01), Genova, Italy, April 2-6, 2001. (.ps)(.pdf)

Tuba Yavuz-Kahveci, Tamer Kahveci, and Ambuj Singh. Buffering of Multimedia Index Structures, SPIE 2000, Boston. 

Tuba Yavuz and H. Altay Guvenir, An Application of K-Nearest Neighbor on Feature Projections Method to Text Categorization, Proc. of the  13th International Symposium on Computer  and Information Sciences (ISCIS 98), Antalya, Turkey, October 26 - 28, 1998.

Tuba Yavuz and A. Pinar Saygin, Query Processing in Context Oriented Retrieval of Information, Proc. of Fourth International Conference on Computer Science and Informatics (CS&I'98), Research Triangle Park, NC., U.S.A., October 23-28, 1998.