| Responsibility and blame: A structural-model approach H Chockler, JY Halpern Journal of Artificial Intelligence Research 22, 93-115, 2004 | 459 | 2004 |
| Explaining counterexamples using causality I Beer, S Ben-David, H Chockler, A Orni, R Trefler Formal Methods in System Design 40, 20-40, 2012 | 209 | 2012 |
| A practical approach to coverage in model checking H Chockler, O Kupferman, RP Kurshan, MY Vardi Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 128 | 2001 |
| Coverage metrics for formal verification H Chockler, O Kupferman, MY Vardi Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced …, 2003 | 102 | 2003 |
| Coverage metrics for temporal logic model checking H Chockler, O Kupferman, MY Vardi International Conference on Tools and Algorithms for the Construction and …, 2001 | 100 | 2001 |
| What causes a system to satisfy a specification? H Chockler, JY Halpern, O Kupferman ACM Transactions on Computational Logic (TOCL) 9 (3), 1-26, 2008 | 96 | 2008 |
| Verifying cloud services: present and future S Bouchenak, G Chockler, H Chockler, G Gheorghe, N Santos, A Shraer ACM SIGOPS operating systems review 47 (2), 6-19, 2013 | 95 | 2013 |
| Incremental formal verification of hardware H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo 2011 Formal Methods in Computer-Aided Design (FMCAD), 135-143, 2011 | 77 | 2011 |
| A lower bound for testing juntas H Chockler, D Gutfreund Information Processing Letters 90 (6), 301-305, 2004 | 62 | 2004 |
| Coverage metrics for formal verification H Chockler, O Kupferman, M Vardi International Journal on Software Tools for Technology Transfer 8, 373-386, 2006 | 41 | 2006 |
| Explaining image classifiers using statistical fault localization Y Sun, H Chockler, X Huang, D Kroening European conference on computer vision, 391-406, 2020 | 39 | 2020 |
| Evaluation of measures for statistical fault localisation and an optimising scheme D Landsberg, H Chockler, D Kroening, M Lewis Fundamental Approaches to Software Engineering: 18th International …, 2015 | 36 | 2015 |
| The computational complexity of structure-based causality G Aleksandrowicz, H Chockler, JY Halpern, A Ivrii Journal of Artificial Intelligence Research 58, 431-451, 2017 | 34 | 2017 |
| Coverage metrics for temporal logic model checking* H Chockler, O Kupferman, MY Vardi Formal Methods in System Design 28, 189-212, 2006 | 33 | 2006 |
| Efficiently verifiable conditions for deadlock-freedom of large concurrent programs PC Attie, H Chockler International Workshop on Verification, Model Checking, and Abstract …, 2005 | 31 | 2005 |
| Computing interpolants without proofs H Chockler, A Ivrii, A Matsliah Hardware and Software: Verification and Testing: 8th International Haifa …, 2013 | 30 | 2013 |
| HiFrog: SMT-based function summarization for software verification L Alt, S Asadi, H Chockler, K Even Mendoza, G Fedyukovich, ... Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 28 | 2017 |
| Cross-entropy based testing H Chockler, E Farchi, B Godlin, S Novikov Formal Methods in Computer Aided Design (FMCAD'07), 101-108, 2007 | 28 | 2007 |
| Learning the language of error M Chapman, H Chockler, P Kesseli, D Kroening, O Strichman, ... Automated Technology for Verification and Analysis: 13th International …, 2015 | 27 | 2015 |
| Easier and more informative vacuity checks H Chockler, O Strichman 2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007 | 26 | 2007 |
Orna KupfermanProfessor of Computer Science, The Hebrew University在 cs.huji.ac.il 的电子邮件经过验证
