Enyi Tang
发表
Zhendong Su,
Zhenyu Chen,
Xuandong Li,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).
Xin Chen,
Lei Bu,
Xuandong Li,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Earl T. Barr,
Enyi Tang,
ZhenDong Su,
2014
.
Bin Li,
Juan Zhai,
Jianhua Zhao,
2017,
2017 24th Asia-Pacific Software Engineering Conference (APSEC).
Xin Chen,
Lei Bu,
Xuandong Li,
2018,
Symposium on Real-Time and Hybrid Systems.
Jianhua Zhao,
Xuandong Li,
Linzhang Wang,
2012,
2012 28th IEEE International Conference on Software Maintenance (ICSM).
Zhengxing Sun,
Enyi Tang,
Lisha Zhang,
2005,
ICNC.
Xiangyu Zhang,
Zhenyu Chen,
Xuandong Li,
2017,
IEEE Transactions on Software Engineering.
Zhenyu Chen,
Tianyu Liu,
Shuai Wei,
2014,
2014 Eighth International Conference on Software Security and Reliability.
Zhendong Su,
Xuandong Li,
Earl T. Barr,
2010,
ISSTA '10.
Chao Huang,
Shengchao Qin,
Enyi Tang,
2020,
2020 IEEE International Conference on Robotics and Automation (ICRA).
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations
Zhengfeng Yang,
Wang Lin,
Enyi Tang,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).
Haipeng Cai,
Na Meng,
Enyi Tang,
2021,
ArXiv.
Zhengfeng Yang,
Wang Lin,
Enyi Tang,
2021,
HSCC.