Hana Chockler

Cited by

	All	Since 2018
Citations	1933	759
h-index	21	13
i10-index	38	17

200

100

150

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 29 31 31 54 50 59 54 72 46 89 119 104 150 126 111 114 150 140 184 159 11

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Joseph HalpernProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Daniel KroeningAmazonVerified email at amazon.com
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Eitan FarchiIBM Research Lab in HaifaVerified email at il.ibm.com
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Alexander IvriiIBMVerified email at il.ibm.com
Arie MatsliahPrinceton UniversityVerified email at princeton.edu
Paul C AttieProfessor of Compuer Science, Augusta UniversityVerified email at augusta.edu
Karine Even-MendozaKing's College LondonVerified email at kcl.ac.uk
Antti E. J. HyvärinenPostdoc, Università della Svizzera italianaVerified email at usi.ch
Grigory FedyukovichFlorida State UniversityVerified email at cs.fsu.edu
Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Gregory ChocklerProfessor, University of SurreyVerified email at surrey.ac.uk
Alexander ShraerCockroach LabsVerified email at cockroachlabs.com
Sara BouchenakProfessor in Computer Science, INSA LyonVerified email at insa-lyon.fr
David LandsbergOxford UniversityVerified email at linacre.ox.ac.uk
Kathi FislerProfessor (Research) of Computer Science, Brown UniversityVerified email at cs.brown.edu

Hana Chockler

King's College London

Verified email at kcl.ac.uk - Homepage

formal verification


Title Sort by citations Sort by year Sort by 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	378	2004
Explaining counterexamples using causality I Beer, S Ben-David, H Chockler, A Orni, R Trefler Formal Methods in System Design 40, 20-40, 2012	185	2012
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	127	2001
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	99	2001
Coverage metrics for formal verification H Chockler, O Kupferman, MY Vardi CHARME, 111-125, 2003	97	2003
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	90	2013
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	79	2008
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	74	2011
A lower bound for testing juntas H Chockler, D Gutfreund Information Processing Letters 90 (6), 301-305, 2004	51	2004
Coverage metrics for formal verification H Chockler, O Kupferman, M Vardi International Journal on Software Tools for Technology Transfer 8, 373-386, 2006	37	2006
Coverage metrics for temporal logic model checking^* H Chockler, O Kupferman, MY Vardi Formal Methods in System Design 28, 189-212, 2006	33	2006
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	32	2015
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs PC Attie, H Chockler Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005	32	2005
Computing interpolants without proofs H Chockler, A Ivrii, A Matsliah Hardware and Software: Verification and Testing: 8th International Haifa …, 2013	27	2013
Cross-entropy based testing H Chockler, E Farchi, B Godlin, S Novikov Formal Methods in Computer Aided Design (FMCAD'07), 101-108, 2007	26	2007
Easier and more informative vacuity checks H Chockler, O Strichman 2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007	26	2007
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	25	2020
The computational complexity of structure-based causality G Aleksandrowicz, H Chockler, JY Halpern, A Ivrii Journal of Artificial Intelligence Research 58, 431-451, 2017	24	2017
Learning the language of error M Chapman, H Chockler, P Kesseli, D Kroening, O Strichman, ... Automated Technology for Verification and Analysis: 13th International …, 2015	24	2015
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	23	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors