35 pubs · 1,123 cites · h-index 12
University of Illinois Urbana-Champaign
2015 - 2020
Samsung (South Korea)
2020 - 2020
Runtime Verification (United States)
2018 - 2019
Hanyang University
2012 - 2018
Hanbat National University
2017 - 2017