
views: 101
Hana Chockler
Research Staff Member
Sign in to view more

Ego Network
D-Core
Research Interests
Author Statistics
Experience
Sign in to view more
Education
Sign in to view more
Bio
None
Papers81 papers
Sort
By YearBy Citation
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)
Sepideh Asadi, Martin Blicha,Grigory Fedyukovich,Antti E. J. Hyvärinen, Karine Even-Mendoza,Natasha Sharygina,Hana Chockler
LPAR, pp.56-75, (2018)
VSTTE, pp.50-68, (2018)
Leonardo Alt,Sepideh Asadi,Hana Chockler, Karine Even Mendoza,Grigory Fedyukovich,Antti E. J. Hyvärinen,Natasha Sharygina
TACAS, pp.207-213, (2017)
VMCAI, pp.55-72, (2017)
Antti E. J. Hyvärinen,Sepideh Asadi, Karine Even-Mendoza,Grigory Fedyukovich,Hana Chockler,Natasha Sharygina
SAT, pp.347-363, (2017)
Haifa Verification Conference, pp.65-81, (2016)
CREST@ETAPS, pp.1-8, (2016)
Validation of Evolving Software, (2015)
(2015)
Cited by1Bibtex
View All