A Practical Approach to Coverage in Model Checking. - Hana Chockler; Orna Kupferman; Robert P. Kurshan; Moshe Y. Vardi (CAV, 2001)

Which formulae shrink under random restrictions? - Hana Chockler; Uri Zwick (SODA, 2001)

Coverage Metrics for Temporal Logic Model Checking. - Hana Chockler; Orna Kupferman; Moshe Y. Vardi (TACAS, 2001)

Which bases admit non-trivial shrinkage of formulae? - Hana Chockler; Uri Zwick (Comput. Complex., 2001)

Coverage of Implementations by Simulating Specifications. - Hana Chockler; Orna Kupferman (IFIP TCS, 2002)

omega-Regular Languages Are Testable with a Constant Number of Queries. - Hana Chockler; Orna Kupferman (RANDOM, 2002)

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

A lower bound for testing juntas. - Hana Chockler; Dan Gutfreund (Inf. Process. Lett., 2004)

Responsibility and Blame: A Structural-Model Approach. - Hana Chockler; Joseph Y. Halpern (J. Artif. Intell. Res., 2004)

w-Regular languages are testable with a constant number of queries. - Hana Chockler; Orna Kupferman (Theor. Comput. Sci., 2004)

Temporal Modalities for Concisely Capturing Timing Diagrams. - Hana Chockler; Kathi Fisler (CHARME, 2005)

Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. - Paul C. Attie; Hana Chockler (VMCAI, 2005)

Automatic Verification of Fault-Tolerant Register Emulations. - Paul C. Attie; Hana Chockler (INFINITY, 2005)

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 (CBSE, 2006)

Formal verification of concurrent software: two case studies. - Hana Chockler; Eitan Farchi; Ziv Glazberg; Benny Godlin; Yarden Nir-Buchbinder; Ishai Rabinovitz (PADTAD, 2006)

Coverage metrics for temporal logic model checking*. - Hana Chockler; Orna Kupferman; Moshe Y. Vardi (Formal Methods Syst. Des., 2006)

Coverage metrics for formal verification. - Hana Chockler; Orna Kupferman; Moshe Y. Vardi (Int. J. Softw. Tools Technol. Transf., 2006)

Cross-Entropy Based Testing. - Hana Chockler; Eitan Farchi; Benny Godlin; Sergey Novikov (FMCAD, 2007)

Easier and More Informative Vacuity Checks. - Hana Chockler; Ofer Strichman (MEMOCODE, 2007)

Efficient Automatic STE Refinement Using Responsibility. - Hana Chockler; Orna Grumberg; Avi Yadgar (TACAS, 2008)

What causes a system to satisfy a specification?. - Hana Chockler; Joseph Y. Halpern; Orna Kupferman (ACM Trans. Comput. Log., 2008)

Cross-Entropy-Based Replay of Concurrent Programs. - Hana Chockler; Eitan Farchi; Benny Godlin; Sergey Novikov (FASE, 2009)

Before and after vacuity. - Hana Chockler; Ofer Strichman (Formal Methods Syst. Des., 2009)

Coverage in interpolation-based model checking. - Hana Chockler; Daniel Kroening; Mitra Purandare (DAC, 2010)

PINCETTE - Validating changes and upgrades in networked software. - Hana Chockler (FMCAD, 2010)

Variants of LTL Query Checking. - Hana Chockler; Arie Gurfinkel; Ofer Strichman (Haifa Verification Conference, 2010)

Erratum for "What causes a system to satisfy a specification?". - Hana Chockler; Joseph Y. Halpern; Orna Kupferman (ACM Trans. Comput. Log., 2010)

Incremental formal verification of hardware. - Hana Chockler; Alexander Ivrii; Arie Matsliah; Shiri Moran; Ziv Nevo (FMCAD, 2011)

Preface. - Hana Chockler; Alan J. Hu (Int. J. Softw. Tools Technol. Transf., 2011)

Verification of software changes with ExpliSAT. - Hana Chockler; Sitvanit Ruah (HotSWUp, 2012)

Computing Interpolants without Proofs. - Hana Chockler; Alexander Ivrii; Arie Matsliah (Haifa Verification Conference, 2012)

Explaining counterexamples using causality. - Ilan Beer; Shoham Ben-David; Hana Chockler; Avigail Orni; Richard J. Trefler (Formal Methods Syst. Des., 2012)

