Ofer Strichman
Technion - Israel Institute of Technology
H-index: 38
Asia-Israel
Top articles of Ofer Strichman
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Model-Guided Synthesis for LTL over Finite Traces | Shengping Xiao Yongkang Li Xinyue Huang Yicong Xu Jianwen Li | 2023/12/30 | |
LIPIcs, Volume 236, SAT 2022, Complete Volume | Kuldeep S Meel Ofer Strichman | 2022 | |
25th International Conference on Theory and Applications of Satisfiability Testing | SAT | Kuldeep S Meel Ofer Strichman | 2022/8 |
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) | Malcolm P Atkinson Maria E Orlowska Patrick Valduriez Stanley B Zdonik Michael L Brodie | 1999/9/7 | |
Regression verification of unbalanced recursive functions with multiple calls (long version) | arXiv preprint arXiv:2207.14364 | Chaked RJ Sayedoff Ofer Strichman | 2022/7/28 |
Automated repair of neural networks | arXiv preprint arXiv:2207.08157 | Dor Cohen Ofer Strichman | 2022/7/17 |
Specifiable robustness in reactive synthesis | Formal Methods in System Design | Roderick Bloem Hana Chockler Masoud Ebrahimi Ofer Strichman | 2022/4 |
Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding | Xiaoyu Zhang Shengping Xiao Jianwen Li Geguang Pu Ofer Strichman | 2022/10/30 | |
Exploiting Isomorphic Subgraphs in SAT | Alexander Ivrii Ofer Strichman | 2021/10/19 | |
Vacuity in synthesis | Formal Methods in System Design | Roderick Bloem Hana Chockler Masoud Ebrahimi Ofer Strichman | 2021/9 |
Real-time solving of computationally hard problems using optimal algorithm portfolios | Annals of Mathematics and Artificial Intelligence | Yair Nof Ofer Strichman | 2021/7 |
Exploiting Isomorphic Subgraphs in SAT (Long version) | arXiv preprint arXiv:2103.10267 | Alexander Ivrii Ofer Strichman | 2021/3/18 |
A combination of'pooling'with a prediction model can reduce by 73% the number of COVID-19 (Corona-virus) tests | arXiv preprint arXiv:2005.03453 | Tomer Cohen Lior Finkelman Gal Grimberg Gadi Shenhar Ofer Strichman | 2020/5/3 |
Learning the language of software errors | Journal of Artificial Intelligence Research | Hana Chockler Pascal Kesseli Daniel Kroening Ofer Strichman | 2020/4/23 |
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design–FMCAD 2020 | Alexander Ivrii Ofer Strichman | 2020 |