Travelled to:1 × Belgium
1 × Estonia
1 × New Zealand
1 × Spain
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:T.Bultan B.A.Sanders K.Kim H.Jin C.Bartzis M.Tuncer
Talks about:model (6) memori (3) check (3) languag (2) concurr (2) verifi (2) action (2) verif (2) use (2) represent (1)
Person: Tuba Yavuz-Kahveci
DBLP: Yavuz-Kahveci:Tuba
Contributed to:
2012
20102009
2005
2002
200220012001Wrote 8 papers:
- TACAS-2012-JinYS #java #memory management #model checking
- Java Memory Model-Aware Model Checking (HJ, TYK, BAS), pp. 220–236.
- ASE-2010-KimYS #debugging #memory management #model checking #named #using
- JRF-E: using model checking to give advice on eliminating memory model-related bugs (KK, TYK, BAS), pp. 215–224.
- ASE-2009-KimYS #concurrent #detection #heuristic #memory management #model checking #precise #using
- Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking (KK, TYK, BAS), pp. 495–499.
- CAV-2005-Yavuz-KahveciBB #verification
- Action Language Verifier, Extended (TYK, CB, TB), pp. 413–417.
- ISSTA-2002-Yavuz-KahveciB #component #concurrent #specification #synthesis #verification
- Specification, verification, and synthesis of concurrency control components (TYK, TB), pp. 169–179.
- SAS-2002-Yavuz-KahveciB #automation #concurrent #verification
- Automated Verification of Concurrent Linked Lists with Counters (TYK, TB), pp. 69–84.
- ASE-2001-BultanY #verification
- Action Language Verifier (TB, TYK), pp. 382–386.
- TACAS-2001-Yavuz-KahveciTB #library
- A Library for Composite Symbolic Representations (TYK, MT, TB), pp. 52–66.