default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHana Chockler
Person information
- affiliation: King's College London, UK
- affiliation (former): IBM Research
SPARQL queries 
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, Joseph Y. Halpern:
A Causal Analysis of Harm. Minds Mach. 34(3): 34 (2024)- [i24]Hana Chockler, Joseph Y. Halpern:
Explaining Image Classifiers. CoRR abs/2401.13752 (2024) - [i23]Milad Kazemi, Jessica Lally, Ekaterina Tishchenko, Hana Chockler, Nicola Paoletti:
Counterfactual Influence in Markov Decision Processes. CoRR abs/2402.08514 (2024) - [i22]Aditi Ramaswamy, Melane Navaratnarajah, Hana Chockler:
It's a Feature, Not a Bug: Measuring Creative Fluidity in Image Generators. CoRR abs/2406.18570 (2024) - 2023
- [c56]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. EWAF 2023 - [c55]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
Quantifying Harm. IJCAI 2023: 363-371 - [c54]Bénédicte Legastelois, Amy Rafferty, Paul Brennan, Hana Chockler, Ajitha Rajan, Vaishak Belle:
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, Masoud Ebrahimi, Ofer Strichman:
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, Alexander Hammers, Andrew P. King:
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, Hana Chockler, Joseph Y. Halpern:
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, Georg Weissenbacher:
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, Masoud Ebrahimi, Ofer Strichman:
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, Joseph Y. Halpern:
Combining experts' causal judgments. Artif. Intell. 288: 103355 (2020) - [j16]Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman:
Learning the Language of Software Errors. J. Artif. Intell. Res. 67: 881-903 (2020) - [c47]Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening:
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, Hana Chockler, Masoud Ebrahimi, Ofer Strichman:
Synthesizing Reactive Systems Using Robustness and Recovery Specifications. FMCAD 2019: 147-151 - [c45]Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina:
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, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler:
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, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina:
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, Joseph Y. Halpern, Alexander Ivrii:
The Computational Complexity of Structure-Based Causality. J. Artif. Intell. Res. 58: 431-451 (2017) - [c39]Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina:
Theory Refinement for Program Verification. SAT 2017: 347-363 - [c38]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: 207-213 - [c37]Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman:
Synthesizing Non-Vacuous Systems. VMCAI 2017: 55-72 - 2016
- [c36]David Landsberg, Hana Chockler, Daniel Kroening:
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, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig:
Learning the Language of Error. ATVA 2015: 114-130 - [c33]David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis:
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. FASE 2015: 115-129 - [c32]Hana Chockler, Norman E. Fenton, Jeroen Keppens, David A. Lagnado:
Causal analysis for attributing responsibility in legal cases. ICAIL 2015: 33-42 - [p4]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Introduction. Validation of Evolving Software 2015: 3-5 - [p3]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Challenges of Existing Technology. Validation of Evolving Software 2015: 7-17 - [p2]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Complementarities Among the Technologies Presented in the Book. Validation of Evolving Software 2015: 19-21 - [p1]Hana Chockler, Sitvanit Ruah:
Lightweight Static Analysis Check of Upgrades in C/C++ Software. Validation of Evolving Software 2015: 25-36 - [e3]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
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, Ofer Strichman:
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, 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: 461-464 - [c29]Shoham Ben-David, Hana Chockler, Orna Kupferman:
Attention-Based Coverage Metrics. Haifa Verification Conference 2013: 230-245 - [c28]Hana Chockler, Dmitry Pidan, Sitvanit Ruah:
Improving Representative Computation in ExpliSAT. Haifa Verification Conference 2013: 359-364 - [c27]Hana Chockler, Karine Even, Eran Yahav:
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, Avigail Orni, Richard J. Trefler:
Explaining counterexamples using causality. Formal Methods Syst. Des. 40(1): 20-40 (2012) - [j11]Hana Chockler, Daniel Kroening, Mitra Purandare:
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, Daniel Kroening, Mitra Purandare:
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, Arie Gurfinkel, Ofer Strichman:
Variants of LTL Query Checking. Haifa Verification Conference 2010: 76-92
2000 – 2009
- 2009
- [j8]Hana Chockler, Ofer Strichman:
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, Eitan Farchi, Benny Godlin, Sergey Novikov:
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, Joseph Y. Halpern, Orna Kupferman:
What causes a system to satisfy a specification?. ACM Trans. Comput. Log. 9(3): 20:1-20:26 (2008) - [c16]Hana Chockler, Arie Gurfinkel, Ofer Strichman:
Beyond Vacuity: Towards the Strongest Passing Formula. FMCAD 2008: 1-8 - [c15]Hana Chockler, Orna Grumberg, Avi Yadgar:
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, Dan Gutfreund:
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