Follow
Hui Kong
Title
Cited by
Cited by
Year
Exponential-condition-based barrier certificate generation for safety verification of hybrid systems
H Kong, F He, X Song, WNN Hung, M Gu
International Conference on Computer Aided Verification, 242-257, 2013
1212013
Abstraction-Based Parameter Synthesis for Multiaffine Systems
S Bogomolov, C Schilling, E Bartocci, G Batt, H Kong, R Grosu
Hardware and Software: Verification and Testing: 11th International Haifa …, 2015
412015
Safety-assured model-driven design of the multifunction vehicle bus controller
Y Jiang, H Liu, H Song, H Kong, R Wang, Y Guan, L Sha
IEEE Transactions on Intelligent Transportation Systems 19 (10), 3320-3333, 2018
342018
From stateflow simulation to verified implementation: A verification approach and a real-time train controller design
Y Jiang, Y Yang, H Liu, H Kong, M Gu, J Sun, L Sha
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2016
342016
Use Runtime Verification to Improve the Quality of Medical Care Practice
Y Jiang, H Liu, H Kong, R Wang, M Hosseini, J Sun, L Sha
ACM/IEEE 38th ICSE, USA, 2016, 2016
332016
A new barrier certificate for safety verification of hybrid systems
H Kong, X Song, D Han, M Gu, J Sun
The Computer Journal 57 (7), 1033-1045, 2014
282014
Querying process models based on the temporal relations between tasks
L Song, J Wang, L Wen, W Wang, S Tan, H Kong
2011 IEEE 15th International Enterprise Distributed Object Computing …, 2011
232011
Safety verification of nonlinear hybrid systems based on invariant clusters
H Kong, S Bogomolov, C Schilling, Y Jiang, TA Henzinger
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
222017
Uncertainty theory based reliability-centric cyber-physical system design
Y Jiang, M Wang, X Jiao, H Song, H Kong, R Wang, Y Liu, J Wang, J Sun
2019 International Conference on Internet of Things (iThings) and IEEE Green …, 2019
162019
Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
H Kong, E Bartocci, TA Henzinger
International Conference on Computer Aided Verification, 449-467, 2018
142018
Conic abstractions for hybrid systems
S Bogomolov, M Giacobbe, TA Henzinger, H Kong
Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017
102017
Discrete abstraction of multiaffine systems
H Kong, E Bartocci, S Bogomolov, R Grosu, TA Henzinger, Y Jiang, ...
Hybrid Systems Biology: 5th International Workshop, HSB 2016, Grenoble …, 2016
92016
Automatic modelling and verification of Autosar architectures
M Zhang, Y Teng, H Kong, J Baugh, Y Su, J Mi, B Du
Journal of Systems and Software 201, 111675, 2023
32023
Invariant Clusters for Hybrid Systems
H Kong, S Bogomolov, C Schilling, Y Jiang, TA Henzinger
arXiv, 2016
32016
Bounded model checking of synchronous reactive models in ptolemy ii
X Zhang, Z Yang, H Kong, W Kong
2022 29th Asia-Pacific Software Engineering Conference (APSEC), 407-416, 2022
22022
Safety verification of semi-algebraic dynamical systems via inductive invariant
H Kong, F He, X Song, M Gu, H Tan, J Sun
Tsinghua Science and Technology 19 (2), 211-222, 2014
22014
Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
H Kong, E Bartocci, Y Jiang, TA Henzinger
International Conference on Formal Modeling and Analysis of Timed Systems …, 2019
12019
Efficient Semantics‐Based Compliance Checking Using LTL Formulae and Unfolding
L Song, J Wang, L Wen, H Kong
Journal of Applied Mathematics 2013 (1), 962765, 2013
12013
Proving computational geometry algorithms in TLA+ 2
H Kong, H Zhang, X Song, M Gu, J Sun
2011 Fifth International Conference on Theoretical Aspects of Software …, 2011
12011
Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking
X Zhang, Z Yang, H Kong, W Kong
International Journal of Software Engineering and Knowledge Engineering 33 …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20