Hana Chockler

Citado por

	Total	Desde 2020
Citas	2373	931
Índice h	22	14
Índice i10	47	23

240

120

180

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202510 25 34 29 53 48 57 54 70 45 93 114 109 148 125 121 110 153 145 182 154 204 226 20

Acceso público

Ver todo

17 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Orna KupfermanProfessor of Computer Science, The Hebrew UniversityDirección de correo verificada de cs.huji.ac.il
Joseph HalpernProfessor of Computer Science, Cornell UniversityDirección de correo verificada de cs.cornell.edu
Daniel KroeningAmazonDirección de correo verificada de amazon.com
Moshe Y. VardiRice UniversityDirección de correo verificada de cs.rice.edu
Ofer StrichmanTechnion, Haifa, IsraelDirección de correo verificada de ie.technion.ac.il
Eitan FarchiIBM Research Lab in HaifaDirección de correo verificada de il.ibm.com
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandDirección de correo verificada de usi.ch
Alexander IvriiIBMDirección de correo verificada de il.ibm.com
Karine Even-MendozaKing's College LondonDirección de correo verificada de kcl.ac.uk
Arie MatsliahPrinceton UniversityDirección de correo verificada de princeton.edu
Antti E. J. HyvärinenSenior Research Scientist, CertoraDirección de correo verificada de certora.com
Paul C AttieProfessor of Compuer Science, Augusta UniversityDirección de correo verificada de augusta.edu
Grigory FedyukovichFlorida State UniversityDirección de correo verificada de cs.fsu.edu
Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandDirección de correo verificada de usi.ch
David LandsbergOxford UniversityDirección de correo verificada de linacre.ox.ac.uk
Roderick BloemGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
Matt LewisComputer Science Department, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Gregory ChocklerProfessor, University of SurreyDirección de correo verificada de surrey.ac.uk
Alexander ShraerGoogleDirección de correo verificada de google.com
Sara BouchenakProfessor in Computer Science, INSA LyonDirección de correo verificada de insa-lyon.fr

Seguir

Hana Chockler

King's College London

Dirección de correo verificada de kcl.ac.uk - Página principal

formal verification


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Responsibility and blame: A structural-model approach H Chockler, JY Halpern Journal of Artificial Intelligence Research 22, 93-115, 2004	493	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	226	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	104	2003
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	102	2008
Coverage metrics for temporal logic model checking H Chockler, O Kupferman, MY Vardi International Conference on Tools and Algorithms for the Construction and …, 2001	101	2001
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	63	2004
Explaining image classifiers using statistical fault localization Y Sun, H Chockler, X Huang, D Kroening European conference on computer vision, 391-406, 2020	47	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	37	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	36	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
Computing interpolants without proofs H Chockler, A Ivrii, A Matsliah Hardware and Software: Verification and Testing: 8th International Haifa …, 2013	31	2013
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
Cross-entropy based testing H Chockler, E Farchi, B Godlin, S Novikov Formal Methods in Computer Aided Design (FMCAD'07), 101-108, 2007	30	2007
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
Learning the language of error M Chapman, H Chockler, P Kesseli, D Kroening, O Strichman, ... Automated Technology for Verification and Analysis: 13th International …, 2015	28	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores