Ofer Strichman
Technion - Israel Institute of Technology
H-index: 38
Asia-Israel
Top articles of Ofer Strichman
Model-Guided Synthesis for LTL over Finite Traces
2023/12/30
Yongkang Li
H-Index: 5
Xinyue Huang
H-Index: 0
Jianwen Li
H-Index: 2
Geguang Pu
H-Index: 14
Ofer Strichman
H-Index: 19
Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding
2022/10/30
25th International Conference on Theory and Applications of Satisfiability Testing
SAT
2022/8
Ofer Strichman
H-Index: 19
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
1999/9/7
Regression verification of unbalanced recursive functions with multiple calls (long version)
arXiv preprint arXiv:2207.14364
2022/7/28
Ofer Strichman
H-Index: 19
Automated repair of neural networks
arXiv preprint arXiv:2207.08157
2022/7/17
Ofer Strichman
H-Index: 19
Specifiable robustness in reactive synthesis
Formal Methods in System Design
2022/4
LIPIcs, Volume 236, SAT 2022, Complete Volume
2022
Ofer Strichman
H-Index: 19
Exploiting Isomorphic Subgraphs in SAT
2021/10/19
Ofer Strichman
H-Index: 19
Vacuity in synthesis
Formal Methods in System Design
2021/9
Real-time solving of computationally hard problems using optimal algorithm portfolios
Annals of Mathematics and Artificial Intelligence
2021/7
Ofer Strichman
H-Index: 19
Exploiting Isomorphic Subgraphs in SAT (Long version)
arXiv preprint arXiv:2103.10267
2021/3/18
Ofer Strichman
H-Index: 19
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
2020/5/3
Ofer Strichman
H-Index: 19
Learning the language of software errors
Journal of Artificial Intelligence Research
2020/4/23
Hana Chockler
H-Index: 13
Ofer Strichman
H-Index: 19
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design–FMCAD 2020
2020
Ofer Strichman
H-Index: 19