default search action
Hana Chockler
Person information
- affiliation: King's College London, UK
- affiliation (former): IBM Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j21]Sander Beckers
, Hana Chockler
A Causal Analysis of Harm. Minds Mach. 34(3): 34 (2024) - [i26]Hana Chockler, Joseph Y. Halpern:
Explaining Image Classifiers. CoRR abs/2401.13752 (2024) - [i25]Milad Kazemi, Jessica Lally, Ekaterina Tishchenko, Hana Chockler, Nicola Paoletti:
Counterfactual Influence in Markov Decision Processes. CoRR abs/2402.08514 (2024) - [i24]Aditi Ramaswamy, Melane Navaratnarajah, Hana Chockler:
It's a Feature, Not a Bug: Measuring Creative Fluidity in Image Generators. CoRR abs/2406.18570 (2024) - [i23]Santiago Calderon Pena, Hana Chockler, David A. Kelly:
Real-Time Incremental Explanations for Object Detectors. CoRR abs/2408.11963 (2024) - [i22]Vaishak Belle, Hana Chockler, Shannon Vallor, Kush R. Varshney, Joost Vennekens, Sander Beckers:
Trustworthiness and Responsibility in AI - Causality, Learning, and Verification (Dagstuhl Seminar 24121). Dagstuhl Reports 14(3): 75-91 (2024) - 2023
- [c56]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. EWAF 2023 - [c55]Sander Beckers
Quantifying Harm. IJCAI 2023: 363-371 - [c54]Bénédicte Legastelois, Amy Rafferty
Challenges in Explaining Brain Tumor Detection. TAS 2023: 21:1-21:8 - [i21]Hana Chockler, David A. Kelly, Daniel Kroening:
Multiple Different Explanations for Image Classifiers. CoRR abs/2309.14309 (2023) - [i20]Mark Levin, Hana Chockler:
Clustered Policy Decision Ranking. CoRR abs/2311.12970 (2023) - [i19]David A. Kelly, Hana Chockler, Daniel Kroening, Nathan Blake, Aditi Ramaswamy, Melane Navaratnarajah, Aaditya Shivakumar:
You Only Explain Once. CoRR abs/2311.14081 (2023) - [i18]Nathan Blake, Hana Chockler, David A. Kelly, Santiago Calderon Pena, Akchunya Chanchal:
MRxaI: Black-Box Explainability for Image Classifiers in a Medical Setting. CoRR abs/2311.14471 (2023) - 2022
- [j20]Roderick Bloem, Hana Chockler
Specifiable robustness in reactive synthesis. Formal Methods Syst. Des. 60(2): 259-276 (2022) - [c53]Hana Chockler, Joseph Y. Halpern:
On Testing for Discrimination Using Causal Models. AAAI 2022: 5548-5555 - [c52]Hana Chockler:
Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification. FMCAD 2022: 1 - [c51]Stefanos Ioannou, Hana Chockler
A Study of Demographic Bias in CNN-Based Brain MR Segmentation. MLCN@MICCAI 2022: 13-22 - [c50]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. NeurIPS 2022 - [i17]Xin Du, Bénédicte Legastelois, Bhargavi Ganesh, Ajitha Rajan, Hana Chockler, Vaishak Belle, Stuart Anderson, Subramanian Ramamoorthy:
Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities. CoRR abs/2201.11674 (2022) - [i16]Stefanos Ioannou, Hana Chockler, Alexander Hammers, Andrew P. King:
A Study of Demographic Bias in CNN-based Brain MR Segmentation. CoRR abs/2208.06613 (2022) - [i15]Steven Kleinegesse, Andrew R. Lawrence, Hana Chockler:
Domain Knowledge in A*-Based Causal Discovery. CoRR abs/2208.08247 (2022) - [i14]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Quantitative Account of Harm. CoRR abs/2209.15111 (2022) - [i13]Sander Beckers
A Causal Analysis of Harm. CoRR abs/2210.05327 (2022) - [i12]Francesca E. D. Raimondi, Andrew R. Lawrence, Hana Chockler:
Equality of Effort via Algorithmic Recourse. CoRR abs/2211.11892 (2022) - [i11]Francesca E. D. Raimondi, Tadhg O'Keeffe, Hana Chockler, Andrew R. Lawrence, Tamara Stemberga, Andre Franca, Maksim Sipos, Javed Butler, Shlomo Ben-Haim:
Causal Analysis of the TOPCAT Trial: Spironolactone for Preserved Cardiac Function Heart Failure. CoRR abs/2211.12983 (2022) - 2021
- [j19]Hana Chockler
Preface of the special issue on the conference on computer-aided verification 2018. Formal Methods Syst. Des. 57(1): 1-2 (2021) - [j18]Roderick Bloem, Hana Chockler
Vacuity in synthesis. Formal Methods Syst. Des. 57(3): 473-495 (2021) - [c49]Hana Chockler, Daniel Kroening, Youcheng Sun
Explanations for Occluded Images. ICCV 2021: 1214-1223 - [c48]Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening:
Ranking Policy Decisions. NeurIPS 2021: 8702-8713 - [i10]Hana Chockler, Daniel Kroening, Youcheng Sun:
Compositional Explanations for Image Classifiers. CoRR abs/2103.03622 (2021) - [i9]Ayman Boustati, Hana Chockler, Daniel C. McNamee:
Transfer learning with causal counterfactual reasoning in Decision Transformers. CoRR abs/2110.14355 (2021) - [i8]Daniel C. McNamee, Hana Chockler:
Causal policy ranking. CoRR abs/2111.08415 (2021) - 2020
- [j17]Dalal Alrajeh, Hana Chockler
Combining experts' causal judgments. Artif. Intell. 288: 103355 (2020) - [j16]Hana Chockler
Learning the Language of Software Errors. J. Artif. Intell. Res. 67: 881-903 (2020) - [c47]Youcheng Sun
Explaining Image Classifiers Using Statistical Fault Localization. ECCV (28) 2020: 391-406 - [i7]Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining Experts' Causal Judgments. CoRR abs/2005.10180 (2020) - [i6]Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening:
Ranking Policy Decisions. CoRR abs/2008.13607 (2020) - [i5]Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Dana Fisman, Heinz Riener:
Safety Synthesis Sans Specification. CoRR abs/2011.07630 (2020)
2010 – 2019
- 2019
- [c46]Roderick Bloem
Synthesizing Reactive Systems Using Robustness and Recovery Specifications. FMCAD 2019: 147-151 - [c45]Karine Even-Mendoza
Lattice-based SMT for program verification. MEMOCODE 2019: 16:1-16:11 - [i4]Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening:
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization. CoRR abs/1908.02374 (2019) - 2018
- [c44]Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining Experts' Causal Judgments. AAAI 2018: 6311-6318 - [c43]Hana Chockler, Shibashis Guha, Orna Kupferman:
Timed Vacuity. FM 2018: 438-455 - [c42]Sepideh Asadi
Function Summarization Modulo Theories. LPAR 2018: 56-75 - [c41]Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina
Lookahead-Based SMT Solving. LPAR 2018: 418-434 - [c40]Karine Even-Mendoza
Lattice-Based Refinement in Bounded Model Checking. VSTTE 2018: 50-68 - [e5]Hana Chockler, Georg Weissenbacher
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10981, Springer 2018, ISBN 978-3-319-96144-6 [contents] - [e4]Hana Chockler, Georg Weissenbacher
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10982, Springer 2018, ISBN 978-3-319-96141-5 [contents] - 2017
- [j15]Gadi Aleksandrowicz, Hana Chockler
The Computational Complexity of Structure-Based Causality. J. Artif. Intell. Res. 58: 431-451 (2017) - [c39]Antti E. J. Hyvärinen, Sepideh Asadi
Theory Refinement for Program Verification. SAT 2017: 347-363 - [c38]Leonardo Alt, Sepideh Asadi
HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) 2017: 207-213 - [c37]Roderick Bloem, Hana Chockler
Synthesizing Non-Vacuous Systems. VMCAI 2017: 55-72 - 2016
- [c36]David Landsberg, Hana Chockler
Probabilistic Fault Localisation. Haifa Verification Conference 2016: 65-81 - [c35]Hana Chockler
Causality and Responsibility for Formal Verification and Beyond. CREST@ETAPS 2016: 1-8 - 2015
- [c34]Martin Chapman
Learning the Language of Error. ATVA 2015: 114-130 - [c33]David Landsberg, Hana Chockler
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. FASE 2015: 115-129 - [c32]Hana Chockler
Causal analysis for attributing responsibility in legal cases. ICAIL 2015: 33-42 - [p4]Hana Chockler, Daniel Kroening
Introduction. Validation of Evolving Software 2015: 3-5 - [p3]Hana Chockler
Challenges of Existing Technology. Validation of Evolving Software 2015: 7-17 - [p2]Hana Chockler
Complementarities Among the Technologies Presented in the Book. Validation of Evolving Software 2015: 19-21 - [p1]Hana Chockler
Lightweight Static Analysis Check of Upgrades in C/C++ Software. Validation of Evolving Software 2015: 25-36 - [e3]Hana Chockler
Validation of Evolving Software. Springer 2015, ISBN 978-3-319-10622-9 [contents] - 2014
- [c31]Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii:
The Computational Complexity of Structure-Based Causality. AAAI 2014: 974-980 - [i3]Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii:
The Computational Complexity of Structure-Based Causality. CoRR abs/1412.3076 (2014) - 2013
- [j14]Hana Chockler, Arie Gurfinkel
Beyond vacuity: towards the strongest passing formula. Formal Methods Syst. Des. 43(3): 552-571 (2013) - [j13]Sara Bouchenak, Gregory V. Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, Alexander Shraer:
Verifying cloud services: present and future. ACM SIGOPS Oper. Syst. Rev. 47(2): 6-19 (2013) - [c30]Hana Chockler, Giovanni Denaro
PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR 2013: 461-464 - [c29]Shoham Ben-David, Hana Chockler
Attention-Based Coverage Metrics. Haifa Verification Conference 2013: 230-245 - [c28]Hana Chockler
Improving Representative Computation in ExpliSAT. Haifa Verification Conference 2013: 359-364 - [c27]Hana Chockler
Finding rare numerical stability errors in concurrent computations. ISSTA 2013: 12-22 - [c26]Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina
Using cross-entropy for satisfiability. SAC 2013: 1196-1203 - [c25]Hana Chockler:
Preface. VSSE 2013: 1 - [e2]Hana Chockler:
Proceedings of the 2013 Validation Strategies for Software Evolution Workshop, VSSE 2013, Rome, Italy, March 16, 2013. Electronic Notes in Theoretical Computer Science 294, Elsevier 2013 [contents] - 2012
- [j12]Ilan Beer, Shoham Ben-David, Hana Chockler
Explaining counterexamples using causality. Formal Methods Syst. Des. 40(1): 20-40 (2012) - [j11]Hana Chockler
Computing Mutation Coverage in Interpolation-Based Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(5): 765-778 (2012) - [c24]Hana Chockler, Sitvanit Ruah:
Verification of software changes with ExpliSAT. HotSWUp 2012: 31-35 - [c23]Hana Chockler, Alexander Ivrii, Arie Matsliah:
Computing Interpolants without Proofs. Haifa Verification Conference 2012: 72-85 - 2011
- [j10]Hana Chockler, Alan J. Hu:
Preface. Int. J. Softw. Tools Technol. Transf. 13(3): 201-205 (2011) - [c22]Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo:
Incremental formal verification of hardware. FMCAD 2011: 135-143 - 2010
- [j9]Hana Chockler, Joseph Y. Halpern, Orna Kupferman:
Erratum for "What causes a system to satisfy a specification?". ACM Trans. Comput. Log. 11(4): 29:1-29:2 (2010) - [c21]Hana Chockler
Coverage in interpolation-based model checking. DAC 2010: 182-187 - [c20]Hana Chockler:
PINCETTE - Validating changes and upgrades in networked software. FMCAD 2010: 277 - [c19]Hana Chockler
Variants of LTL Query Checking. Haifa Verification Conference 2010: 76-92
2000 – 2009
- 2009
- [j8]Hana Chockler
Before and after vacuity. Formal Methods Syst. Des. 34(1): 37-58 (2009) - [c18]Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler:
Explaining Counterexamples Using Causality. CAV 2009: 94-108 - [c17]Hana Chockler
Cross-Entropy-Based Replay of Concurrent Programs. FASE 2009: 201-215 - [e1]Hana Chockler, Alan J. Hu:
Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings. Lecture Notes in Computer Science 5394, Springer 2009, ISBN 978-3-642-01701-8 [contents] - 2008
- [j7]Hana Chockler
What causes a system to satisfy a specification?. ACM Trans. Comput. Log. 9(3): 20:1-20:26 (2008) - [c16]Hana Chockler
Beyond Vacuity: Towards the Strongest Passing Formula. FMCAD 2008: 1-8 - [c15]Hana Chockler
Efficient Automatic STE Refinement Using Responsibility. TACAS 2008: 233-248 - 2007
- [c14]Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov:
Cross-Entropy Based Testing. FMCAD 2007: 101-108 - [c13]Hana Chockler, Ofer Strichman
Easier and More Informative Vacuity Checks. MEMOCODE 2007: 189-198 - 2006
- [j6]Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage metrics for temporal logic model checking*. Formal Methods Syst. Des. 28(3): 189-212 (2006) - [j5]Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage metrics for formal verification. Int. J. Softw. Tools Technol. Transf. 8(4-5): 373-386 (2006) - [c12]Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler:
Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System. CBSE 2006: 33-49 - [c11]Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz:
Formal verification of concurrent software: two case studies. PADTAD 2006: 11-22 - 2005
- [c10]Hana Chockler, Kathi Fisler
Temporal Modalities for Concisely Capturing Timing Diagrams. CHARME 2005: 176-190 - [c9]Paul C. Attie, Hana Chockler:
Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. VMCAI 2005: 465-481 - [c8]Paul C. Attie, Hana Chockler:
Automatic Verification of Fault-Tolerant Register Emulations. INFINITY 2005: 49-60 - 2004
- [j4]Hana Chockler
A lower bound for testing juntas. Inf. Process. Lett. 90(6): 301-305 (2004) - [j3]Hana Chockler, Joseph Y. Halpern:
Responsibility and Blame: A Structural-Model Approach. J. Artif. Intell. Res. 22: 93-115 (2004) - [j2]Hana Chockler, Orna Kupferman:
w-Regular languages are testable with a constant number of queries. Theor. Comput. Sci. 329(1-3): 71-92 (2004) - 2003
- [b1]Hana Chockler:
Coverage metrics for model checking (מטריקות כיסוי לבדיקות מודל.). Hebrew University of Jerusalem, Israel, 2003 - [c7]Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage Metrics for Formal Verification. CHARME 2003: 111-125 - [c6]Hana Chockler, Joseph Y. Halpern:
Responsibility and Blame: A Structural-Model Approach. IJCAI 2003: 147-153 - [i2]Hana Chockler, Joseph Y. Halpern:
Responsibility and blame: a structural-model approach. CoRR cs.AI/0312038 (2003) - [i1]Hana Chockler, Joseph Y. Halpern, Orna Kupferman:
What Causes a System to Satisfy a Specification? CoRR cs.LO/0312036 (2003) - 2002
- [c5]Hana Chockler, Orna Kupferman:
Coverage of Implementations by Simulating Specifications. IFIP TCS 2002: 409-421 - [c4]Hana Chockler, Orna Kupferman:
omega-Regular Languages Are Testable with a Constant Number of Queries. RANDOM 2002: 26-28 - 2001
- [j1]Hana Chockler, Uri Zwick:
Which bases admit non-trivial shrinkage of formulae? Comput. Complex. 10(1): 28-40 (2001) - [c3]Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi:
A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78 - [c2]Hana Chockler, Uri Zwick:
Which formulae shrink under random restrictions? SODA 2001: 702-708 - [c1]Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage Metrics for Temporal Logic Model Checking. TACAS 2001: 528-542
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: