2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SE2013★ 2 cited
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
Hui Kong, Fei He, Xiaoyu Song +2
A barrier certificate is an inductive invariant function which can be used for the safety verification of a hybrid system. Safety verification based on barrier certificate has the…
cs.NI2011
Towards High-Performance Network Application Identification With Aggregate-Flow Cache
Fei He, Fan Xiang, Yibo Xue +1
Classifying network traffic according to their application-layer protocols is an important task in modern networks for traffic management and network security. Existing payload-bas…