Follow
Hana Chockler
Hana Chockler
Verified email at kcl.ac.uk - Homepage
Title
Cited by
Cited by
Year
Responsibility and blame: A structural-model approach
H Chockler, JY Halpern
Journal of Artificial Intelligence Research 22, 93-115, 2004
4812004
Explaining counterexamples using causality
I Beer, S Ben-David, H Chockler, A Orni, R Trefler
Formal Methods in System Design 40, 20-40, 2012
2202012
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
1282001
Coverage metrics for formal verification
H Chockler, O Kupferman, MY Vardi
Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced …, 2003
1042003
Coverage metrics for temporal logic model checking
H Chockler, O Kupferman, MY Vardi
International Conference on Tools and Algorithms for the Construction and …, 2001
1012001
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
982008
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
962013
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
802011
A lower bound for testing juntas
H Chockler, D Gutfreund
Information Processing Letters 90 (6), 301-305, 2004
632004
Explaining image classifiers using statistical fault localization
Y Sun, H Chockler, X Huang, D Kroening
European conference on computer vision, 391-406, 2020
452020
Coverage metrics for formal verification
H Chockler, O Kupferman, M Vardi
International Journal on Software Tools for Technology Transfer 8, 373-386, 2006
412006
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
362015
The computational complexity of structure-based causality
G Aleksandrowicz, H Chockler, JY Halpern, A Ivrii
Journal of Artificial Intelligence Research 58, 431-451, 2017
352017
Coverage metrics for temporal logic model checking*
H Chockler, O Kupferman, MY Vardi
Formal Methods in System Design 28, 189-212, 2006
342006
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
PC Attie, H Chockler
International Workshop on Verification, Model Checking, and Abstract …, 2005
312005
Computing interpolants without proofs
H Chockler, A Ivrii, A Matsliah
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
302013
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
292017
Cross-entropy based testing
H Chockler, E Farchi, B Godlin, S Novikov
Formal Methods in Computer Aided Design (FMCAD'07), 101-108, 2007
292007
Learning the language of error
M Chapman, H Chockler, P Kesseli, D Kroening, O Strichman, ...
Automated Technology for Verification and Analysis: 13th International …, 2015
282015
Easier and more informative vacuity checks
H Chockler, O Strichman
2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007
272007
The system can't perform the operation now. Try again later.
Articles 1–20