Hana Chockler

According to our database, Hana Chockler authored at least 90 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Counterfactual Influence in Markov Decision Processes.

Milad Kazemi, Jessica Lally, Ekaterina Tishchenko, Hana Chockler, Nicola Paoletti

CoRR, 2024

Explaining Image Classifiers.

Hana Chockler, Joseph Y. Halpern

CoRR, 2024

2023

MRxaI: Black-Box Explainability for Image Classifiers in a Medical Setting.

Nathan Blake, Hana Chockler, David A. Kelly, Santiago Calderon Pena, Akchunya Chanchal

CoRR, 2023

You Only Explain Once.

David A. Kelly, Hana Chockler, Daniel Kroening, Nathan Blake, Aditi Ramaswamy, Melane Navaratnarajah, Aaditya Shivakumar

CoRR, 2023

Clustered Policy Decision Ranking.

Mark Levin, Hana Chockler

CoRR, 2023

Multiple Different Explanations for Image Classifiers.

Hana Chockler, David A. Kelly, Daniel Kroening

CoRR, 2023

Challenges in Explaining Brain Tumor Detection.

Bénédicte Legastelois, Amy Rafferty, Paul Brennan, Hana Chockler, Ajitha Rajan, Vaishak Belle

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

Quantifying Harm.

Sander Beckers, Hana Chockler, Joseph Y. Halpern

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

A Causal Analysis of Harm.

Sander Beckers, Hana Chockler, Joseph Y. Halpern

Proceedings of the 2nd European Workshop on Algorithmic Fairness, 2023

2022

Specifiable robustness in reactive synthesis.

Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman

Formal Methods Syst. Des., April, 2022

Causal Analysis of the TOPCAT Trial: Spironolactone for Preserved Cardiac Function Heart Failure.

Francesca E. D. Raimondi, Tadhg O'Keeffe, Hana Chockler, Andrew R. Lawrence, Tamara Stemberga, Andre Franca, Maksim Sipos, Javed Butler, Shlomo Ben-Haim

CoRR, 2022

Equality of Effort via Algorithmic Recourse.

Francesca E. D. Raimondi, Andrew R. Lawrence, Hana Chockler

CoRR, 2022

A Quantitative Account of Harm.

Sander Beckers, Hana Chockler, Joseph Y. Halpern

CoRR, 2022

Domain Knowledge in A*-Based Causal Discovery.

Steven Kleinegesse, Andrew R. Lawrence, Hana Chockler

CoRR, 2022

Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities.

Xin Du, Bénédicte Legastelois, Bhargavi Ganesh, Ajitha Rajan, Hana Chockler, Vaishak Belle, Stuart Anderson, Subramanian Ramamoorthy

CoRR, 2022

A Study of Demographic Bias in CNN-Based Brain MR Segmentation.

Stefanos Ioannou, Hana Chockler, Alexander Hammers, Andrew P. King

Proceedings of the Machine Learning in Clinical Neuroimaging - 5th International Workshop, 2022

Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification.

Hana Chockler

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

On Testing for Discrimination Using Causal Models.

Hana Chockler, Joseph Y. Halpern

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Preface of the special issue on the conference on computer-aided verification 2018.

Hana Chockler, Georg Weissenbacher

Formal Methods Syst. Des., 2021

Vacuity in synthesis.

Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman

Formal Methods Syst. Des., 2021

Causal policy ranking.

Daniel C. McNamee, Hana Chockler

CoRR, 2021

Transfer learning with causal counterfactual reasoning in Decision Transformers.

Ayman Boustati, Hana Chockler, Daniel C. McNamee

CoRR, 2021

Compositional Explanations for Image Classifiers.

Hana Chockler, Daniel Kroening, Youcheng Sun

CoRR, 2021

Ranking Policy Decisions.

Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Explanations for Occluded Images.

Hana Chockler, Daniel Kroening, Youcheng Sun

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

2020

Learning the Language of Software Errors.

Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman

J. Artif. Intell. Res., 2020

Safety Synthesis Sans Specification.

Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Dana Fisman, Heinz Riener

CoRR, 2020

Combining experts' causal judgments.

Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern

Artif. Intell., 2020

Explaining Image Classifiers Using Statistical Fault Localization.

Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening

Proceedings of the Computer Vision - ECCV 2020, 2020

2019

Explaining Deep Neural Networks Using Spectrum-Based Fault Localization.

Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening

CoRR, 2019

Lattice-based SMT for program verification.

Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Synthesizing Reactive Systems Using Robustness and Recovery Specifications.

Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

Lattice-Based Refinement in Bounded Model Checking.

Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Lookahead-Based SMT Solving.

Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Function Summarization Modulo Theories.

Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Timed Vacuity.

Hana Chockler, Shibashis Guha, Orna Kupferman

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

The Computational Complexity of Structure-Based Causality.

Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii

J. Artif. Intell. Res., 2017

Synthesizing Non-Vacuous Systems.

Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

HiFrog: SMT-based Function Summarization for Software Verification.

Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Theory Refinement for Program Verification.

Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

2016

Causality and Responsibility for Formal Verification and Beyond.

Hana Chockler

Proceedings of the Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2016

Probabilistic Fault Localisation.

David Landsberg, Hana Chockler, Daniel Kroening

Proceedings of the Hardware and Software: Verification and Testing, 2016

2015

Causal analysis for attributing responsibility in legal cases.

Hana Chockler, Norman E. Fenton, Jeroen Keppens, David A. Lagnado

Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme.

David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis

Proceedings of the Fundamental Approaches to Software Engineering, 2015

