Tuba Yavuz-Kahveci

Publication Activity (10 Years)

Years Active: 2001-2012
Publications (10 Years): 0

Top Topics

Process Algebra

Temporal Properties

Finite State Machines

Top Venues

Autom. Softw. Eng.

Publications

Huafeng Jin, Tuba Yavuz-Kahveci, Beverly A. Sanders
Java Memory Model-Aware Model Checking. TACAS (2012)
KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
JRF-E: using model checking to give advice on eliminating memory model-related bugs. Autom. Softw. Eng. 19 (4) (2012)
KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
JRF-E: using model checking to give advice on eliminating memory model-related bugs. ASE (2010)
KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. ASE (2009)
Tuba Yavuz-Kahveci, Tevfik Bultan
Action Language verifier: an infinite-state model checker for reactive software specifications. Formal Methods Syst. Des. 35 (3) (2009)
Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan
Action Language Verifier, Extended. CAV (2005)
Tuba Yavuz-Kahveci, Tevfik Bultan
Verification of parameterized hierarchical state machines using action language verifier. MEMOCODE (2005)
Tuba Yavuz-Kahveci, Tevfik Bultan
A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. Int. J. Softw. Tools Technol. Transf. 5 (1) (2003)
Tuba Yavuz-Kahveci, Tevfik Bultan
Specification, verification, and synthesis of concurrency control components. ISSTA (2002)
Tuba Yavuz-Kahveci, Tevfik Bultan
Automated Verification of Concurrent Linked Lists with Counters. SAS (2002)
Tuba Yavuz-Kahveci, Tevfik Bultan
Heuristics for Efficient Manipulation of Composite Constraints. FroCoS (2002)
Tevfik Bultan, Tuba Yavuz-Kahveci
Action Language Verifier. ASE (2001)
Tuba Yavuz-Kahveci, Murat Tuncer, Tevfik Bultan
A Library for Composite Symbolic Representations. TACAS (2001)