Hana Chockler
Hana Chockler
King's College London
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
3002004
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
1252001
Coverage metrics for temporal logic model checking
H Chockler, O Kupferman, MY Vardi
International Conference on Tools and Algorithms for the Construction and …, 2001
952001
Coverage metrics for formal verification
H Chockler, O Kupferman, MY Vardi
Advanced Research Working Conference on Correct Hardware Design and …, 2003
902003
Explaining counterexamples using causality
I Beer, S Ben-David, H Chockler, A Orni, R Trefler
International Conference on Computer Aided Verification, 94-108, 2009
812009
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
752013
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
702011
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
692012
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
642008
A lower bound for testing juntas
H Chockler, D Gutfreund
Information Processing Letters 90 (6), 301-305, 2004
502004
Coverage metrics for formal verification
H Chockler, O Kupferman, M Vardi
International Journal on Software Tools for Technology Transfer 8 (4), 373-386, 2006
352006
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
PC Attie, H Chockler
International Workshop on Verification, Model Checking, and Abstract …, 2005
312005
Coverage metrics for temporal logic model checking
H Chockler, O Kupferman, MY Vardi
Formal Methods in System Design 28 (3), 189-212, 2006
282006
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
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
242015
Easier and more informative vacuity checks
H Chockler, O Strichman
2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007
242007
Coverage of implementations by simulating specifications
H Chockler, O Kupferman
Foundations of Information Technology in the Era of Network and Mobile …, 2002
222002
Computing interpolants without proofs
H Chockler, A Ivrii, A Matsliah
Haifa verification conference, 72-85, 2012
212012
Cross-entropy based testing
H Chockler, E Farchi, B Godlin, S Novikov
Formal Methods in Computer Aided Design (FMCAD'07), 101-108, 2007
212007
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
172017
The system can't perform the operation now. Try again later.
Articles 1–20