Travelled to:1 × France
1 × Poland
1 × United Kingdom
3 × USA
Collaborated with:T.Bultan H.Jain E.M.Clarke T.Yavuz-Kahveci
Talks about:arithmet (3) constraint (2) automata (2) effici (2) check (2) represent (1) construct (1) satisfi (1) languag (1) infinit (1)
Person: Constantinos Bartzis
DBLP: Bartzis:Constantinos
Contributed to:
2006
200520042003
2003
2002Wrote 6 papers:
- SAT-2006-JainBC #satisfiability #using
- Satisfiability Checking of Non-clausal Formulas Using General Matings (HJ, CB, EMC), pp. 75–89.
- CAV-2005-Yavuz-KahveciBB #verification
- Action Language Verifier, Extended (TYK, CB, TB), pp. 413–417.
- CAV-2004-BartzisB #automaton
- Widening Arithmetic Automata (CB, TB), pp. 321–333.
- CAV-2003-BartzisB #image #infinity #model checking #performance
- Efficient Image Computation in Infinite State Model Checking (CB, TB), pp. 249–261.
- TACAS-2003-BartzisB #bound #constraints #performance
- Construction of Efficient BDDs for Bounded Arithmetic Constraints (CB, TB), pp. 394–408.
- CIAA-2002-BartzisB #automation #constraints #verification
- Automata-Based Representations for Arithmetic Constraints in Automated Verification (CB, TB), pp. 282–288.