Mi Ding, Kaipeng Lin, Wang Lin, Zuohua Ding, A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation. IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE). 2022: 263-273. (CCF-B类)

Wang Lin, Zhengfeng Yang, Zuohua Ding, Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming. Journal of Systems Science and Complexity, 2022, 35(3): 1154-1172. (SCI)

Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng and Zhiming Liu. An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. 33rd International Conference on Computer Aided Verification (CAV). 2021:467-490. (CCF-A类)

Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li. Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. 58th ACM/IEEE Design Automation Conference (DAC). 2021: 631-636. (CCF-A类)

Qingye Zhao, Xin Chen, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang and Xuandong Li. Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems. 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2021: 17:1-17:11. (CCF-B类)

Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifan Zhang and Xuandong Li. A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation. Proc. of the 32th International Conference on Computer Aided Verification (CAV), 2020: 582-603. (CCF-A类)

Zhengfeng Yang, Min Wu, Wang Lin. An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems. Nonlinear Analysis: Hybrid Systems, 2020, 36: 100837. (SCI TOP)

Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He. Robustness Verification of Classification Deep Neural Networks via Linear Programming. IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2019: 11418-11427. (CCF-A类)

Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li: Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE Trans. on CAD of Integrated Circuits and Systems. 2018, 37(11): 2768-2778. (CCF-A类)

Xia Zeng, Wang Lin, Zhengfeng Yang, Zhenbing Zeng: Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation. SCIENCE CHINA Information Sciences. 2017, 60(3): 39102. (CCF-A类)

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng: Verification for Non-polynomial Hybrid Systems Using Rational Invariants. Computer Journal. 2017, 60(5): 675-689. (CCF-B类)

Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, Xuandong Li: Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates. ACM Transactions on Embedded Computing Systems. 2017, 16(5): 186:1-186:19.  (CCF-B类)

Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin and Zhiming Liu, A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems, the 21st International Symposium on Formal Methods (FM), 2016, 721-738.  (CCF-A类)

Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen and Lilei Wang, Darboux-type Barrier Certificates for Safety Verification of Nonlinear Hybrid Systems, ACM/IEEE Conference on Embedded Software (EMSOFT), 2016, 11:1-10.  (CCF-B类)

Zhengfeng Yang, Wang Lin and Min Wu, Exact verification of hybrid systems based on bilinear SOS representation. ACM Transactions on Embedded Computing Systems, 2015, 14(1), 1-19.  (CCF-B类)

Wang Lin, Min Wu, Zhengfeng Yang and Zhenbing Zeng, Exact safety verification of hybrid systems using sums-of-squares representation, SCIENCE CHINA Information Sciences, 2014, 57(5): 1-13.  (CCF-A类)

Min Wu, Zhengfeng Yang and Wang Lin, Domain-of-attraction estimation for uncertain non-polynomial systems, Communications in Nonlinear Science and Numerical Simulation, 2014, 19(9), 3044-3052.  (SCI)

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng, Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. Frontiers of Computer Science. 2014, 8(2): 192-202.  (CCF-B类)