Tuba Yavuz-Kahveci
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2001–2012
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | TACAS | Java Memory Model-Aware Model Checking. | Huafeng Jin, Tuba Yavuz-Kahveci, Beverly A. Sanders |
| 2005 | CAV | Action Language Verifier, Extended. | Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan |
| 2005 | MEMOCODE | Verification of parameterized hierarchical state machines using action language verifier. | Tuba Yavuz-Kahveci, Tevfik Bultan |
| 2002 | ISSTA | Specification, verification, and synthesis of concurrency control components. | Tuba Yavuz-Kahveci, Tevfik Bultan |
| 2002 | SAS | Automated Verification of Concurrent Linked Lists with Counters. | Tuba Yavuz-Kahveci, Tevfik Bultan |
| 2001 | TACAS | A Library for Composite Symbolic Representations. | Tuba Yavuz-Kahveci, Murat Tuncer, Tevfik Bultan |