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
3752004
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
1272001
Coverage metrics for temporal logic model checking
H Chockler, O Kupferman, MY Vardi
International Conference on Tools and Algorithms for the Construction and …, 2001
1002001
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
962012
Coverage metrics for formal verification
H Chockler, O Kupferman, MY Vardi
Advanced Research Working Conference on Correct Hardware Design and …, 2003
962003
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
922013
Explaining counterexamples using causality
I Beer, S Ben-David, H Chockler, A Orni, R Trefler
International Conference on Computer Aided Verification, 94-108, 2009
882009
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
822008
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
752011
A lower bound for testing juntas
H Chockler, D Gutfreund
Information Processing Letters 90 (6), 301-305, 2004
522004
Coverage metrics for formal verification
H Chockler, O Kupferman, M Vardi
International Journal on Software Tools for Technology Transfer 8 (4), 373-386, 2006
372006
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
PC Attie, H Chockler
International Workshop on Verification, Model Checking, and Abstract …, 2005
332005
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
322015
Coverage metrics for temporal logic model checking
H Chockler, O Kupferman, MY Vardi
Formal Methods in System Design 28 (3), 189-212, 2006
322006
Easier and more informative vacuity checks
H Chockler, O Strichman
2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007
262007
Computing interpolants without proofs
H Chockler, A Ivrii, A Matsliah
Haifa verification conference, 72-85, 2012
252012
The computational complexity of structure-based causality
G Aleksandrowicz, H Chockler, JY Halpern, A Ivrii
Journal of Artificial Intelligence Research 58, 431-451, 2017
242017
Learning the language of error
M Chapman, H Chockler, P Kesseli, D Kroening, O Strichman, ...
International Symposium on Automated Technology for Verification and …, 2015
242015
Cross-entropy based testing
H Chockler, E Farchi, B Godlin, S Novikov
Formal Methods in Computer Aided Design (FMCAD'07), 101-108, 2007
232007
HiFrog: SMT-based function summarization for software verification
L Alt, S Asadi, H Chockler, K Even Mendoza, G Fedyukovich, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
222017
The system can't perform the operation now. Try again later.
Articles 1–20