Hana Chockler

Journal of Artificial Intelligence Research, (2020): 881-903

Artif. Intell., (2020): 103355

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System De..., pp.16, (2019)

FMCAD, pp.147-151, (2019)

LPAR, pp.418-434, (2018)

AAAI, (2018)

LPAR, pp.56-75, (2018)

FM, pp.438-455, (2018)

VSTTE, pp.50-68, (2018)

TACAS, pp.207-213, (2017)

VMCAI, pp.55-72, (2017)

SAT, pp.347-363, (2017)

Haifa Verification Conference, pp.65-81, (2016)

CREST@ETAPS, pp.1-8, (2016)

Validation of Evolving Software, (2015)

Validation of Evolving Software, pp.25-36, (2015)