Jiangchao Liu
发表
A. Liu,
Jiangchao Liu,
Jierui Liu,
2022,
2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).
Liqian Chen,
Jiangchao Liu,
Renjue Li,
2021,
Formal Aspects of Computing.
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
pdf
Liqian Chen,
Xiaowei Huang,
Jianlin Li,
2019,
SAS.
Liqian Chen,
Jiangchao Liu,
Ji Wang,
2020,
IEEE Transactions on Reliability.
Xavier Rival,
Liqian Chen,
Jiangchao Liu,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Deepak Kapur,
Liqian Chen,
Antoine Miné,
2014,
SAS.
Jingling Xue,
Alex X. Liu,
Peng Di,
2023,
ISSTA.
Jingling Xue,
Peng Di,
Hengjie Zheng,
2022,
ArXiv.
Ji Wang,
Liqian Chen,
Jiangchao Liu,
2012,
2012 IEEE International Conference on Information Science and Technology.
Patrick Cousot,
Liqian Chen,
Ji Wang,
2019,
SAS.
Liqian Chen,
Jiangchao Liu,
Ji Wang,
2020,
ArXiv.
Liqian Chen,
Jiangchao Liu,
Banghu Yin,
2022,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Xavier Rival,
Jiangchao Liu,
Xavier Rival,
2017,
Comput. Lang. Syst. Struct..