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
2722004
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
1222001
Coverage metrics for temporal logic model checking
H Chockler, O Kupferman, MY Vardi
International Conference on Tools and Algorithms for the Construction and …, 2001
902001
Coverage metrics for formal verification
H Chockler, O Kupferman, MY Vardi
Advanced Research Working Conference on Correct Hardware Design and …, 2003
842003
Explaining counterexamples using causality
I Beer, S Ben-David, H Chockler, A Orni, R Trefler
International Conference on Computer Aided Verification, 94-108, 2009
732009
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
722013
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
612011
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
602012
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
602008
A lower bound for testing juntas
H Chockler, D Gutfreund
Information Processing Letters 90 (6), 301-305, 2004
462004
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
342006
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
PC Attie, H Chockler
International Workshop on Verification, Model Checking, and Abstract …, 2005
302005
Coverage metrics for temporal logic model checking
H Chockler, O Kupferman, MY Vardi
Formal Methods in System Design 28 (3), 189-212, 2006
252006
Easier and more informative vacuity checks
H Chockler, O Strichman
2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007
232007
Coverage of implementations by simulating specifications
H Chockler, O Kupferman
Foundations of Information Technology in the Era of Network and Mobile …, 2002
232002
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
222015
Learning the language of error
M Chapman, H Chockler, P Kesseli, D Kroening, O Strichman, ...
International Symposium on Automated Technology for Verification and …, 2015
192015
Cross-entropy based testing
H Chockler, E Farchi, B Godlin, S Novikov
Formal Methods in Computer Aided Design (FMCAD'07), 101-108, 2007
192007
Computing interpolants without proofs
H Chockler, A Ivrii, A Matsliah
Haifa verification conference, 72-85, 2012
182012
Selective Code Coverage Instrumentation
Y Ben-Chaim, LC Blount, H Chockler, E Farchi, O Raz-Pelleg, A Zlotnick
US Patent App. 12/276,077, 2010
162010
The system can't perform the operation now. Try again later.
Articles 1–20