Constantinos Bartzis

11 papers A* 3A 3C 1Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2006 J jnl
Efficient BDDs for bounded arithmetic constraints.
Int. J. Softw. Tools Technol. Transf.
Constantinos Bartzis, Tevfik Bultan
2006 A conf
Ranking Attack Graphs.
RAID
Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing
2006 A conf
Satisfiability Checking of Non-clausal Formulas Using General Matings.
SAT
Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke
2005 A* conf
Action Language Verifier, Extended.
CAV
Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan
2004 A* conf
Widening Arithmetic Automata.
CAV
Constantinos Bartzis, Tevfik Bultan
2003 A conf
Construction of Efficient BDDs for Bounded Arithmetic Constraints.
TACAS
Constantinos Bartzis, Tevfik Bultan
2003 A* conf
Efficient Image Computation in Infinite State Model Checking.
CAV
Constantinos Bartzis, Tevfik Bultan
2003 J jnl
Efficient Symbolic Representations for Arithmetic Constraints in Verification.
Int. J. Found. Comput. Sci.
Constantinos Bartzis, Tevfik Bultan
2002 C conf
Automata-Based Representations for Arithmetic Constraints in Automated Verification.
CIAA
Constantinos Bartzis, Tevfik Bultan
2001 — conf
Counter machines and the safety and disjointness problems for database queries with linear constraints.
Where Mathematics, Computer Science, Linguistics and Biology Meet
Oscar H. Ibarra, Jianwen Su, Constantinos Bartzis
2000 — conf
Experimental Evaluation of Hot-Potato Routing Algorithms on 2-Dimensional Processor Arrays (Research Note).
Euro-Par
Constantinos Bartzis, Ioannis Caragiannis, Christos Kaklamanis, Ioannis Vergados