No photo of Hana Chockler
  • Phone82928
  • 1115
    Citations

Search results

  • 2023

    Quantifying Harm

    Beckers, S., Chockler, H. & Halpern, J. Y., 2023, (Accepted/In press) THE 32nd INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2023.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    File
    56 Downloads (Pure)
  • Specifiable robustness in reactive synthesis

    Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 23 Mar 2023, In: FORMAL METHODS IN SYSTEM DESIGN. 60, 2, p. 259-276 18 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    21 Downloads (Pure)
  • 2022

    A Causal Analysis of Harm

    Beckers, S., Chockler, H. & Halpern, J. Y., 10 Oct 2022, (Accepted/In press) 36th Conference on Neural Information Processing Systems (NeurIPS 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    97 Downloads (Pure)
  • A Study of Demographic Bias in CNN-Based Brain MR Segmentation

    Alzheimer’s Disease Neuroimaging Initiative, Ioannou, S., Chockler, H., Hammers, A. & King, A. P., 2022, Machine Learning in Clinical Neuroimaging - 5th International Workshop, MLCN 2022, Held in Conjunction with MICCAI 2022, Proceedings. Abdulkadir, A., Bathula, D. R., Dvornek, N. C., Habes, M., Kia, S. M., Kumar, V. & Wolfers, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 13-22 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13596 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    5 Citations (Scopus)
  • On Testing for Discrimination Using Causal Models

    Chockler, H. & Halpern, J. Y., 28 Jun 2022, Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-22). AAAI Press

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    File
    2 Citations (Scopus)
    193 Downloads (Pure)
  • 2021

    Explanations for Occluded Images

    Chockler, H., Kroening, D. & Sun, Y., Oct 2021, (Accepted/In press) Proceedings of International Conference on Computer Vision (ICCV).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    49 Downloads (Pure)
  • Preface of the special issue on the conference on computer-aided verification 2018

    Chockler, H. & Weissenbacher, G., Jul 2021, In: FORMAL METHODS IN SYSTEM DESIGN. 57, 1

    Research output: Contribution to journalEditorialpeer-review

    Open Access
  • Ranking Policy Decisions

    Pouget, H., Chockler, H., Sun, Y. & Kroening, D., Nov 2021, (Accepted/In press) Proceedings of Advances in Neural Information Processing Systems (NeurIPS).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    55 Downloads (Pure)
  • Vacuity in synthesis

    Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., Sept 2021, In: FORMAL METHODS IN SYSTEM DESIGN. 57, 3, p. 473-495 23 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    1 Citation (Scopus)
  • 2020

    Combining Experts’ Causal Judgments

    Alrajeh, D., Chockler, H. & Halpern, J. Y., Nov 2020, In: ARTIFICIAL INTELLIGENCE. 288, 103355.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    5 Citations (Scopus)
    29 Downloads (Pure)
  • Explaining Image Classifiers Using Statistical Fault Localization

    Sun, Y., Chockler, H., Huang, X. & Kroening, D., 23 Aug 2020, Computer Vision – ECCV 2020 - 16th European Conference, 2020, Proceedings. Vedaldi, A., Bischof, H., Brox, T. & Frahm, J-M. (eds.). Springer, p. 391-406 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12373 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    24 Citations (Scopus)
    113 Downloads (Pure)
  • Learning the Language of Software Errors

    Chockler, H., Kesseli, P., Kroening, D. & Strichman, O., Apr 2020, In: Journal of Artificial Intelligence Research. 67, p. 881-903 23 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    8 Citations (Scopus)
    123 Downloads (Pure)
  • 2019

    Lattice-based SMT for Program Verification

    Even-Mendoza, K., Hyyvarinen, A., Chockler, H. & Sharygina, N., 9 Oct 2019, MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design: 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. ACM, p. 1-11 16

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    File
    216 Downloads (Pure)
  • Synthesizing reactive systems using robustness and recovery specifications

    Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 1 Oct 2019, Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 147-151 5 p. 8894276

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    5 Citations (Scopus)
  • 2018

    Combining Experts’ Causal Judgments

    Alrajeh, D., Chockler, H. & Halpern, J. Y., 2 Feb 2018, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence. AAAI Press, p. 6311-6318 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    4 Citations (Scopus)
    155 Downloads (Pure)
  • Function Summarization Modulo Theories

    Asadi, S., Blicha, M., Fedyukovich, G., Hyyvarinen, A., Even Mendoza, K., Sharygina, N. & Chockler, H., 16 Nov 2018, LPAR-22: 22nd International Conference on Logic for Programming, Articial Intelligence and Reasoning. Vol. 57. p. 56-75 (EPiC Series in Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    6 Citations (Scopus)
    154 Downloads (Pure)
  • Lattice-Based Refinement in Bounded Model Checking

    Even-Mendoza, K., Asadi, S., Hyyvarinen, A., Chockler, H. & Sharygina, N., 18 Jul 2018, Verified Software. Theories, Tools, and Experiments (VSTTE) 2018. Switzerland: Springer, p. 50-68 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    1 Citation (Scopus)
    54 Downloads (Pure)
  • Lookahead-Based SMT Solving

    Hyyvarinen, A., Marescotti, M., Sadigova, P., Chockler, H. & Sharygina, N., 16 Nov 2018, LPAR-22: LPAR-22: 22ND INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING. EasyChair

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    1 Citation (Scopus)
    117 Downloads (Pure)
  • Timed Vacuity

    Chockler, H., Guha, S. & Kupferman, O., 15 Jul 2018, International Symposium on Formal Methods. Springer, Vol. 10951. p. 438-455 (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    23 Downloads (Pure)
  • 2017

    HiFrog: SMT-based Function Summarization for Software Verification

    Alt, L., Asadi, S., Chockler, H., Even-Mendoza, K., Fedyukovich, G., Hyvärinen, A. E. J. & Sharygina, N., 24 Apr 2017, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Springer, Vol. 10206. p. 207-213 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    File
    14 Citations (Scopus)
    617 Downloads (Pure)
  • Synthesizing non-vacuous systems

    Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 15 Jan 2017, Proceedings of 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI): Lecture Notes in Computer Science. Springer‐Verlag Berlin Heidelberg, Vol. 10145. p. 55-72 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10145 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    9 Citations (Scopus)
    203 Downloads (Pure)
  • The computational complexity of structure-based causality

    Aleksandrowicz, G., Chockler, H., Halpern, J. Y. & Ivrii, A., Feb 2017, In: Journal Artificial Intelligence Research. 58, p. 431-451 21 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    14 Citations (Scopus)
    197 Downloads (Pure)
  • Theory Refinement for Program Verification

    Hyyvarinen, A., Asadi, S., Even-Mendoza, K., Fedyukovich, G., Chockler, H. & Sharygina, N., 9 Aug 2017, (E-pub ahead of print) 20th International Conference on Theory and Applications of Satisfiability Testing (SAT). Springer, Vol. 10491. p. 347-363

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    File
    6 Citations (Scopus)
    349 Downloads (Pure)
  • 2016

    Causality and responsibility for formal verification and beyond

    Chockler, H., 26 Aug 2016, Electronic Proceedings in Theoretical Computer Science, EPTCS. Open Publishing Association, Vol. 224. p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    7 Citations (Scopus)
    144 Downloads (Pure)
  • Preface

    Benferhat, S., Chockler, H., Fabre, E., Fey, G., Gössler, G., Groce, A., Hallé, S., Halpern, J., Leue, S., Nickovic, D., Podgurski, A., Sokolsky, O., Stefani, J. B., Travé-Massuyès, L., Vennekens, J., Wang, C. & Weissenbacher, G., 26 Aug 2016, In: Electronic Proceedings in Theoretical Computer Science. 224

    Research output: Contribution to journalEditorialpeer-review

  • Probabilistic Fault Localisation

    Landsberg, D., Chockler, H. & Kroening, D., 1 Nov 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Hardware and Software: Verification and Testing. Springer‐Verlag Berlin Heidelberg, Vol. 10028 LNCS. p. 65-81 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10028 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
    File
    2 Citations (Scopus)
    200 Downloads (Pure)
  • 2015

    Causal Analysis for Attributing Responsibility in Legal Cases

    Chockler, H., Fenton, N., Keppens, J. & Lagnado, D., Jun 2015, ICAIL '15: Proceedings of the 15th International Conference on Artificial Intelligence and Law. ACM Digital Library, p. 33–42 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    14 Citations (Scopus)
    621 Downloads (Pure)
  • Challenges of existing technology

    Chockler, H., Kroening, D., Mariani, L. & Sharygina, N., 1 Jan 2015, Validation of Evolving Software. Springer International Publishing Switzerland, p. 7-17 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Complementarities among the technologies presented in the book

    Chockler, H., Kroening, D., Mariani, L. & Sharygina, N., 1 Jan 2015, Validation of Evolving Software. Springer International Publishing Switzerland, p. 19-21 3 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

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

    Landsberg, D., Chockler, H., Kroening, D. & Lewis, M., 2015, Fundamental Approaches to Software Engineering: 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Egyed, A. & Schaefer, I. (eds.). London, UK: Springer International Publishing, Vol. 9033. p. 115-129 15 p. (Lecture Notes in Computer Science; vol. 9033).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    19 Citations (Scopus)
    219 Downloads (Pure)
  • Learning the Language of Error

    Chapman, M., Chockler, H., Kesseli, P., Kroening, D., Strichman, O. & Tautschnig, M., Oct 2015, Proceedings of ATVA 2015: Automated Technology for Verification and Analysis . Springer, Vol. 9364. p. 114-130 18 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    17 Citations (Scopus)
    183 Downloads (Pure)
  • Lightweight static analysis check of upgrades in c/c++ software

    Chockler, H. & Ruah, S., 1 Jan 2015, Validation of Evolving Software. Springer International Publishing Switzerland, p. 25-36 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Validation of evolving software

    Chockler, H., Kroening, D., Mariani, L. & Sharygina, N., 1 Jan 2015, Springer International Publishing Switzerland. 220 p.

    Research output: Book/ReportBookpeer-review

    2 Citations (Scopus)
  • 2014

    The computational complexity of structure-based causality

    Aleksandrowicz, G., Chockler, H., Halpern, J. Y. & Ivrii, A., 1 Jan 2014, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence. Palo Alto, California: AAAI Press, Vol. 2. p. 974-980 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
    File
    11 Citations (Scopus)
    188 Downloads (Pure)
  • 2013

    Attention-based coverage metrics

    Ben-David, S., Chockler, H. & Kupferman, O., 1 Dec 2013, Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. Bertacco, V. & Legay, A. (eds.). Springer International Publishing, p. 230-245 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8244 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

    1 Citation (Scopus)
  • Beyond Vacuity: Towards the Strongest Passing Formula

    Chockler, H., Gurfinkel, A. & Strichman, O., 29 Aug 2013, In: FORMAL METHODS IN SYSTEM DESIGN. 43, 3, p. 552-571 20 p.

    Research output: Contribution to journalArticlepeer-review

    File
    5 Citations (Scopus)
    17 Downloads (Pure)
  • Finding rare numerical stability errors in concurrent computations

    Chockler, H., Even, K. & Yahav, E., 15 Jul 2013, International Symposium on Software Testing and Analysis (ISSTA). ACM, p. 12-22 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    File
    1 Citation (Scopus)
    73 Downloads (Pure)
  • Finding rare numerical stability errors in concurrent computations

    Chockler, H., Even, K. & Yahav, E., 15 Jul 2013, ISSTA 2013: Proceedings of the 2013 International Symposium on Software Testing and Analysis. ACM, p. 12-22 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  • Improving representative computation in ExpliSAT

    Chockler, H., Pidan, D. & Ruah, S., 1 Dec 2013, Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. Bertacco, V. & Legay, A. (eds.). Springer International Publishing, p. 359-364 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8244 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

    2 Citations (Scopus)
  • PINCETTE - Validating Changes and Upgrades in Networked Software

    Chockler, H., Denaro, G., Ling, M., Fedyukovich, G., Hyvärinen, A., Mariani, L., Muhammad, A., Oriol, M., Rajan, A., Sery, O. & Sharygina, N., 5 Mar 2013, 17th European Conference on Software Maintenance and Reengineering, CSMR 2013. IEEE Computer Society, p. 461-464 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    File
    2 Citations (Scopus)
    10 Downloads (Pure)
  • Using cross-entropy for satisfiability

    Chockler, H., Ivrii, A., Matsliah, A., Rollini, S. F. & Sharygina, N., 18 Mar 2013, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC . ACM, p. 1196-1203 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    File
    4 Citations (Scopus)
    29 Downloads (Pure)
  • Verifying cloud services: present and future

    Bouchenak, S., Chockler, G., Chockler, H., Gheorghe, G., Santos, N. & Shraer, A., 1 Jan 2013, In: Operating systems review. 47, 2, p. 6-19 14 p.

    Research output: Contribution to journalArticlepeer-review

  • 2012

    Computing Interpolants without Proofs

    Chockler, H., Ivrii, A. & Matsliah, A., 6 Nov 2012, Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012. Revised Selected Papers. Springer, Vol. 7857. p. 72-85 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    File
    72 Downloads (Pure)
  • Computing Mutation Coverage in Interpolation-Based Model Checking

    Chockler, H., Kroening, D. & Purandare, M., May 2012, In: Ieee transactions on computer-Aided design of integrated circuits and systems. 31, 5, p. 765-778 14 p.

    Research output: Contribution to journalArticlepeer-review

    5 Citations (Scopus)
  • Explaining counterexamples using causality

    Beer, I., Ben-David, S., Chockler, H., Orni, A. & Trefler, R., Feb 2012, In: FORMAL METHODS IN SYSTEM DESIGN. 40, 1, p. 20-40 21 p.

    Research output: Contribution to journalArticlepeer-review

    77 Citations (Scopus)
  • Verification of software changes with ExpliSAT

    Chockler, H. & Ruah, S., 3 Jun 2012, International Workshop on Hot Topics in Software Upgrades (HotSWUp). IEEE Computer Society, p. 31-35 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    File
    1 Citation (Scopus)
    13 Downloads (Pure)
  • 2011

    Incremental formal verification of hardware

    Chockler, H., Ivrii, A., Matsliah, A., Moran, S. & Nevo, Z., 2011, International Conference on Formal Methods in Computer-Aided Design, FMCAD 2011: . Boston: FMCAD Inc, p. 135 - 143 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

    48 Citations (Scopus)
  • Variants of LTL Query Checking

    Chockler, H., Gurfinkel, A. & Strichman, O., 2011, Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Barner, S., Harris, Kroening, D. & Raz, O. (eds.). BERLIN: Springer-Verlag Berlin Heidelberg, p. 76-92 17 p. (Lecture Notes in Computer Science; vol. 6504).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    8 Citations (Scopus)
  • 2010

    Coverage in interpolation-based model checking

    Chockler, H., Kroening, D. & Purandare, M., 2010, Proceedings of the 47th Design Automation Conference, DAC 2010. N/A ed. New York: ACM, Vol. N/A. p. 182-187 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

    12 Citations (Scopus)
  • 2009

    Before and after vacuity

    Chockler, H. & Strichman, O., Feb 2009, In: FORMAL METHODS IN SYSTEM DESIGN. 34, 1, p. 37-58 22 p.

    Research output: Contribution to journalArticlepeer-review

    9 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.