| 2006 |
|---|
| 10 | EE | Vaibhav Mehta,
Constantinos Bartzis,
Haifeng Zhu,
Edmund M. Clarke,
Jeannette M. Wing:
Ranking Attack Graphs.
RAID 2006: 127-144 |
| 9 | EE | Himanshu Jain,
Constantinos Bartzis,
Edmund M. Clarke:
Satisfiability Checking of Non-clausal Formulas Using General Matings.
SAT 2006: 75-89 |
| 8 | EE | Constantinos Bartzis,
Tevfik Bultan:
Efficient BDDs for bounded arithmetic constraints.
STTT 8(1): 26-36 (2006) |
| 2005 |
|---|
| 7 | EE | Tuba Yavuz-Kahveci,
Constantinos Bartzis,
Tevfik Bultan:
Action Language Verifier, Extended.
CAV 2005: 413-417 |
| 2004 |
|---|
| 6 | EE | Constantinos Bartzis,
Tevfik Bultan:
Widening Arithmetic Automata.
CAV 2004: 321-333 |
| 2003 |
|---|
| 5 | EE | Constantinos Bartzis,
Tevfik Bultan:
Efficient Image Computation in Infinite State Model Checking.
CAV 2003: 249-261 |
| 4 | EE | Constantinos Bartzis,
Tevfik Bultan:
Construction of Efficient BDDs for Bounded Arithmetic Constraints.
TACAS 2003: 394-408 |
| 3 | EE | Constantinos Bartzis,
Tevfik Bultan:
Efficient Symbolic Representations for Arithmetic Constraints in Verification.
Int. J. Found. Comput. Sci. 14(4): 605-624 (2003) |
| 2002 |
|---|
| 2 | EE | Constantinos Bartzis,
Tevfik Bultan:
Automata-Based Representations for Arithmetic Constraints in Automated Verification.
CIAA 2002: 282-288 |
| 2000 |
|---|
| 1 | EE | Constantinos Bartzis,
Ioannis Caragiannis,
Christos Kaklamanis,
Ioannis Vergados:
Experimental Evaluation of Hot-Potato Routing Algorithms on 2-Dimensional Processor Arrays (Research Note).
Euro-Par 2000: 877-881 |
