MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Constantinos Bartzis" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Widening arithmetic automata  
  • by Constantinos Bartzis, Tevfik Bultan — 2004 — In Computer Aided Verification’04
  • …Abstract. Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Given a widening operator one can compute an upper approximation of a least fixpoint in finite number of steps even…
  • Cited by 10 (1 self) – Add To MetaCart
  • Automata-based representations for arithmetic constraints in automated verification  
  • by Constantinos Bartzis, Tevfik Bultan — 2002 — In Proceedings of the Seventh International Conference on Implementation and Application of Automata
  • …Abstract. In this paper we discuss efficient symbolic representations for infinite-state systems specified using linear arithmetic constraints. We give new algorithms for constructing finite automata which represent integer sets that satisfy linear constraints. These automata can represent either si…
  • Cited by 3 (1 self) – Add To MetaCart
  • Efficient BDDs for Bounded Arithmetic Constraints  
  • by Constantinos Bartzis, Tevfik Bultan
  • …Symbolic model checkers use BDDs to represent arithmetic constraints over bounded integer variables. The size of such BDDs can be exponential in the number and size (in bits) of the integer variables in the worst case. In this paper we show how to construct linear-sized BDDs for linear integer arith…
  • Cited by 3 (1 self) – Add To MetaCart
  • Experimental evaluation of hot-potato routing algorithms on 2-dimensional processor arrays  
  • by Constantinos Bartzis, Ioannis Caragiannis, Christos Kaklamanis, Ioannis Vergados — 2000 — In EUROPAR: Parallel Processing, 6th International EURO-PAR Conference
  • …Abstract. In this paper we consider the problem of routing packets in two-dimensional torus-connected processor arrays. We describe the implementation of four hot-potato routing algorithms and study their performance by experimentation. The algorithms are either greedy in the sense that packets try …
  • Cited by 6 (0 self) – Add To MetaCart
  • Satisfiability checking of non-clausal formulas using general matings  
  • by Himanshu Jain, Constantinos Bartzis, Edmund Clarke — 2006 — Proceedings of Ninth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2006), LNCS 4121
  • …Abstract. Most state-of-the-art SAT solvers are based on DPLL search and require the input formula to be in clausal form (cnf). However, typical formulas that arise in practice are non-clausal. We present a new non-clausal SAT-solver based on General Matings instead of DPLL search. Our technique is …
  • Cited by 3 (1 self) – Add To MetaCart
  • Action language verifier, extended  
  • by Tuba Yavuz-kahveci, Constantinos Bartzis, Tevfik Bultan — 2005 — CAV 2005. LNCS
  • …Action Language Verifier (ALV) is an infinite state model checker which specializes on systems specified with linear arithmetic constraints on integer variables. An Action Language specification consists of integer, boolean and enumerated variables, parameterized integer constants and a set of modul…
  • Cited by 6 (4 self) – Add To MetaCart
  • Ranking Attack Graphs  
  • by Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund Clarke, Jeannette Wing — 2006 — Proceedings of Recent Advances in Intrusion Detection
  • …Abstract. A majority of attacks on computer systems result from a combination of vulnerabilities exploited by an intruder to break into the system. An Attack Graph is a general formalism used to model security vulnerabilities of a system and all possible sequences of exploits which an intruder can u…
  • Cited by 4 (1 self) – Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB