Skip to main navigation Skip to search Skip to main content
No photo of Ofer Strichman

View Scopus Profile

Ofer Strichman

Prof.

Former affiliation
 https://orcid.org/0000-0001-9169-3751
    1991 …2026

    Research activity per year

    Fingerprint

    Dive into the research topics where Ofer Strichman is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Researchers
    View full fingerprint

    Collaborations and top research areas from the last five years

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    Explore network further

    • Accelerating CAR-Based Model-Checking with Multiple Unsatisfiable Cores

      Dong, Y., Wu, X., Li, J., Pu, G. & Strichman, O., 2026, Model Checking Software - 31st International Symposium, SPIN 2025, Proceedings. Ernst, G. & Rozier, K. Y. (eds.). p. 88-105 18 p. (Lecture Notes in Computer Science; vol. 15945 LNCS).

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

    • Model-Guided Synthesis for LTL over Finite Traces

      Xiao, S., Li, Y., Huang, X., Xu, Y., Li, J., Pu, G., Strichman, O. & Vardi, M. Y., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). p. 186-207 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14499 LNCS).

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

    • Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding

      Zhang, X., Xiao, S., Li, J., Pu, G. & Strichman, O., 30 Oct 2022, Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022. 126. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).

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

    • Preface

      Meel, K. S. & Strichman, O., Aug 2022, In: Leibniz International Proceedings in Informatics, LIPIcs. 236

      Research output: Contribution to journal › Editorial

    • Specifiable robustness in reactive synthesis

      Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., Apr 2022, In: Formal Methods in System Design. 60, 2, p. 259-276 18 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    View all 122 Research outputs