Travelled to:1 × Norway
1 × Singapore
1 × USA
Collaborated with:N.Zhan H.Zhao M.Fränzle P.N.Mosaad J.Liu M.Yang B.Gu Y.Chen X.Xie B.C.0001 S.Lin Y.L.0003 X.Li
Talks about:verif (2) elementari (1) differenti (1) transform (1) loopster (1) abstract (1) variabl (1) program (1) guidanc (1) descent (1)
Person: Liang Zou
DBLP: Zou:Liang
Contributed to:
2015
20152014
2017Wrote 4 papers:
- CAV-2015-ZouFZM #automation #difference #equation #safety #verification
- Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.
- FM-2015-0009ZZZ #abstraction #hybrid
- Abstraction of Elementary Hybrid Systems by Variable Transformation (JL, NZ, HZ, LZ), pp. 360–377.
- FM-2014-ZhaoYZGZC #verification
- Formal Verification of a Descent Guidance Control Program of a Lunar Lander (HZ, MY, NZ, BG, LZ, YC), pp. 733–748.
- ESEC-FSE-2017-XieCZLLL #analysis #named #termination
- Loopster: static loop termination analysis (XX, BC0, LZ, SWL, YL0, XL), pp. 84–94.