| 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 | 107 | 2013 |
| 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 | 42 | 2015 |
| 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 | 34 | 2016 |
| 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 | 34 | 2016 |
| 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 | 28 | 2018 |
| 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 | 27 | 2014 |
| 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 | 22 | 2011 |
| 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 | 21 | 2017 |
| 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 | 16 | 2019 |
| 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 | 13 | 2018 |
| Conic abstractions for hybrid systems S Bogomolov, M Giacobbe, TA Henzinger, H Kong Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017 | 8 | 2017 |
| 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 | 7 | 2016 |
| 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 | 2 | 2022 |
| Invariant Clusters for Hybrid Systems H Kong, S Bogomolov, C Schilling, Y Jiang, TA Henzinger arXiv, 2016 | 2 | 2016 |
| 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 | 2 | 2014 |
| 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 | 1 | 2019 |
| Efficient semantics-based compliance checking using LTL formulae and unfolding L Song, J Wang, L Wen, H Kong Journal of Applied Mathematics 2013, 2013 | 1 | 2013 |
| 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 | 1 | 2011 |
| 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 | | 2023 |
| 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 |
Yu JiangTsinghua UniversityVerified email at mail.tsinghua.edu.cn
