Hui Kong

• Affiliations:

• Dept. of Computer Science&Technology, Tsinghua University, Beijing, China,School of Software, Tsinghua University, Beijing, China,Tsinghua National Laboratory for Information Science and Techn ...

• Organizations:

• China Nat. Pet. Corp.;China Nat. Pet. Corp.;Corporate Research Beijing;Corporate Research Beijing;School of Software College;Tsinghua University;Tsinghua University;

• Fields:
• safety verification Exponential Condition geometric algorithm Exponential-Condition-Based barrier certificate generation barrier certificate conservative barrier certificate critical safety property hybrid systemsA barrier certificate new barrier certificate condition formal method

• Proving Computational Geometry Algorithms in TLA+2

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

  TASE '11 Proceedings of the 2011 Fifth International Conference on Theoretical Aspects of Software Engineering

• Exponential-Condition-Based barrier certificate generation for safety verification of hybrid systems

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

  CAV'13 Proceedings of the 25th international conference on Computer Aided Verification