Hong Yi Chen

According to our database1, Hong Yi Chen
  • authored at least 5 papers between 2012 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Termination proofs for linear simple loops.
STTT, 2015

2014
Proving Nontermination via Safety.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013
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

2012
Termination Proofs for Linear Simple Loops.
Proceedings of the Static Analysis - 19th International Symposium, 2012


  Loading...