Get started
Author

Soonho Kong

Observed names: Kong Soonho, Kong, Soonho, SOONHO KONG
Observed institutions: Microsoft (United States), Amazon (United States), Seoul National University, Toyota Research Institute, Case Western Reserve University, Carnegie Mellon University
ORCID: 0000-0003-0984-8078
Observed ORCID: 0000-0003-0984-8078
OpenAlex ID: A5015683413
dReal: An SMT Solver for Nonlinear Theories over the Reals
2013 · Sicun Gao, Soonho Kong, et al. · Lecture notes in computer science · 431
The Lean Theorem Prover (System Description)
2015 · Leonardo de Moura, Soonho Kong, et al. · Lecture notes in computer science · 420
dReach: δ-Reachability Analysis for Hybrid Systems
2015 · Soonho Kong, Sicun Gao, et al. · Lecture notes in computer science · 213
Satisfiability modulo ODEs
2013 · Sicun Gao, Soonho Kong, et al. · Formal Methods in Computer-Aided Design · 72
PDF
Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates
2010 · Soonho Kong, Yungbum Jung, et al. · Lecture notes in computer science · 32
Delta-Complete Analysis for Bounded Reachability of Hybrid Systems
2014 · Sicun Gao, Soonho Kong, et al. · 31
PDF
The Lean Theorem Prover
2015 · Leonardo de Moura, Soonho Kong, et al. · 25
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems
2015 · Qinsi Wang, Paolo Zuliani, et al. · Lecture notes in computer science · 21
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems
2016 · Kyungmin Bae, Peter Csaba Ölveczky, et al. · International Conference on Hybrid Systems: computation and control · 20
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems
2019 · Sicun Gao, James Kapinski, et al. · Lecture notes in computer science · 19
PDF
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
2010 · Yungbum Jung, Soonho Kong, et al. · Lecture notes in computer science · 19
Delta-Decision Procedures for Exists-Forall Problems over the Reals
2018 · Soonho Kong, Armando Solar-Lezama, et al. · Lecture notes in computer science · 18
Compositional Sequentialization of Periodic Programs
2013 · Sagar Chaki, Arie Gurfinkel, et al. · Lecture notes in computer science · 15
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions
2014 · Bing Liu, Soonho Kong, et al. · Lecture notes in computer science · 14
Towards personalized prostate cancer therapy using delta-reachability analysis
2015 · Bing Liu, Soonho Kong, et al. · International Conference on Hybrid Systems: computation and control · 13
PDF
Solving String Constraints Using SAT
2023 · Kevin Lotz, Amit Goel, et al. · Lecture notes in computer science · 11
PDF
A network-driven approach for genome-wide association mapping
2016 · Seunghak Lee, Soonho Kong, et al. · Bioinformatics · 11
PDF
Elaboration in Dependent Type Theory
2015 · de Moura, Leonardo, Avigad, Jeremy, et al. · arXiv (Cornell University) · 10
PDF
Proof Generation from Delta-Decisions
2014 · Sicun Gao, Soonho Kong, et al. · International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) · 8
PDF
Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex
2009 · Soonho Kong, Nikolai Tillmann, et al. · International Conference on Information Technology: New Generations · 8
REAS: Combining Numerical Optimization with SAT Solving
2018 · Inala, Jeevana Priya, Gao, Sicun, et al. · arXiv (Cornell University) · 7
PDF
Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions
2014 · Liu, Bing, Kong, Soonho, et al. · arXiv (Cornell University) · 7
PDF
Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles
2021 · Jackson, Daniel, Richmond, Valerie, et al. · arXiv (Cornell University) · 6
PDF
Automatically inferring loop invariants via algorithmic learning
2014 · YUNGBUM JUNG, SOONHO KONG, et al. · Mathematical Structures in Computer Science · 5
SReach: A Bounded Model Checker for Stochastic Hybrid Systems
2014 · Wang, Qinsi, Zuliani, Paolo, et al. · arXiv (Cornell University) · 5
PDF
Works count: 50
Citation count: 1,467
H-index: 14
I10-index: 18
Year
Topic
Type