Hui Kong

22 papers A* 1A 1B 1C 2Misc 1Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2023 J jnl
Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking.
Int. J. Softw. Eng. Knowl. Eng.
Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong
2022 C conf
Bounded Model Checking of Synchronous Reactive Models in Ptolemy II.
APSEC
Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong
2022 C conf
Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking.
QRS
Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong
2019 — conf
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.
FORMATS
Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger
2019 J jnl
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.
CoRR
Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger
2019 — conf
Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design.
iThings/GreenCom/CPSCom/SmartData
Yu Jiang, Mingzhe Wang, Xun Jiao, Houbing Song, Hui Kong, Rui Wang, Yongxin Liu, Jian Wang, Jiaguang Sun
2018 — conf
Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes.
CAV (1)
Hui Kong, Ezio Bartocci, Thomas A. Henzinger
2018 J jnl
Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.
IEEE Trans. Intell. Transp. Syst.
Yu Jiang, Han Liu, Houbing Song, Hui Kong, Rui Wang, Yong Guan, Lui Sha
2017 — conf
Conic Abstractions for Hybrid Systems.
FORMATS
Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong
2017 — conf
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.
HSCC
Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger
2016 — conf
Discrete Abstraction of Multiaffine Systems.
HSB
Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling
2016 A conf
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.
RTAS
Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha
2016 J jnl
Invariant Clusters for Hybrid Systems.
CoRR
Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger
2016 B conf
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller.
FM
Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha
2016 — conf
Use runtime verification to improve the quality of medical care practice.
ICSE (Companion Volume)
Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha
2015 — conf
Abstraction-Based Parameter Synthesis for Multiaffine Systems.
Haifa Verification Conference
Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, Radu Grosu
2014 J jnl
A New Barrier Certificate for Safety Verification of Hybrid Systems.
Comput. J.
Hui Kong, Xiaoyu Song, Dong Han, Ming Gu, Jiaguang Sun
2013 J jnl
Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding.
J. Appl. Math.
Liang Song, Jianmin Wang, Lijie Wen, Hui Kong
2013 J jnl
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
CoRR
Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu
2013 A* conf
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems.
CAV
Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu
2011 Misc conf
Proving Computational Geometry Algorithms in TLA+2.
TASE
Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun
2011 — conf
Querying Process Models Based on the Temporal Relations between Tasks.
EDOCW
Liang Song, Jianmin Wang, Lijie Wen, Wenxing Wang, Shijie Tan, Hui Kong