Soonho Kong

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Numerically-robust inductive proof rules for continuous dynamical systems Computer Aided Verification	2024-02-16	Paper
Solving string constraints using SAT	2024-01-12	Paper
Delta-decision procedures for exists-forall problems over the reals Computer Aided Verification	2023-05-05	Paper
Delta-decision procedures for exists-forall problems over the reals Computer Aided Verification	2023-05-05	Paper
SMT-based analysis of virtually synchronous distributed hybrid systems Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
Automatically inferring loop invariants via algorithmic learning Mathematical Structures in Computer Science	2016-07-27	Paper
The Lean theorem prover (system description) Automated Deduction - CADE-25	2015-12-02	Paper
Compositional sequentialization of periodic programs Lecture Notes in Computer Science	2014-11-03	Paper
dReal: an SMT solver for nonlinear theories over the reals Automated Deduction – CADE-24	2013-06-14	Paper
Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction Lecture Notes in Computer Science	2010-01-14	Paper

Research outcomes over time

This page was built for person: Soonho Kong