No photo of Ofer Strichman

View Scopus Profile

Ofer Strichman

Prof.

 https://orcid.org/0000-0001-9169-3751
    Calculated based on number of publications stored in Pure and citations from Scopus
    1991 …2024

    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

    • 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

    • Exploiting Isomorphic Subgraphs in SAT

      Ivrii, A. & Strichman, O., 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (eds.). p. 204-211 8 p. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021).

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

    View all 121 Research outputs