MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Ittai Balaban" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Ranking abstraction of recursive programs  
  • by Ittai Balaban, Ariel Cohen, Amir Pnueli — 2006 — In VMCAI’06: Verification, Model Checking, and Abstract Interpretation
  • …Ranking Abstraction of Recursive Programs ⋆ Ittai Balaban 1 , Ariel Cohen 1 , and Amir Pnueli 12 1…
  • Cited by 2 (1 self) – Add To MetaCart
  • Shape analysis of single-parent heaps  
  • by Ittai Balaban, Amir Pnueli, Lenore D. Zuck — 2007 — Proc. of the 8 th Int. Conference on Verification, Model Checking, and Abstract Interpretation, Lect. Notes in Comp. Sci
  • …Shape Analysis of Single-Parent Heaps ⋆ Ittai Balaban 1 , Amir Pnueli 12 , and Lenore D. Zuck 3 1…
  • Cited by 2 (1 self) – Add To MetaCart
  • Invisible safety of distributed protocols  
  • by Ittai Balaban, Amir Pnueli, Lenore D. Zuck — 2006 — Proc. 33 rd Intl. Coll. on Automata, Languages, and Programming
  • …Invisible Safety of Distributed Protocols ⋆ Ittai Balaban 1 , Amir Pnueli 1 , and Lenore D. Zuck 2…
  • Cited by 1 (1 self) – Add To MetaCart
  • L.: IIV: An invisible invariant verifier  
  • by Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck — 2005 — In: Computer Aided Verification (CAV
  • …IIV: A Invisible invariant Verifier ⋆ Ittai Balaban 1 , Yi Fang 1 , Amir Pnueli 1 , and Lenore D…
  • Cited by 3 (2 self) – Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB