No photo of Ofer Strichman

View Scopus Profile

Ofer Strichman

Prof.

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

    Research activity per year

    Search results

    • 2025

      Revisiting Assumptions Ordering in CAR-Based Model Checking

      Dong, Y., Chen, Y., Li, J., Pu, G. & Strichman, O., 2025, (Accepted/In press) In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

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

      Open Access
    • 2024

      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

    • 2022

      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
    • 2021

      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

    • Exploiting Isomorphic Subgraphs in SAT (Long version)

      Ivrii, A. & Strichman, O., 2021, In: CoRR. abs/2103.10267

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

    • Real-time solving of computationally hard problems using optimal algorithm portfolios

      Nof, Y. & Strichman, O., Jul 2021, In: Annals of Mathematics and Artificial Intelligence. 89, 7, p. 693-710 18 p.

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

    • Vacuity in synthesis

      Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., Sep 2021, In: Formal Methods in System Design. 57, 3, p. 473-495 23 p.

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

      Open Access
    • 2020

      A combination of 'pooling' with a prediction model can reduce by 73% the number of COVID-19 (Corona-virus) tests

      Cohen, T., Finkelman, L., Grimberg, G., Shenhar, G., Strichman, O., Strichman, Y. & Yeger, S., 2020, In: CoRR. abs/2005.03453

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

    • Learning the Language of Software Errors

      Chockler, H., Kesseli, P., Kroening, D. & Strichman, O., 23 Apr 2020, In: Journal of Artificial Intelligence Research. 67, p. 881-903 23 p.

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

      Open Access

    • Preface

      Strichman, O. & Ivrii, A., 21 Sep 2020, In: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020. p. V-VI 9283635.

      Research output: Contribution to journal › Editorial

    • 2019

      Cyclic-routing of Unmanned Aerial Vehicles

      Drucker, N., Ho, H. M., Ouaknine, J., Penn, M. & Strichman, O., Aug 2019, In: Journal of Computer and System Sciences. 103, p. 18-45 28 p.

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

      Open Access

    • Synthesizing reactive systems using robustness and recovery specifications

      Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., Oct 2019, Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (eds.). p. 147-151 5 p. 8894276. (Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019).

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

    • 2018

      Program Equivalence (Dagstuhl Seminar 18151)

      Lahiri, S. K., Murawski, A. S., Strichman, O. & Ulbrich, M., 2018, In: Dagstuhl Reports. 8, 4, p. 1-19 19 p.

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

    • Special issue: program equivalence

      Strichman, O., 1 Jun 2018, In: Formal Methods in System Design. 52, 3, p. 227-228 2 p.

      Research output: Contribution to journal › Editorial

      Open Access

    • The impact of entropy and solution density on selected SAT heuristics

      Cohen, D. & Strichman, O., 17 Sep 2018, In: Entropy. 20, 9, 713.

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

      Open Access
    • 2017

      Decision-Making with Cross-Entropy for Self-Adaptation

      Moreno, G. A., Strichman, O., Chaki, S. & Vaisman, R., 3 Jul 2017, Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017. p. 90-101 12 p. 7968136. (Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017).

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

    • Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

      Strichman, O. (Editor) & Tzoref-Brill, R. (Editor), 2017, (Lecture Notes in Computer Science)

      Research output: Book/Report › Anthology › peer-review

    • Minimal unsatisfiable core extraction for SMT

      Guthmann, O., Strichman, O. & Trostanetski, A., 24 Mar 2017, Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design, FMCAD 2016. Piskac, R. & Talupur, M. (eds.). p. 57-64 8 p. 7886661. (Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design, FMCAD 2016).

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

    • Near-Optimal Course Scheduling at the Technion

      Strichman, O., 1 Nov 2017, In: Interfaces. 47, 6, p. 537-554 18 p.

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

    • Preface

      Strichman, O. & Tzoref-Brill, R., 2017, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10629 LNCS, p. V-VI

      Research output: Contribution to journal › Editorial

    • Synthesizing non-vacuous systems

      Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 2017, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Proceedings. Bouajjani, A. & Monniaux, D. (eds.). p. 55-72 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10145 LNCS).

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

      Open Access
    • 2016

      Cyclic routing of unmanned aerial vehicles

      Drucker, N., Penn, M. & Strichman, O., 2016, Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Proceedings. Quimper, C.-G. (ed.). p. 125-141 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9676).

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

      Open Access

    • Decision Procedures - An Algorithmic Point of View, Second Edition

      Kroening, D. & Strichman, O., 2016, (Texts in Theoretical Computer Science. An EATCS Series)

      Research output: Book/Report › Book › peer-review

    • Learning general constraints in CSP

      Veksler, M. & Strichman, O., 1 Sep 2016, In: Artificial Intelligence. 238, p. 135-153 19 p.

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

      Open Access

    • Regression verification for unbalanced recursive functions

      Strichman, O. & Veitsman, M., 2016, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Heitmeyer, C., Philippou, A., Gnesi, S. & Fitzgerald, J. (eds.). p. 645-658 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9995 LNCS).

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

    • 2015

      Learning general constraints in CSP

      Veksler, M. & Strichman, O., 2015, Integration of AI and OR Techniques in Constraint Programming - 12th International Conference, CPAIOR 2015, Proceedings. Michel, L. (ed.). p. 410-426 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9075).

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

    • Learning the language of error

      Chapman, M., Chockler, H., Kesseli, P., Kroening, D., Strichman, O. & Tautschnig, M., 2015, Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Proceedings. Finkbeiner, B., Pu, G. & Zhang, L. (eds.). p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9364).

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

      Open Access

    • Mining backbone literals in incremental SAT a new kind of incremental data

      Ivrii, A., Ryvchin, V. & Strichman, O., 2015, Theory and Applications of Satisfiability Testing – SAT 2015 - 18th International Conference, Proceedings. Heule, M. & Weaver, S. (eds.). p. 88-103 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9340).

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

    • Model counting of monotone conjunctive normal form formulas with spectra

      Vaisman, R., Strichman, O. & Gertsbakh, I., 1 Mar 2015, In: INFORMS Journal on Computing. 27, 2, p. 406-415 10 p.

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

    • Proving mutual termination

      Elenbogen, D., Katz, S. & Strichman, O., 29 Oct 2015, In: Formal Methods in System Design. 47, 2, p. 204-229 26 p.

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

    • Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)

      Chaki, S., Gurfinkel, A. & Strichman, O., 1 Dec 2015, In: Formal Methods in System Design. 47, 3, p. 287-301 15 p.

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

    • 2014

      Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores

      Nadel, A., Ryvchin, V. & Strichman, O., 2014, In: J. Satisf. Boolean Model. Comput.. 9, 1, p. 27-51 25 p.

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

    • Ultimately incremental SAT

      Nadel, A., Ryvchin, V. & Strichman, O., 2014, Theory and Applications of Satisfiability Testing, SAT 2014 - 17th International Conference, Held as Part of theVienna Summer of Logic, VSL 2014, Proceedings. p. 206-218 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8561 LNCS).

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

    • 2013

      A new class of lineage expressions over probabilistic databases computable in p-time

      Kenig, B., Gal, A. & Strichman, O., 2013, Scalable Uncertainty Management - 7th International Conference, SUM 2013, Proceedings. p. 219-232 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8078 LNAI).

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

    • Beyond vacuity: Towards the strongest passing formula

      Chockler, H., Gurfinkel, A. & Strichman, O., Dec 2013, In: Formal Methods in System Design. 43, 3, p. 552-571 20 p.

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

    • Compositional sequentialization of periodic programs

      Chaki, S., Gurfinkel, A., Kong, S. & Strichman, O., 2013, Verification, Model Checking, and Abstract Interpretation - 14th International Conference, VMCAI 2013, Proceedings. p. 536-554 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7737 LNCS).

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

    • Efficient MUS extraction with resolution

      Nadel, A., Ryvchin, V. & Strichman, O., 2013, 2013 Formal Methods in Computer-Aided Design, FMCAD 2013. p. 197-200 4 p. 6679410. (2013 Formal Methods in Computer-Aided Design, FMCAD 2013).

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

    • Preface to the special issue "sI: Satisfiability modulo theories"

      Strichman, O. & Kroening, D., Feb 2013, In: Formal Methods in System Design. 42, 1, p. 1-2 2 p.

      Research output: Contribution to journal › Editorial

      Open Access

    • Proving mutual termination of programs

      Elenbogen, D., Katz, S. & Strichman, O., 2013, Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers. p. 24-39 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7857 LNCS).

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

    • Regression verification: Proving the equivalence of similar programs

      Godlin, B. & Strichman, O., May 2013, In: Software Testing Verification and Reliability. 23, 3, p. 241-258 18 p.

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

    • Verifying periodic programs with priority inheritance locks

      Chaki, S., Gurfinkel, A. & Strichman, O., 2013, 2013 Formal Methods in Computer-Aided Design, FMCAD 2013. p. 137-144 8 p. 6679402. (2013 Formal Methods in Computer-Aided Design, FMCAD 2013).

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

    • 2012

      Preprocessing in incremental SAT

      Nadel, A., Ryvchin, V. & Strichman, O., 2012, Theory and Applications of Satisfiability Testing, SAT 2012 - 15th International Conference, Proceedings. p. 256-269 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7317 LNCS).

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

    • Regression verification for multi-threaded programs

      Chaki, S., Gurfinkel, A. & Strichman, O., 2012, Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Proceedings. p. 119-135 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7148 LNCS).

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

    • 2011

      A probabilistic analysis of coverage methods

      Fournier, L., Ziv, A., Kutsy, E. & Strichman, O., Oct 2011, In: ACM Transactions on Design Automation of Electronic Systems. 16, 4, 38.

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

    • Faster extraction of high-level minimal unsatisfiable cores

      Ryvchin, V. & Strichman, O., 2011, Theory and Application of Satisfiability Testing - 14th International Conference, SAT 2011, Proceedings. p. 174-187 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6695 LNCS).

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

    • Linear completeness thresholds for bounded model checking

      Kroening, D., Ouaknine, J., Strichman, O., Wahl, T. & Worrell, J., 2011, Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings. p. 557-572 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6806 LNCS).

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

      Open Access

    • Reducing the size of resolution proofs in linear time

      Bar-Ilan, O., Fuhrmann, O., Hoory, S., Shacham, O. & Strichman, O., Jun 2011, In: International Journal on Software Tools for Technology Transfer. 13, 3, p. 263-272 10 p.

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

    • Time-bounded analysis of real-time systems

      Chaki, S., Gurfinkel, A. & Strichman, O., 2011, 2011 Formal Methods in Computer-Aided Design, FMCAD 2011. p. 72-80 9 p. 6148914. (2011 Formal Methods in Computer-Aided Design, FMCAD 2011).

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