No photo of Ofer Strichman

View Scopus Profile

Ofer Strichman

Prof.

 https://orcid.org/0000-0001-9169-3751
    1991 …2025

    Research activity per year

    Filter
    Chapter

    Search results

    • 2004

      Abstraction-based satisfiability solving of Presburger arithmetic

      Kroening, D., Ouaknine, J., Seshia, S. A. & Strichman, O., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). p. 308-320 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    • Range allocation for Separation Logic

      Talupur, M., Sinha, N., Strichman, O. & Pnueli, A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). p. 148-161 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      Open Access
    • 2003

      Efficient computation of recurrence diameters

      Kroening, D. & Strichman, O., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Zuck, L. D., Attie, P. C., Cortesi, A. & Mukhopadhyay, S. (eds.). p. 298-309 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2575).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      Open Access

    • Predicate abstraction with minimum predicates

      Chaki, S., Clarke, E., Groce, A. & Strichman, O., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Geist, D. & Tronci, E. (eds.). p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2860).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      Open Access