Soonho Kong
发表
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2013,
CADE.
Jeremy Avigad,
Soonho Kong,
Leonardo Mendonça de Moura,
2015,
CADE.
Soonho Kong,
L. D. Moura,
J. Avigad,
2016
.
Seunghak Lee,
Eric P. Xing,
Soonho Kong,
2016,
Bioinform..
Rance Cleaveland,
Radu Grosu,
Edmund M. Clarke,
2016
.
Sicun Gao,
Soonho Kong,
E. Clarke,
2013
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
HSCC.
Jeremy Avigad,
Soonho Kong,
Floris van Doorn,
2015
.
Sicun Gao,
Soonho Kong,
E. Clarke,
2013
.
Armando Solar-Lezama,
Sicun Gao,
Soonho Kong,
2019,
CAV.
Cody Roux,
Jeremy Avigad,
Soonho Kong,
2015,
ArXiv.
Armando Solar-Lezama,
Sicun Gao,
Soonho Kong,
2018,
ArXiv.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
CMSB.
Soonho Kong,
Kwangkeun Yi,
Cristina David,
2010,
APLAS.
Soonho Kong,
Kwangkeun Yi,
Bow-Yaw Wang,
2010,
VMCAI.
Nikos Arechiga,
Jonathan DeCastro,
Soonho Kong,
2019,
ArXiv.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2015,
CMSB.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2013,
2013 Formal Methods in Computer-Aided Design.
Soonho Kong,
Kwangkeun Yi,
Wontae Choi,
2009
.
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty
pdf
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
ArXiv.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
1404.7206.
Sicun Gao,
Soonho Kong,
Armando Solar-Lezama,
2018,
ArXiv.
Wei Chen,
Edmund M. Clarke,
Sicun Gao,
2015,
TACAS.
Wei Chen,
Edmund M. Clarke,
Sicun Gao,
2014,
ArXiv.
Sagar Chaki,
Ofer Strichman,
Arie Gurfinkel,
2013,
VMCAI.