Hui Kong

Hui Kong

Huawei Technologies - Shenzhen / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4463783
华为技术
person_outline Hui Kong's MOST POPULAR ARTICLES
1-) Exponential-condition-based barrier certificate generation for safety verification of hybrid systemsH Kong, F He, X Song, WNN Hung, M GuInternational Conference on Computer Aided Verification, 242-257, 2013932013
2-) Abstraction-Based Parameter Synthesis for Multiaffine SystemsS Bogomolov, C Schilling, E Bartocci, G Batt, H Kong, R GrosuHardware and Software: Verification and Testing: 11th International Haifa …, 2015412015
3-) Safety-assured model-driven design of the multifunction vehicle bus controllerY Jiang, H Liu, H Song, H Kong, R Wang, Y Guan, L ShaIEEE Transactions on Intelligent Transportation Systems 19 (10), 3320-3333, 2018342018
4-) From stateflow simulation to verified implementation: A verification approach and a real-time train controller designY Jiang, Y Yang, H Liu, H Kong, M Gu, J Sun, L Sha2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2016342016
5-) Use Runtime Verification to Improve the Quality of Medical Care PracticeY Jiang, H Liu, H Kong, R Wang, M Hosseini, J Sun, L ShaACM/IEEE 38th ICSE, USA, 2016, 2016332016