| 2005 |
|---|
| 8 | EE | Tuba Yavuz-Kahveci,
Constantinos Bartzis,
Tevfik Bultan:
Action Language Verifier, Extended.
CAV 2005: 413-417 |
| 7 | EE | Tuba Yavuz-Kahveci,
Tevfik Bultan:
Verification of parameterized hierarchical state machines using action language verifier.
MEMOCODE 2005: 79-88 |
| 2003 |
|---|
| 6 | EE | Tuba Yavuz-Kahveci,
Tevfik Bultan:
A symbolic manipulator for automated verification of reactive systems with heterogeneous data types.
STTT 5(1): 15-33 (2003) |
| 2002 |
|---|
| 5 | EE | Tuba Yavuz-Kahveci,
Tevfik Bultan:
Heuristics for Efficient Manipulation of Composite Constraints.
FroCos 2002: 57-71 |
| 4 | EE | Tuba Yavuz-Kahveci,
Tevfik Bultan:
Specification, verification, and synthesis of concurrency control components.
ISSTA 2002: 169-179 |
| 3 | EE | Tuba Yavuz-Kahveci,
Tevfik Bultan:
Automated Verification of Concurrent Linked Lists with Counters.
SAS 2002: 69-84 |
| 2001 |
|---|
| 2 | EE | Tevfik Bultan,
Tuba Yavuz-Kahveci:
Action Language Verifier.
ASE 2001: 382-386 |
| 1 | EE | Tuba Yavuz-Kahveci,
Murat Tuncer,
Tevfik Bultan:
A Library for Composite Symbolic Representations.
TACAS 2001: 52-66 |
