Hana Chockler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
40
Venues
23
Active years
2001–2026
Best venue rank
A*
Where they publish
- BFMCAD6 papers
- BFASE3 papers
- A*AAAI3 papers
- ATACAS3 papers
- A*IJCAI2 papers
- CMEMOCODE2 papers
- BLPAR2 papers
- BVMCAI2 papers
- AISSTA2 papers
- A*CAV2 papers
- AECAI1 paper
- AUAI1 paper
- A*KR1 paper
- AMICCAI1 paper
- A*ICCV1 paper
- A*ECCV1 paper
- BFM1 paper
- ASAT1 paper
- BATVA1 paper
- CICAIL1 paper
- MulticonferenceSAC1 paper
- A*DAC1 paper
- A*SODA1 paper
Papers
40 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FASE | Causal Liability in Autonomous Systems. | Kaveh Aryan, Hana Chockler, Mohammad Reza Mousavi |
| 2025 | ECAI | Multiple Different Black Box Explanations for Image Classifiers. | Hana Chockler, David A. Kelly, Daniel Kroening |
| 2025 | UAI | Explaining Negative Classifications of AI Models in Tumor Diagnosis. | David A. Kelly, Hana Chockler, Nathan Blake |
| 2024 | KR | Explaining Image Classifiers. | Hana Chockler, Joseph Y. Halpern |
| 2023 | IJCAI | Quantifying Harm. | Sander Beckers, Hana Chockler, Joseph Y. Halpern |
| 2022 | AAAI | On Testing for Discrimination Using Causal Models. | Hana Chockler, Joseph Y. Halpern |
| 2022 | FMCAD | Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification. | Hana Chockler |
| 2022 | MICCAI | A Study of Demographic Bias in CNN-Based Brain MR Segmentation. | Stefanos Ioannou, Hana Chockler, Alexander Hammers, Andrew P. King |
| 2021 | ICCV | Explanations for Occluded Images. | Hana Chockler, Daniel Kroening, Youcheng Sun |
| 2020 | ECCV | Explaining Image Classifiers Using Statistical Fault Localization. | Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening |
| 2019 | FMCAD | Synthesizing Reactive Systems Using Robustness and Recovery Specifications. | Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman |
| 2019 | MEMOCODE | Lattice-based SMT for program verification. | Karine Even-Mendoza, Antti E. J. Hyvrinen, Hana Chockler, Natasha Sharygina |
| 2018 | AAAI | Combining Experts' Causal Judgments. | Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern |
| 2018 | FM | Timed Vacuity. | Hana Chockler, Shibashis Guha, Orna Kupferman |
| 2018 | LPAR | Function Summarization Modulo Theories. | Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvrinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler |
| 2018 | LPAR | Lookahead-Based SMT Solving. | Antti E. J. Hyvrinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina |
| 2017 | SAT | Theory Refinement for Program Verification. | Antti E. J. Hyvrinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina |
| 2017 | TACAS | HiFrog: SMT-based Function Summarization for Software Verification. | Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2017 | VMCAI | Synthesizing Non-Vacuous Systems. | Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman |
| 2015 | ATVA | Learning the Language of Error. | Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig |
| 2015 | FASE | Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. | David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis |
| 2015 | ICAIL | Causal analysis for attributing responsibility in legal cases. | Hana Chockler, Norman E. Fenton, Jeroen Keppens, David A. Lagnado |
| 2014 | AAAI | The Computational Complexity of Structure-Based Causality. | Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii |
| 2013 | ISSTA | Finding rare numerical stability errors in concurrent computations. | Hana Chockler, Karine Even, Eran Yahav |
| 2013 | SAC | Using cross-entropy for satisfiability. | Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina |
| 2011 | FMCAD | Incremental formal verification of hardware. | Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo |
| 2010 | DAC | Coverage in interpolation-based model checking. | Hana Chockler, Daniel Kroening, Mitra Purandare |
| 2010 | FMCAD | PINCETTE - Validating changes and upgrades in networked software. | Hana Chockler |
| 2009 | CAV | Explaining Counterexamples Using Causality. | Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler |
| 2009 | FASE | Cross-Entropy-Based Replay of Concurrent Programs. | Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov |
| 2008 | FMCAD | Beyond Vacuity: Towards the Strongest Passing Formula. | Hana Chockler, Arie Gurfinkel, Ofer Strichman |
| 2008 | TACAS | Efficient Automatic STE Refinement Using Responsibility. | Hana Chockler, Orna Grumberg, Avi Yadgar |
| 2007 | FMCAD | Cross-Entropy Based Testing. | Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov |
| 2007 | MEMOCODE | Easier and More Informative Vacuity Checks. | Hana Chockler, Ofer Strichman |
| 2006 | ISSTA | Formal verification of concurrent software: two case studies. | Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz |
| 2005 | VMCAI | Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. | Paul C. Attie, Hana Chockler |
| 2003 | IJCAI | Responsibility and Blame: A Structural-Model Approach. | Hana Chockler, Joseph Y. Halpern |
| 2001 | CAV | A Practical Approach to Coverage in Model Checking. | Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi |
| 2001 | SODA | Which formulae shrink under random restrictions? | Hana Chockler, Uri Zwick |
| 2001 | TACAS | Coverage Metrics for Temporal Logic Model Checking. | Hana Chockler, Orna Kupferman, Moshe Y. Vardi |