Learning the Language of Error.

Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig

Proceedings of the Automated Technology for Verification and Analysis, 2015

Lightweight Static Analysis Check of Upgrades in C/C++ Software.

Hana Chockler, Sitvanit Ruah

Proceedings of the Validation of Evolving Software, 2015

Complementarities Among the Technologies Presented in the Book.

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Proceedings of the Validation of Evolving Software, 2015

Challenges of Existing Technology.

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Proceedings of the Validation of Evolving Software, 2015

Introduction.

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Proceedings of the Validation of Evolving Software, 2015

2013

Verifying cloud services: present and future.

Sara Bouchenak, Gregory V. Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, Alexander Shraer

ACM SIGOPS Oper. Syst. Rev., 2013

Beyond vacuity: towards the strongest passing formula.

Hana Chockler, Arie Gurfinkel, Ofer Strichman

Formal Methods Syst. Des., 2013

Preface.

Hana Chockler

Proceedings of the 2013 Validation Strategies for Software Evolution Workshop, 2013

Using cross-entropy for satisfiability.

Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Finding rare numerical stability errors in concurrent computations.

Hana Chockler, Karine Even, Eran Yahav

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Improving Representative Computation in ExpliSAT.

Hana Chockler, Dmitry Pidan, Sitvanit Ruah

Proceedings of the Hardware and Software: Verification and Testing, 2013

Attention-Based Coverage Metrics.

Shoham Ben-David, Hana Chockler, Orna Kupferman

Proceedings of the Hardware and Software: Verification and Testing, 2013

PINCETTE - Validating Changes and Upgrades in Networked Software.

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

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012

Computing Mutation Coverage in Interpolation-Based Model Checking.

Hana Chockler, Daniel Kroening, Mitra Purandare

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

Explaining counterexamples using causality.

Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler

Formal Methods Syst. Des., 2012

Computing Interpolants without Proofs.

Hana Chockler, Alexander Ivrii, Arie Matsliah

Proceedings of the Hardware and Software: Verification and Testing, 2012

Verification of software changes with ExpliSAT.

Hana Chockler, Sitvanit Ruah

Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

2011

Preface.

Hana Chockler, Alan J. Hu

Int. J. Softw. Tools Technol. Transf., 2011

Incremental formal verification of hardware.

Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010

Erratum for "What causes a system to satisfy a specification?".

Hana Chockler, Joseph Y. Halpern, Orna Kupferman

ACM Trans. Comput. Log., 2010

Variants of LTL Query Checking.

Hana Chockler, Arie Gurfinkel, Ofer Strichman

Proceedings of the Hardware and Software: Verification and Testing, 2010

PINCETTE - Validating changes and upgrades in networked software.

Hana Chockler

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Coverage in interpolation-based model checking.

Hana Chockler, Daniel Kroening, Mitra Purandare

Proceedings of the 47th Design Automation Conference, 2010

2009

Before and after vacuity.

Hana Chockler, Ofer Strichman

Formal Methods Syst. Des., 2009

Cross-Entropy-Based Replay of Concurrent Programs.

Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

What causes a system to satisfy a specification?.

Hana Chockler, Joseph Y. Halpern, Orna Kupferman

ACM Trans. Comput. Log., 2008

Efficient Automatic STE Refinement Using Responsibility.

Hana Chockler, Orna Grumberg, Avi Yadgar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007

Easier and More Informative Vacuity Checks.

Hana Chockler, Ofer Strichman

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Cross-Entropy Based Testing.

Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

Coverage metrics for formal verification.

Hana Chockler, Orna Kupferman, Moshe Y. Vardi

Int. J. Softw. Tools Technol. Transf., 2006

Coverage metrics for temporal logic model checking^*.

Hana Chockler, Orna Kupferman, Moshe Y. Vardi

Formal Methods Syst. Des., 2006

Formal verification of concurrent software: two case studies.

Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System.

Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler

Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005

Automatic Verification of Fault-Tolerant Register Emulations.

Paul C. Attie, Hana Chockler

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, 2005

Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs.

Paul C. Attie, Hana Chockler

Proceedings of the Verification, 2005

Temporal Modalities for Concisely Capturing Timing Diagrams.

Hana Chockler, Kathi Fisler

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

w-Regular languages are testable with a constant number of queries.

Hana Chockler, Orna Kupferman

Theor. Comput. Sci., 2004

Responsibility and Blame: A Structural-Model Approach.

Hana Chockler, Joseph Y. Halpern

J. Artif. Intell. Res., 2004

A lower bound for testing juntas.

Hana Chockler, Dan Gutfreund

Inf. Process. Lett., 2004

2003

Coverage metrics for model checking (מטריקות כיסוי לבדיקות מודל.).

Hana Chockler

PhD thesis, 2003

2002

omega-Regular Languages Are Testable with a Constant Number of Queries.

Hana Chockler, Orna Kupferman

Proceedings of the Randomization and Approximation Techniques, 6th International Workshop, 2002

Coverage of Implementations by Simulating Specifications.

Hana Chockler, Orna Kupferman

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

2001

Which bases admit non-trivial shrinkage of formulae?

Hana Chockler, Uri Zwick

Comput. Complex., 2001

Coverage Metrics for Temporal Logic Model Checking.

Hana Chockler, Orna Kupferman, Moshe Y. Vardi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Which formulae shrink under random restrictions?

Hana Chockler, Uri Zwick

Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, 2001

A Practical Approach to Coverage in Model Checking.

Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi

Proceedings of the Computer Aided Verification, 13th International Conference, 2001