Constantinos Bartzis

According to our database, Constantinos Bartzis authored at least 11 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2006

Efficient BDDs for bounded arithmetic constraints.

Constantinos Bartzis, Tevfik Bultan

Int. J. Softw. Tools Technol. Transf., 2006

Satisfiability Checking of Non-clausal Formulas Using General Matings.

Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Ranking Attack Graphs.

Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing

Proceedings of the Recent Advances in Intrusion Detection, 9th International Symposium, 2006

2005

Action Language Verifier, Extended.

Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Widening Arithmetic Automata.

Constantinos Bartzis, Tevfik Bultan

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Efficient Symbolic Representations for Arithmetic Constraints in Verification.

Constantinos Bartzis, Tevfik Bultan

Int. J. Found. Comput. Sci., 2003

Construction of Efficient BDDs for Bounded Arithmetic Constraints.

Constantinos Bartzis, Tevfik Bultan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Efficient Image Computation in Infinite State Model Checking.

Constantinos Bartzis, Tevfik Bultan

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Automata-Based Representations for Arithmetic Constraints in Automated Verification.

Constantinos Bartzis, Tevfik Bultan

Proceedings of the Implementation and Application of Automata, 2002

2001

Counter machines and the safety and disjointness problems for database queries with linear constraints.

Oscar H. Ibarra, Jianwen Su, Constantinos Bartzis

Proceedings of the Where Mathematics, 2001

2000

Experimental Evaluation of Hot-Potato Routing Algorithms on 2-Dimensional Processor Arrays (Research Note).

Constantinos Bartzis, Ioannis Caragiannis, Christos Kaklamanis, Ioannis Vergados

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000