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
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 Theory Refinement for Program Verification Hyyvarinen, A., Asadi, S., Even Mendoza, K., Fedyukovich, G., Chockler, H. & Sharygina, N., 9 Aug 2017, 20th International Conference on Theory and Applications of Satisfiability Testing (SAT). Springer, Vol. 10491. p. 347-363 Research output: Chapter in Book/Report/Conference proceeding - Conference paper. DOIs: https://doi.org/10.1007/978-3-319-66263-3_22 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 proceeding - Conference paper. DOIs: https://doi.org/10.1007/978-3-662-54580-5_12 View all publications