Volgen
Hana Chockler
Hana Chockler
King's College London
Geverifieerd e-mailadres voor kcl.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Responsibility and blame: A structural-model approach
H Chockler, JY Halpern
Journal of Artificial Intelligence Research 22, 93-115, 2004
3782004
Explaining counterexamples using causality
I Beer, S Ben-David, H Chockler, A Orni, R Trefler
Formal Methods in System Design 40, 20-40, 2012
1852012
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
1272001
Coverage metrics for temporal logic model checking
H Chockler, O Kupferman, MY Vardi
Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001
992001
Coverage metrics for formal verification
H Chockler, O Kupferman, MY Vardi
CHARME, 111-125, 2003
972003
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
902013
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
792008
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
742011
A lower bound for testing juntas
H Chockler, D Gutfreund
Information Processing Letters 90 (6), 301-305, 2004
512004
Coverage metrics for formal verification
H Chockler, O Kupferman, M Vardi
International Journal on Software Tools for Technology Transfer 8, 373-386, 2006
372006
Coverage metrics for temporal logic model checking*
H Chockler, O Kupferman, MY Vardi
Formal Methods in System Design 28, 189-212, 2006
332006
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
322015
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
PC Attie, H Chockler
Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005
322005
Computing interpolants without proofs
H Chockler, A Ivrii, A Matsliah
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
272013
Cross-entropy based testing
H Chockler, E Farchi, B Godlin, S Novikov
Formal Methods in Computer Aided Design (FMCAD'07), 101-108, 2007
262007
Easier and more informative vacuity checks
H Chockler, O Strichman
2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007
262007
Explaining image classifiers using statistical fault localization
Y Sun, H Chockler, X Huang, D Kroening
Computer Vision–ECCV 2020: 16th European Conference, Glasgow, UK, August 23 …, 2020
242020
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, ...
Automated Technology for Verification and Analysis: 13th International …, 2015
242015
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
232017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20