Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoonho Kong
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c20]Kevin Lotz
, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka:
Solving String Constraints Using SAT. CAV (2) 2023: 187-208- 2021
- [i12]Daniel Jackson, Valerie Richmond, Mike Wang, Jeff Chow, Uriel Guajardo, Soonho Kong, Sergio Campos, Geoffrey Litt, Nikos Aréchiga:
Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles. CoRR abs/2104.06178 (2021)
2010 – 2019
- 2019
- [c19]Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey:
Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. NSV@CAV 2019: 85-100 - [c18]Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong:
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. CAV (2) 2019: 137-154 - [i11]Nikos Aréchiga, Jonathan A. DeCastro, Soonho Kong, Karen Leung:
Better AI through Logical Scaffolding. CoRR abs/1909.06965 (2019) - 2018
- [c17]Soonho Kong, Armando Solar-Lezama, Sicun Gao:
Delta-Decision Procedures for Exists-Forall Problems over the Reals. CAV (2) 2018: 219-235 - [i10]Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama:
REAS: Combining Numerical Optimization with SAT Solving. CoRR abs/1802.04408 (2018) - [i9]Soonho Kong, Armando Solar-Lezama, Sicun Gao:
Delta-Decision Procedures for Exists-Forall Problems over the Reals. CoRR abs/1807.08137 (2018) - 2016
- [j2]Seunghak Lee, Soonho Kong, Eric P. Xing:
A network-driven approach for genome-wide association mapping. Bioinform. 32(12): 164-173 (2016) - [c16]Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka:
Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability. CMSB 2016: 132-146 - [c15]Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. HSCC 2016: 145-154 - 2015
- [j1]Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi:
Automatically inferring loop invariants via algorithmic learning. Math. Struct. Comput. Sci. 25(4): 892-915 (2015) - [c14]Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer:
The Lean Theorem Prover (System Description). CADE 2015: 378-388 - [c13]Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. CMSB 2015: 15-27 - [c12]Kyungmin Bae, Soonho Kong, Sicun Gao:
SMT Encoding of Hybrid Systems in dReal. ARCH@CPSWeek 2015: 188-195 - [c11]Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Towards personalized prostate cancer therapy using delta-reachability analysis. HSCC 2015: 227-232 - [c10]Soonho Kong, Sicun Gao, Wei Chen, Edmund M. Clarke:
dReach: δ-Reachability Analysis for Hybrid Systems. TACAS 2015: 200-205 - [i8]Leonardo Mendonça de Moura, Jeremy Avigad, Soonho Kong, Cody Roux:
Elaboration in Dependent Type Theory. CoRR abs/1505.04324 (2015) - 2014
- [c9]Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions. CMSB 2014: 99-113 - [c8]Sicun Gao, Soonho Kong, Edmund M. Clarke:
Proof Generation from Delta-Decisions. SYNASC 2014: 156-163 - [i7]Sicun Gao, Soonho Kong, Edmund M. Clarke:
Revisiting the Complexity of Stability of Continuous and Hybrid Systems. CoRR abs/1404.7169 (2014) - [i6]Sicun Gao, Soonho Kong, Wei Chen, Edmund M. Clarke:
Delta-Complete Analysis for Bounded Reachability of Hybrid Systems. CoRR abs/1404.7171 (2014) - [i5]Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty. CoRR abs/1404.7206 (2014) - [i4]Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions. CoRR abs/1407.1524 (2014) - [i3]Sicun Gao, Soonho Kong, Edmund M. Clarke:
Proof Generation from Delta-Decisions. CoRR abs/1409.6414 (2014) - [i2]Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Towards Personalized Cancer Therapy Using Delta-Reachability Analysis. CoRR abs/1410.7346 (2014) - 2013
- [c7]Sicun Gao, Soonho Kong, Edmund M. Clarke:
dReal: An SMT Solver for Nonlinear Theories over the Reals. CADE 2013: 208-214 - [c6]Sicun Gao, Soonho Kong, Edmund M. Clarke:
Satisfiability modulo ODEs. FMCAD 2013: 105-112 - [c5]Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman:
Compositional Sequentialization of Periodic Programs. VMCAI 2013: 536-554 - [i1]Sicun Gao, Soonho Kong, Edmund M. Clarke:
Satisfiability Modulo ODEs. CoRR abs/1310.8278 (2013) - 2010
- [c4]Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi:
Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. APLAS 2010: 328-343 - [c3]Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi:
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. VMCAI 2010: 180-196
2000 – 2009
- 2009
- [c2]Soonho Kong, Wontae Choi, Kwangkeun Yi:
Abstract parsing for two-staged languages with concatenation. GPCE 2009: 109-116 - [c1]Soonho Kong, Nikolai Tillmann, Jonathan de Halleux:
Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. ITNG 2009: 758-762
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
