Travelled to:2 × France
Collaborated with:S.Flur S.Mukhopadhyay B.Cook C.Fuhs K.Nimkar P.W.O'Hearn
Talks about:nontermin (1) termin (1) safeti (1) linear (1) simpl (1) prove (1) proof (1) loop (1)
Person: Hong Yi Chen
DBLP: Chen:Hong_Yi
Contributed to:
2014
2012Wrote 2 papers:
- TACAS-2014-ChenCFNO #proving #safety
- Proving Nontermination via Safety (HYC, BC, CF, KN, PWO), pp. 156–171.
- SAS-2012-ChenFM #linear #proving #termination
- Termination Proofs for Linear Simple Loops (HYC, SF, SM), pp. 422–438.