Dr Hana Chockler Academics Senior Lecturer in Computer Science Research subject areas Computer science Contact details +44 020 7848 2928 hana.chockler@kcl.ac.uk
Combining Experts' Causal Judgments Alrajeh, D., Chockler, H. & Halpern, J. Y., 2 Jul 2020, (Accepted/In press) In : ARTIFICIAL INTELLIGENCE. 288 Research output: Contribution to journal - Article Explaining Image Classifiers Using Statistical Fault Localization Sun, Y., Chockler, H., Huang, X. & Kroening, D., 2 Jul 2020, (Accepted/In press) 16TH EUROPEAN CONFERENCE ON COMPUTER VISION. Springer Research output: Chapter in Book/Report/Conference proceeding - Conference paper 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 journal - Article. DOIs: https://doi.org/10.1613/jair.1.11798 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, A16 Research output: Chapter in Book/Report/Conference proceeding - Conference contribution. DOIs: https://doi.org/10.1145/3359986.3361214 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 proceeding - Conference paper. DOIs: https://doi.org/10.23919/FMCAD.2019.8894276 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 proceeding - Conference paper. DOIs: https://doi.org/10.29007/d3bt 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 proceeding - Conference paper 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 proceeding - Conference paper 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 proceeding - Conference paper 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 proceeding - Conference paper View all publications