( en | de | ru )

 

Disambiguation of "Kong, Soonho"

Author of the publication

copydeleteadd this publication to your clipboard
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems.

, , , , and . HSCC, page 145-154. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thay Kong

Xiangqing Kong

Seunghyun Kong

Deming Kong

Yuanbo Kong

 

Other publications of authors with the same name

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis., , , , and . CoRR, (2014)dReal: An SMT Solver for Nonlinear Theories over the Reals., , and . CADE, volume 7898 of Lecture Notes in Computer Science, page 208-214. Springer, (2013)Satisfiability modulo ODEs., , and . FMCAD, page 105-112. IEEE, (2013)Delta-Complete Analysis for Bounded Reachability of Hybrid Systems., , , and . CoRR, (2014)Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates., , , , and . APLAS, volume 6461 of Lecture Notes in Computer Science, page 328-343. Springer, (2010)SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems., , , , and . CMSB, volume 9308 of Lecture Notes in Computer Science, page 15-27. Springer, (2015)Solving String Constraints Using SAT., , , , , , and . CAV (2), volume 13965 of Lecture Notes in Computer Science, page 187-208. Springer, (2023)SMT Encoding of Hybrid Systems in dReal., , and . ARCH@CPSWeek, volume 34 of EPiC Series in Computing, page 188-195. EasyChair, (2015)Revisiting the Complexity of Stability of Continuous and Hybrid Systems., , and . CoRR, (2014)Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction., , , and . VMCAI, volume 5944 of Lecture Notes in Computer Science, page 180-196. Springer, (2010)