MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Ofer Strichman – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 22 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Optimized l*-based assumeguarantee reasoning  
  • by Sagar Chaki, Ofer Strichman — 2007 — In (to appear) Proc. of the 19 th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’07
  • …Optimized L*-based Assume-Guarantee Reasoning ⋆ Sagar Chaki 1 Ofer Strichman 2 1 Software…
  • Cited by 3 (0 self)Add To MetaCart
  • Efficient Computation of Recurrence Diameters  
  • by Daniel Kroening, Ofer Strichman — 2003 — 4th International Conference on Verification, Model Checking, and Abstract Interpretation, volume 2575 of Lecture Notes in Computer Science
  • …Efficient Computation of Recurrence Diameters ⋆ Daniel Kroening and Ofer Strichman Computer…
  • Cited by 31 (14 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB