Hana Chockler

Cited by

	All	Since 2019
Citations	2299	1012
h-index	21	15
i10-index	45	23

220

110

165

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 25 34 29 53 48 58 54 70 45 93 114 109 148 125 117 111 153 142 182 157 204 174

Public access

View all

17 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
Karine Even-MendozaKing's College LondonVerified email at kcl.ac.uk
Arie MatsliahPrinceton UniversityVerified email at princeton.edu
Antti E. J. HyvärinenSenior Research Scientist, CertoraVerified email at certora.com
Paul C AttieProfessor of Compuer Science, Augusta UniversityVerified email at augusta.edu
Grigory FedyukovichFlorida State UniversityVerified email at cs.fsu.edu
Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
David LandsbergOxford UniversityVerified email at linacre.ox.ac.uk
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Matt LewisComputer Science Department, University of OxfordVerified email at cs.ox.ac.uk
Gregory ChocklerProfessor, University of SurreyVerified email at surrey.ac.uk
Sara BouchenakProfessor in Computer Science, INSA LyonVerified email at insa-lyon.fr
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk

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	475	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	218	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	128	2001
Coverage metrics for formal verification H Chockler, O Kupferman, MY Vardi Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced …, 2003	103	2003
Coverage metrics for temporal logic model checking H Chockler, O Kupferman, MY Vardi International Conference on Tools and Algorithms for the Construction and …, 2001	100	2001
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	98	2008
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	96	2013
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	80	2011
A lower bound for testing juntas H Chockler, D Gutfreund Information Processing Letters 90 (6), 301-305, 2004	62	2004
Explaining image classifiers using statistical fault localization Y Sun, H Chockler, X Huang, D Kroening European conference on computer vision, 391-406, 2020	42	2020
Coverage metrics for formal verification H Chockler, O Kupferman, M Vardi International Journal on Software Tools for Technology Transfer 8, 373-386, 2006	41	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	36	2015
The computational complexity of structure-based causality G Aleksandrowicz, H Chockler, JY Halpern, A Ivrii Journal of Artificial Intelligence Research 58, 431-451, 2017	35	2017
Coverage metrics for temporal logic model checking^* H Chockler, O Kupferman, MY Vardi Formal Methods in System Design 28, 189-212, 2006	34	2006
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs PC Attie, H Chockler International Workshop on Verification, Model Checking, and Abstract …, 2005	31	2005
Computing interpolants without proofs H Chockler, A Ivrii, A Matsliah Hardware and Software: Verification and Testing: 8th International Haifa …, 2013	30	2013
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	29	2017
Cross-entropy based testing H Chockler, E Farchi, B Godlin, S Novikov Formal Methods in Computer Aided Design (FMCAD'07), 101-108, 2007	29	2007
Learning the language of error M Chapman, H Chockler, P Kesseli, D Kroening, O Strichman, ... Automated Technology for Verification and Analysis: 13th International …, 2015	27	2015
Easier and more informative vacuity checks H Chockler, O Strichman 2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007	27	2007

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