Hui Kong

According to our database, Hui Kong authored at least 20 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking.

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

Int. J. Softw. Eng. Knowl. Eng., June, 2023

2022

Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking.

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Bounded Model Checking of Synchronous Reactive Models in Ptolemy II.

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2019

Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design.

Yu Jiang, Mingzhe Wang, Xun Jiao, Houbing Song, Hui Kong, Rui Wang, Yongxin Liu, Jian Wang, Jiaguang Sun

Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.

Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018

Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.

Yu Jiang, Han Liu, Houbing Song, Hui Kong, Rui Wang, Yong Guan, Lui Sha

IEEE Trans. Intell. Transp. Syst., 2018

Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes.

Hui Kong, Ezio Bartocci, Thomas A. Henzinger

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.

Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Conic Abstractions for Hybrid Systems.

Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016

Invariant Clusters for Hybrid Systems.

Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger

CoRR, 2016

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.

Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Use runtime verification to improve the quality of medical care practice.

Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha

Proceedings of the 38th International Conference on Software Engineering, 2016

Discrete Abstraction of Multiaffine Systems.

Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller.

Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha

Proceedings of the FM 2016: Formal Methods, 2016

2015

Abstraction-Based Parameter Synthesis for Multiaffine Systems.

Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, Radu Grosu

Proceedings of the Hardware and Software: Verification and Testing, 2015

2014

A New Barrier Certificate for Safety Verification of Hybrid Systems.

Hui Kong, Xiaoyu Song, Dong Han, Ming Gu, Jiaguang Sun

Comput. J., 2014

2013

Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding.

Liang Song, Jianmin Wang, Lijie Wen, Hui Kong

J. Appl. Math., 2013

Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems.

Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2011

Proving Computational Geometry Algorithms in TLA+2.

Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Querying Process Models Based on the Temporal Relations between Tasks.

Liang Song, Jianmin Wang, Lijie Wen, Wenxing Wang, Shijie Tan, Hui Kong

Proceedings of the Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011