Hana Chockler

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 50

Top Venues

CoRR

AAAI

Formal Methods Syst. Des.

J. Artif. Intell. Res.

Publications

Hana Chockler, Joseph Y. Halpern
Explaining Image Classifiers. CoRR (2024)
Milad Kazemi, Jessica Lally, Ekaterina Tishchenko, Hana Chockler, Nicola Paoletti
Counterfactual Influence in Markov Decision Processes. CoRR (2024)
Aditi Ramaswamy, Melane Navaratnarajah, Hana Chockler
It's a Feature, Not a Bug: Measuring Creative Fluidity in Image Generators. CoRR (2024)
Sander Beckers, Hana Chockler, Joseph Y. Halpern
A Causal Analysis of Harm. Minds Mach. 34 (3) (2024)
Hana Chockler, David A. Kelly, Daniel Kroening
Multiple Different Explanations for Image Classifiers. CoRR (2023)
Sander Beckers, Hana Chockler, Joseph Y. Halpern
A Causal Analysis of Harm. EWAF (2023)
Bénédicte Legastelois, Amy Rafferty, Paul Brennan, Hana Chockler, Ajitha Rajan, Vaishak Belle
Challenges in Explaining Brain Tumor Detection. TAS (2023)
David A. Kelly, Hana Chockler, Daniel Kroening, Nathan Blake, Aditi Ramaswamy, Melane Navaratnarajah, Aaditya Shivakumar
You Only Explain Once. CoRR (2023)
Nathan Blake, Hana Chockler, David A. Kelly, Santiago Calderon Pena, Akchunya Chanchal
MRxaI: Black-Box Explainability for Image Classifiers in a Medical Setting. CoRR (2023)
Sander Beckers, Hana Chockler, Joseph Y. Halpern
Quantifying Harm. IJCAI (2023)
Mark Levin, Hana Chockler
Clustered Policy Decision Ranking. CoRR (2023)
Sander Beckers, Hana Chockler, Joseph Y. Halpern
A Quantitative Account of Harm. CoRR (2022)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
Specifiable robustness in reactive synthesis. Formal Methods Syst. Des. 60 (2) (2022)
Hana Chockler
Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification. FMCAD (2022)
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 (2022)
Hana Chockler, Joseph Y. Halpern
On Testing for Discrimination Using Causal Models. AAAI (2022)
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 (2022)
Sander Beckers, Hana Chockler, Joseph Y. Halpern
A Causal Analysis of Harm. NeurIPS (2022)
Stefanos Ioannou, Hana Chockler, Alexander Hammers, Andrew P. King
A Study of Demographic Bias in CNN-based Brain MR Segmentation. CoRR (2022)
Steven Kleinegesse, Andrew R. Lawrence, Hana Chockler
Domain Knowledge in A*-Based Causal Discovery. CoRR (2022)
Francesca E. D. Raimondi, Andrew R. Lawrence, Hana Chockler
Equality of Effort via Algorithmic Recourse. CoRR (2022)
Stefanos Ioannou, Hana Chockler, Alexander Hammers, Andrew P. King
A Study of Demographic Bias in CNN-Based Brain MR Segmentation. MLCN@MICCAI (2022)
Sander Beckers, Hana Chockler, Joseph Y. Halpern
A Causal Analysis of Harm. CoRR (2022)
Ayman Boustati, Hana Chockler, Daniel C. McNamee
Transfer learning with causal counterfactual reasoning in Decision Transformers. CoRR (2021)
Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening
Ranking Policy Decisions. NeurIPS (2021)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
Vacuity in synthesis. Formal Methods Syst. Des. 57 (3) (2021)
Hana Chockler, Daniel Kroening, Youcheng Sun
Compositional Explanations for Image Classifiers. CoRR (2021)
Hana Chockler, Daniel Kroening, Youcheng Sun
Explanations for Occluded Images. ICCV (2021)
Hana Chockler, Georg Weissenbacher
Preface of the special issue on the conference on computer-aided verification 2018. Formal Methods Syst. Des. 57 (1) (2021)
Daniel C. McNamee, Hana Chockler
Causal policy ranking. CoRR (2021)
Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
Combining experts' causal judgments. Artif. Intell. 288 (2020)
Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
Combining Experts' Causal Judgments. CoRR (2020)
Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening
Ranking Policy Decisions. CoRR (2020)
Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman
Learning the Language of Software Errors. J. Artif. Intell. Res. 67 (2020)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Dana Fisman, Heinz Riener
Safety Synthesis Sans Specification. CoRR (2020)
Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening
Explaining Image Classifiers Using Statistical Fault Localization. ECCV (28) (2020)
Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization. CoRR (2019)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
Synthesizing Reactive Systems Using Robustness and Recovery Specifications. FMCAD (2019)
Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina
Lattice-based SMT for program verification. MEMOCODE (2019)
Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
Combining Experts' Causal Judgments. AAAI (2018)
Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler
Function Summarization Modulo Theories. LPAR (2018)
Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina
Lookahead-Based SMT Solving. LPAR (2018)
Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina
Lattice-Based Refinement in Bounded Model Checking. VSTTE (2018)
Hana Chockler, Shibashis Guha, Orna Kupferman
Timed Vacuity. FM (2018)
Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) (2017)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
Synthesizing Non-Vacuous Systems. VMCAI (2017)
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
The Computational Complexity of Structure-Based Causality. J. Artif. Intell. Res. 58 (2017)
Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina
Theory Refinement for Program Verification. SAT (2017)
David Landsberg, Hana Chockler, Daniel Kroening
Probabilistic Fault Localisation. Haifa Verification Conference (2016)
Hana Chockler
Causality and Responsibility for Formal Verification and Beyond. CREST@ETAPS (2016)
David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. FASE (2015)
Hana Chockler, Norman E. Fenton, Jeroen Keppens, David A. Lagnado
Causal analysis for attributing responsibility in legal cases. ICAIL (2015)
Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig
Learning the Language of Error. ATVA (2015)
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
The Computational Complexity of Structure-Based Causality. AAAI (2014)
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
The Computational Complexity of Structure-Based Causality. CoRR (2014)
Hana Chockler
Preface. Electron. Notes Theor. Comput. Sci. 294 (2013)
Hana Chockler, Arie Gurfinkel, Ofer Strichman
Beyond vacuity: towards the strongest passing formula. Formal Methods Syst. Des. 43 (3) (2013)
Hana Chockler, Karine Even, Eran Yahav
Finding rare numerical stability errors in concurrent computations. ISSTA (2013)
Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig
PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR (2013)
Hana Chockler, Dmitry Pidan, Sitvanit Ruah
Improving Representative Computation in ExpliSAT. Haifa Verification Conference (2013)
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) (2013)
Shoham Ben-David, Hana Chockler, Orna Kupferman
Attention-Based Coverage Metrics. Haifa Verification Conference (2013)
Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina
Using cross-entropy for satisfiability. SAC (2013)
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler
Explaining counterexamples using causality. Formal Methods Syst. Des. 40 (1) (2012)
Hana Chockler, Daniel Kroening, Mitra Purandare
Computing Mutation Coverage in Interpolation-Based Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (5) (2012)
Hana Chockler, Sitvanit Ruah
Verification of software changes with ExpliSAT. HotSWUp (2012)
Hana Chockler, Alexander Ivrii, Arie Matsliah
Computing Interpolants without Proofs. Haifa Verification Conference (2012)
Hana Chockler, Alan J. Hu
Preface. Int. J. Softw. Tools Technol. Transf. 13 (3) (2011)
Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo
Incremental formal verification of hardware. FMCAD (2011)
Hana Chockler, Joseph Y. Halpern, Orna Kupferman
Erratum for "What causes a system to satisfy a specification?". ACM Trans. Comput. Log. 11 (4) (2010)
Hana Chockler, Daniel Kroening, Mitra Purandare
Coverage in interpolation-based model checking. DAC (2010)
Hana Chockler
PINCETTE - Validating changes and upgrades in networked software. FMCAD (2010)
Hana Chockler, Arie Gurfinkel, Ofer Strichman
Variants of LTL Query Checking. Haifa Verification Conference (2010)
Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov
Cross-Entropy-Based Replay of Concurrent Programs. FASE (2009)
Hana Chockler, Ofer Strichman
Before and after vacuity. Formal Methods Syst. Des. 34 (1) (2009)
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler
Explaining Counterexamples Using Causality. CAV (2009)
Hana Chockler, Joseph Y. Halpern, Orna Kupferman
What causes a system to satisfy a specification?. ACM Trans. Comput. Log. 9 (3) (2008)
Hana Chockler, Arie Gurfinkel, Ofer Strichman
Beyond Vacuity: Towards the Strongest Passing Formula. FMCAD (2008)
Hana Chockler, Orna Grumberg, Avi Yadgar
Efficient Automatic STE Refinement Using Responsibility. TACAS (2008)
Hana Chockler, Ofer Strichman
Easier and More Informative Vacuity Checks. MEMOCODE (2007)
Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov
Cross-Entropy Based Testing. FMCAD (2007)
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
. Formal Methods Syst. Des. 28 (3) (2006)
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
Coverage metrics for formal verification. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz
Formal verification of concurrent software: two case studies. PADTAD (2006)
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)
Paul C. Attie, Hana Chockler
Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. VMCAI (2005)
Paul C. Attie, Hana Chockler
Automatic Verification of Fault-Tolerant Register Emulations. INFINITY (2005)
Hana Chockler, Kathi Fisler
Temporal Modalities for Concisely Capturing Timing Diagrams. CHARME (2005)
Hana Chockler, Dan Gutfreund
A lower bound for testing juntas. Inf. Process. Lett. 90 (6) (2004)
Hana Chockler, Joseph Y. Halpern
Responsibility and Blame: A Structural-Model Approach. J. Artif. Intell. Res. 22 (2004)
Hana Chockler, Orna Kupferman
w-Regular languages are testable with a constant number of queries. Theor. Comput. Sci. 329 (1-3) (2004)
Hana Chockler, Joseph Y. Halpern
Responsibility and blame: a structural-model approach CoRR (2003)
Hana Chockler, Joseph Y. Halpern
Responsibility and Blame: A Structural-Model Approach. IJCAI (2003)
Hana Chockler, Joseph Y. Halpern, Orna Kupferman
What Causes a System to Satisfy a Specification? CoRR (2003)
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
Coverage Metrics for Formal Verification. CHARME (2003)
Hana Chockler, Orna Kupferman
omega-Regular Languages Are Testable with a Constant Number of Queries. RANDOM (2002)
Hana Chockler, Orna Kupferman
Coverage of Implementations by Simulating Specifications. IFIP TCS (2002)
Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi
A Practical Approach to Coverage in Model Checking. CAV (2001)
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
Coverage Metrics for Temporal Logic Model Checking. TACAS (2001)
Hana Chockler, Uri Zwick
Which bases admit non-trivial shrinkage of formulae? Comput. Complex. 10 (1) (2001)

Hana Chockler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hana Chockler