Dr Hana Chockler Academics Reader in Computer Science Research subject areas Computer science Contact details +44 020 7848 2928 hana.chockler@kcl.ac.uk
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 journal - Editorial - peer-review. DOIs: https://doi.org/10.1007/s10703-021-00365-5 Combining Experts' Causal Judgments Alrajeh, D., Chockler, H. & Halpern, J. Y., Nov 2020, In: ARTIFICIAL INTELLIGENCE. 288, 103355. Research output: Contribution to journal - Article - peer-review. DOIs: https://doi.org/10.1016/j.artint.2020.103355 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 proceeding - Conference paper - peer-review. DOIs: https://doi.org/10.1007/978-3-030-58604-1_24 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 - peer-review. 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 - peer-review. 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 - peer-review. 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 - peer-review. 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 - peer-review 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 - peer-review 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 - peer-review View all publications
26 November 2020 King's expertise in causal reasoning furthering research in Trusted Autonomous Systems Researchers in King’s Software Systems Group and Trusted Autonomous Systems hub are furthering…