Soonho Kong
Soonho Kong
Toyota Research Institute
Bestätigte E-Mail-Adresse bei tri.global - Startseite
Titel
Zitiert von
Zitiert von
Jahr
dReal: An SMT solver for nonlinear theories over the reals
S Gao, S Kong, EM Clarke
International Conference on Automated Deduction, 208-214, 2013
3422013
The Lean theorem prover (system description)
L de Moura, S Kong, J Avigad, F Van Doorn, J von Raumer
International Conference on Automated Deduction, 378-388, 2015
2402015
dReach: δ-Reachability Analysis for Hybrid Systems
S Kong, S Gao, W Chen, E Clarke
2332015
Satisfiability Modulo ODEs
S Gao, S Kong, EM Clarke
Formal Methods in Computer-Aided Design (FMCAD), 2013, 105-112, 2013
982013
Automatically inferring quantified loop invariants by algorithmic learning from simple templates
S Kong, Y Jung, C David, BY Wang, K Yi
Asian Symposium on Programming Languages and Systems, 328-343, 2010
442010
Delta-Complete Analysis for Bounded Reachability of Hybrid Systems
S Gao, S Kong, W Chen, E Clarke
arXiv preprint arXiv:1404.7171, 2014
262014
Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction
Y Jung, S Kong, BY Wang, K Yi
International Workshop on Verification, Model Checking, and Abstract …, 2010
212010
Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction
Y Jung, S Kong, W Bow-Yaw, K Yi
Technical Memorandum ROSAEC-2009-004, Research On Software Analysis for …, 2009
212009
Theorem proving in Lean
J Avigad, L de Moura, S Kong
Microsoft Research, https://leanprover. github. io/tutorial/tutorial. pdf, 2015
202015
Towards personalized prostate cancer therapy using delta-reachability analysis
B Liu, S Kong, S Gao, P Zuliani, EM Clarke
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
182015
SReach: A Bounded Model Checker for Stochastic Hybrid Systems
Q Wang, P Zuliani, S Kong, S Gao, EM Clarke
18*2015
Parameter synthesis for cardiac cell hybrid models using δ-decisions
B Liu, S Kong, S Gao, P Zuliani, EM Clarke
International Conference on Computational Methods in Systems Biology, 99-113, 2014
162014
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems
Q Wang, P Zuliani, S Kong, S Gao, EM Clarke
International Conference on Computational Methods in Systems Biology, 15-27, 2015
152015
Compositional sequentialization of periodic programs
S Chaki, A Gurfinkel, S Kong, O Strichman
International Workshop on Verification, Model Checking, and Abstract …, 2013
112013
Automated testing of environment-dependent programs-a case study of modeling the file system for Pex
S Kong, N Tillmann, J de Halleux
2009 Sixth International Conference on Information Technology: New …, 2009
102009
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems
K Bae, PC Ölveczky, S Kong, S Gao, EM Clarke
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
92016
Proof generation from delta-decisions
S Gao, S Kong, EM Clarke
2014 16th International Symposium on Symbolic and Numeric Algorithms for …, 2014
82014
Abstract interpretation+ impure catalysts: Our Sparrow experience
Y Jhee, M Jin, Y Jung, D Kim, S Kong, H Lee, H Oh, D Park, K Yi
Presentation at the Workshop of the 30 Years of Abstract Interpretation, San …, 2008
82008
Elaboration in dependent type theory
L de Moura, J Avigad, S Kong, C Roux
preparation, 2015
72015
A network-driven approach for genome-wide association mapping
S Lee, S Kong, EP Xing
Bioinformatics 32 (12), i164-i173, 2016
62016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20