Hana Chockler -

Registered user since Fri 10 Jul 2015

Name:Hana Chockler

Contributions

2024

ESEC/FSE

Committee Member in Program Committee within the Research Papers-track

2021

ESEC/FSE

Committee Member in Program Committee within the Research Papers-track

VMCAI

Committee Member in Program Committee within the VMCAI-track

2019

CREST

Committee Member in Program Committee within the CREST-track

2018

ICSE

Committee Member in Program committee within the Technical Papers -track

2017

VMCAI

Author of Synthesizing Non-Vacuous Systems within the VMCAI-track

2016

VMCAI

Committee Member in Program Committee