Hong Yi Chen
According to our database1, Hong Yi Chen authored at least 5 papers between 2012 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Termination proofs for linear simple loops.
Proving Nontermination via Safety.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
A 10 Gbps in-line network security processor based on configurable hetero-multi-cores.
Journal of Zhejiang University - Science C, 2013
Control Flow Refinement and Symbolic Computation of Average Case Bound.
Proceedings of the Automated Technology for Verification and Analysis, 2013
Termination Proofs for Linear Simple Loops.
Proceedings of the Static Analysis - 19th International Symposium, 2012