Soonho Kong
发表
Nikos Arechiga,
Jonathan DeCastro,
Soonho Kong,
2019,
ArXiv.
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.
Soonho Kong,
Kwangkeun Yi,
Cristina David,
2010,
APLAS.
Peter Csaba Ölveczky,
Edmund M. Clarke,
Sicun Gao,
2016,
HSCC.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
CMSB.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2015,
CMSB.
Jeremy Avigad,
Soonho Kong,
Leonardo Mendonça de Moura,
2015,
CADE.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
1404.7206.
Soonho Kong,
Kwangkeun Yi,
Wontae Choi,
2009,
GPCE '09.
Soonho Kong,
Kwangkeun Yi,
Cristina David,
2010
.
Sicun Gao,
Soonho Kong,
Kyungmin Bae,
2015,
ARCH@CPSWeek.
Armando Solar-Lezama,
Sicun Gao,
Soonho Kong,
2019,
CAV.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2013,
CADE.
Robert P. Goldman,
David J. Musliner,
Edmund M. Clarke,
2016
.
Nikolai Tillmann,
Jonathan de Halleux,
Soonho Kong,
2009,
2009 Sixth International Conference on Information Technology: New Generations.
Wei Chen,
Edmund M. Clarke,
Sicun Gao,
2015,
TACAS.
Wei Chen,
Edmund M. Clarke,
Sicun Gao,
2014,
ArXiv.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
HSCC.
Jeremy Avigad,
Soonho Kong,
Floris van Doorn,
2015
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
ArXiv.
Soonho Kong,
Kwangkeun Yi,
Bow-Yaw Wang,
2010,
VMCAI.
Armando Solar-Lezama,
Sicun Gao,
Soonho Kong,
2018,
CAV.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
ArXiv.
Sagar Chaki,
Ofer Strichman,
Arie Gurfinkel,
2013,
VMCAI.
Rance Cleaveland,
Radu Grosu,
Edmund M. Clarke,
2016,
CMSB.
Cody Roux,
Jeremy Avigad,
Soonho Kong,
2015,
ArXiv.
Seunghak Lee,
Eric P. Xing,
Soonho Kong,
2016,
Bioinform..
Armando Solar-Lezama,
Sicun Gao,
Soonho Kong,
2018,
ArXiv.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2013
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Soonho Kong,
Kwangkeun Yi,
Cristina David,
2015,
Math. Struct. Comput. Sci..
Sicun Gao,
Soonho Kong,
Damien Zufferey,
2019,
NSV@CAV.
Soonho Kong,
Kwangkeun Yi,
Wontae Choi,
2009
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
ArXiv.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2013,
2013 Formal Methods in Computer-Aided Design.
Nikos Arechiga,
Soonho Kong,
Geoffrey Litt,
2021,
ArXiv.
Rance Cleaveland,
Radu Grosu,
Edmund M. Clarke,
2016
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014
.