Tuba Yavuz-Kahveci

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