King's College London

Research portal

Dr Hana Chockler

Start date at Kings: 1/07/2013

Research Group

Department

  • 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 paper

  • The computational complexity of structure-based causality

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

    Research output: Contribution to journalArticle

  • Synthesizing non-vacuous systems

    Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O. 12 Jan 2017 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer‐Verlag Berlin Heidelberg, Vol. 10145 LNCS, 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 paper

  • 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 proceedingChapter

View all (28) »

Top downloads

View graph of relations

© 2015 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454