| Responsibility and blame: A structural-model approach H Chockler, JY Halpern Journal of Artificial Intelligence Research 22, 93-115, 2004 | 286 | 2004 |
| A practical approach to coverage in model checking H Chockler, O Kupferman, RP Kurshan, MY Vardi International Conference on Computer Aided Verification, 66-78, 2001 | 124 | 2001 |
| Coverage metrics for temporal logic model checking H Chockler, O Kupferman, MY Vardi International Conference on Tools and Algorithms for the Construction and …, 2001 | 92 | 2001 |
| Coverage metrics for formal verification H Chockler, O Kupferman, MY Vardi Advanced Research Working Conference on Correct Hardware Design and …, 2003 | 87 | 2003 |
| 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 | 75 | 2013 |
| Explaining counterexamples using causality I Beer, S Ben-David, H Chockler, A Orni, R Trefler International Conference on Computer Aided Verification, 94-108, 2009 | 75 | 2009 |
| 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 | 66 | 2011 |
| Explaining counterexamples using causality I Beer, S Ben-David, H Chockler, A Orni, R Trefler Formal Methods in System Design 40 (1), 20-40, 2012 | 64 | 2012 |
| 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 | 61 | 2008 |
| A lower bound for testing juntas H Chockler, D Gutfreund Information Processing Letters 90 (6), 301-305, 2004 | 48 | 2004 |
| Coverage metrics for formal verification H Chockler, O Kupferman, M Vardi International Journal on Software Tools for Technology Transfer 8 (4-5), 373-386, 2006 | 34 | 2006 |
| Efficiently verifiable conditions for deadlock-freedom of large concurrent programs PC Attie, H Chockler International Workshop on Verification, Model Checking, and Abstract …, 2005 | 30 | 2005 |
| Evaluation of measures for statistical fault localisation and an optimising scheme D Landsberg, H Chockler, D Kroening, M Lewis International Conference on Fundamental Approaches to Software Engineering …, 2015 | 25 | 2015 |
| Coverage metrics for temporal logic model checking H Chockler, O Kupferman, MY Vardi Formal Methods in System Design 28 (3), 189-212, 2006 | 25 | 2006 |
| Easier and more informative vacuity checks H Chockler, O Strichman 2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007 | 24 | 2007 |
| Coverage of implementations by simulating specifications H Chockler, O Kupferman Foundations of Information Technology in the Era of Network and Mobile …, 2002 | 23 | 2002 |
| Learning the language of error M Chapman, H Chockler, P Kesseli, D Kroening, O Strichman, ... International Symposium on Automated Technology for Verification and …, 2015 | 21 | 2015 |
| Computing interpolants without proofs H Chockler, A Ivrii, A Matsliah Haifa verification conference, 72-85, 2012 | 21 | 2012 |
| Cross-entropy based testing H Chockler, E Farchi, B Godlin, S Novikov Formal Methods in Computer Aided Design (FMCAD'07), 101-108, 2007 | 21 | 2007 |
| HiFrog: SMT-based function summarization for software verification L Alt, S Asadi, H Chockler, KE Mendoza, G Fedyukovich, AEJ Hyvärinen, ... International Conference on Tools and Algorithms for the Construction and …, 2017 | 17 | 2017 |
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