Computing Mutation Coverage in Interpolation-Based Model Checking. - Hana Chockler; Daniel Kroening; Mitra Purandare (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

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 (CSMR, 2013)

Attention-Based Coverage Metrics. - Shoham Ben-David; Hana Chockler; Orna Kupferman (Haifa Verification Conference, 2013)

Improving Representative Computation in ExpliSAT. - Hana Chockler; Dmitry Pidan; Sitvanit Ruah (Haifa Verification Conference, 2013)

Finding rare numerical stability errors in concurrent computations. - Hana Chockler; Karine Even; Eran Yahav (ISSTA, 2013)

Using cross-entropy for satisfiability. - Hana Chockler; Alexander Ivrii; Arie Matsliah; Simone Fulvio Rollini; Natasha Sharygina (SAC, 2013)

Preface. - Hana Chockler (VSSE, 2013)

Beyond vacuity: towards the strongest passing formula. - Hana Chockler; Arie Gurfinkel; Ofer Strichman (Formal Methods Syst. Des., 2013)

Verifying cloud services: present and future. - Sara Bouchenak; Gregory V. Chockler; Hana Chockler; Gabriela Gheorghe; Nuno Santos 001; Alexander Shraer (ACM SIGOPS Oper. Syst. Rev., 2013)

Introduction. - Hana Chockler; Daniel Kroening; Leonardo Mariani; Natasha Sharygina (Validation of Evolving Software, 2015)

Challenges of Existing Technology. - Hana Chockler; Daniel Kroening; Leonardo Mariani; Natasha Sharygina (Validation of Evolving Software, 2015)

Complementarities Among the Technologies Presented in the Book. - Hana Chockler; Daniel Kroening; Leonardo Mariani; Natasha Sharygina (Validation of Evolving Software, 2015)

Lightweight Static Analysis Check of Upgrades in C/C++ Software. - Hana Chockler; Sitvanit Ruah (Validation of Evolving Software, 2015)

Learning the Language of Error. - Martin Chapman; Hana Chockler; Pascal Kesseli; Daniel Kroening; Ofer Strichman; Michael Tautschnig (ATVA, 2015)

Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. - David Landsberg; Hana Chockler; Daniel Kroening; Matt Lewis (FASE, 2015)

Causal analysis for attributing responsibility in legal cases. - Hana Chockler; Norman E. Fenton; Jeroen Keppens; David A. Lagnado (ICAIL, 2015)

Probabilistic Fault Localisation. - David Landsberg; Hana Chockler; Daniel Kroening (Haifa Verification Conference, 2016)

Causality and Responsibility for Formal Verification and Beyond. - Hana Chockler (CREST@ETAPS, 2016)

Theory Refinement for Program Verification. - Antti E. J. Hyvärinen; Sepideh Asadi; Karine Even-Mendoza; Grigory Fedyukovich; Hana Chockler; Natasha Sharygina (SAT, 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 (TACAS (2), 2017)

Synthesizing Non-Vacuous Systems. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Ofer Strichman (VMCAI, 2017)

The Computational Complexity of Structure-Based Causality. - Gadi Aleksandrowicz; Hana Chockler; Joseph Y. Halpern; Alexander Ivrii (J. Artif. Intell. Res., 2017)

Timed Vacuity. - Hana Chockler; Shibashis Guha; Orna Kupferman (FM, 2018)

Function Summarization Modulo Theories. - Sepideh Asadi; Martin Blicha; Grigory Fedyukovich; Antti E. J. Hyvärinen; Karine Even-Mendoza; Natasha Sharygina; Hana Chockler (LPAR, 2018)

Lookahead-Based SMT Solving. - Antti E. J. Hyvärinen; Matteo Marescotti; Parvin Sadigova; Hana Chockler; Natasha Sharygina (LPAR, 2018)

Lattice-Based Refinement in Bounded Model Checking. - Karine Even-Mendoza; Sepideh Asadi; Antti E. J. Hyvärinen; Hana Chockler; Natasha Sharygina (VSTTE, 2018)

Synthesizing Reactive Systems Using Robustness and Recovery Specifications. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Ofer Strichman (FMCAD, 2019)

Lattice-based SMT for program verification. - Karine Even-Mendoza; Antti E. J. Hyvärinen; Hana Chockler; Natasha Sharygina (MEMOCODE, 2019)

Explaining Deep Neural Networks Using Spectrum-Based Fault Localization. - Youcheng Sun; Hana Chockler; Xiaowei Huang 001; Daniel Kroening (CoRR, 2019)

Explaining Image Classifiers Using Statistical Fault Localization. - Youcheng Sun; Hana Chockler; Xiaowei Huang 001; Daniel Kroening (ECCV (28), 2020)

Combining experts' causal judgments. - Dalal Alrajeh; Hana Chockler; Joseph Y. Halpern (Artif. Intell., 2020)

Safety Synthesis Sans Specification. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Dana Fisman; Heinz Riener (CoRR, 2020)

Learning the Language of Software Errors. - Hana Chockler; Pascal Kesseli; Daniel Kroening; Ofer Strichman (J. Artif. Intell. Res., 2020)

Explanations for Occluded Images. - Hana Chockler; Daniel Kroening; Youcheng Sun (ICCV, 2021)

Ranking Policy Decisions. - Hadrien Pouget; Hana Chockler; Youcheng Sun; Daniel Kroening (NeurIPS, 2021)

Compositional Explanations for Image Classifiers. - Hana Chockler; Daniel Kroening; Youcheng Sun (CoRR, 2021)

Transfer learning with causal counterfactual reasoning in Decision Transformers. - Ayman Boustati; Hana Chockler; Daniel C. McNamee (CoRR, 2021)

Causal policy ranking. - Daniel C. McNamee; Hana Chockler (CoRR, 2021)

Vacuity in synthesis. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Ofer Strichman (Formal Methods Syst. Des., 2021)

Preface of the special issue on the conference on computer-aided verification 2018. - Hana Chockler; Georg Weissenbacher (Formal Methods Syst. Des., 2021)

On Testing for Discrimination Using Causal Models. - Hana Chockler; Joseph Y. Halpern (AAAI, 2022)

Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification. - Hana Chockler (FMCAD, 2022)

A Study of Demographic Bias in CNN-Based Brain MR Segmentation. - Stefanos Ioannou; Hana Chockler; Alexander Hammers; Andrew P. King (MLCN@MICCAI, 2022)

Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities. - Xin Du 006; Bénédicte Legastelois; Bhargavi Ganesh; Ajitha Rajan; Hana Chockler; Vaishak Belle; Stuart Anderson; Subramanian Ramamoorthy (CoRR, 2022)

Domain Knowledge in A*-Based Causal Discovery. - Steven Kleinegesse; Andrew R. Lawrence; Hana Chockler (CoRR, 2022)

A Quantitative Account of Harm. - Sander Beckers; Hana Chockler; Joseph Y. Halpern (CoRR, 2022)

Equality of Effort via Algorithmic Recourse. - Francesca E. D. Raimondi; Andrew R. Lawrence; Hana Chockler (CoRR, 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)

Specifiable robustness in reactive synthesis. - Roderick Bloem; Hana Chockler; Masoud Ebrahimi 002; Ofer Strichman (Formal Methods Syst. Des., 2022)

Quantifying Harm. - Sander Beckers; Hana Chockler; Joseph Y. Halpern (IJCAI, 2023)

Challenges in Explaining Brain Tumor Detection. - Bénédicte Legastelois; Amy Rafferty; Paul Brennan; Hana Chockler; Ajitha Rajan; Vaishak Belle (TAS, 2023)

Multiple Different Explanations for Image Classifiers. - Hana Chockler; David A. Kelly; Daniel Kroening (CoRR, 2023)

Clustered Policy Decision Ranking. - Mark Levin; Hana Chockler (CoRR, 2023)

You Only Explain Once. - David A. Kelly; Hana Chockler; Daniel Kroening; Nathan Blake; Aditi Ramaswamy; Melane Navaratnarajah; Aaditya Shivakumar (CoRR, 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)

Explaining Image Classifiers. - Hana Chockler; Joseph Y. Halpern (KR, 2024)

Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning. - Stefan Pranger; Hana Chockler; Martin Tappler; Bettina Könighofer (NeurIPS, 2024)

It's a Feature, Not a Bug: Measuring Creative Fluidity in Image Generators. - Aditi Ramaswamy; Melane Navaratnarajah; Hana Chockler (CoRR, 2024)

Real-Time Incremental Explanations for Object Detectors. - Santiago Calderon Pena; Hana Chockler; David A. Kelly (CoRR, 2024)

Causal Explanations for Image Classifiers. - Hana Chockler; David A. Kelly; Daniel Kroening; Youcheng Sun (CoRR, 2024)

Trustworthiness and Responsibility in AI - Causality, Learning, and Verification (Dagstuhl Seminar 24121). - Vaishak Belle; Hana Chockler; Shannon Vallor; Kush R. Varshney; Joost Vennekens; Sander Beckers (Dagstuhl Reports, 2024)

A Causal Analysis of Harm. - Sander Beckers; Hana Chockler; Joseph Y. Halpern (Minds Mach., 2024)

Counterfactual Influence in Markov Decision Processes. - Milad Kazemi; Jessica Lally; Ekaterina Tishchenko; Hana Chockler; Nicola Paoletti (CLeaR, 2025)

Explaining Negative Classifications of AI Models in Tumor Diagnosis. - David A. Kelly; Hana Chockler; Nathan Blake (UAI, 2025)

3D ReX: Causal Explanations in 3D Neuroimaging Classification. - Melane Navaratnarajah; Sophie A. Martin; David A. Kelly; Nathan Blake; Hana Chockler (CoRR, 2025)

SpecReX: Explainable AI for Raman Spectroscopy. - Nathan Blake; David A. Kelly; Akchunya Chanchal; Sarah Kapllani-Mucaj; Geraint Thomas; Hana Chockler (CoRR, 2025)

Defining and Quantifying Creative Behavior in Popular Image Generators. - Aditi Ramaswamy; Hana Chockler; Melane Navaratnarajah (CoRR, 2025)

Causality for Cyber-Physical Systems. - Hugo Araújo; Hana Chockler; Mohammad Reza Mousavi 001; Gustavo Carvalho; Augusto Sampaio 001 (CoRR, 2025)

Causal Identification of Sufficient, Contrastive and Complete Feature Sets in Image Classification. - David A. Kelly; Hana Chockler (CoRR, 2025)