Books
Edited books and book chapters
- Hana Chockler, Georg Weissenbacher (Editors). Computer Aided Verification – 30th International Conference, CAV2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings.
- Part I. LNCS 10981, Springer 2018,
ISBN 978-3-319-96144-6. - Part II. LNCS 10982, Springer 2018,
ISBN 978-3-319-96141-5.
- Part I. LNCS 10981, Springer 2018,
- Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina (Editors). Validation of Evolving Software. Springer 2015, ISBN 978-3319106229. Co-authored chapters:
- Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina. Introduction.
- Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina. Challenges of Existing Technology.
- Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina. Complementarities Among the Technologies Presented in the Book.
- Hana Chockler, Sitvanit Ruah. Lightweight Static Analysis Check of Upgrades in C/C++ Software.
- Hana Chockler, Alan Hu (Editors). (Editors). Proceedings of Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008. Springer 2009, Lecture Notes in Computer Science, volume 5394. ISBN 978-3642017018.