软件工程学院

1. Yueling Zhang, Geguang Pu*, Jun Sun. Accelerating All-SAT Computation with short Blocking Clauses. ASE 2020 CCF A.

2. Lingfeng Zhang, Yueling Zhang*, Min Zhang*. Efficient White-box Fairness Testing through Gradient Search. ISSTA 2021 CCF A.

3. Grigory Fedyukovich, Yueling Zhang, Aarti Gupta. Syntax-Guided Termination Analysis. CAV 2018 CCF A.

4. Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi. SAT-based Explicit LTLf Satisfiability Checking. AAAI 2019 CCF A.

5. Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier. SAT-based Explicit LTLf Satisfiability Checking. Artif. Intell. 2020 CCF A, SCI.

6. Xia Mao; Xin Li; Yanhong Huang; Jianqi Shi; Yueling Zhang. PLC Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems. IEEE Transactions on Industrial Informatics. SCI.

7. Yueling Zhang, Min Zhang*, Geguang Pu*. Optimizing Backbone Filtering. Sci. Comput. Program 2020 CCF B, SCI.

8. Yueling Zhang, Geguang Pu*, Min Zhang*, William Y. Generating Adversarial Examples for DNN using Pooling Layers. J. Intell. Fuzzy Syst 2019 SCI.

9. Yueling Zhang, Min Zhang*, Geguang Pu*, Fu Song, Jianwen Li. Towards Backbone Computing: A Greedy-Whitening based Approach. AI Commun. 2018 SCI.

10. Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi. Safety Model Checking with Complementary Approximations. ICCAD 2017 CCF B.

11. Yueling Zhang, Geguang Pu*, Min Zhang*. SMTBCF: Efficient Backbone Computing for SMT Formulas. ICFEM 2019 CCF C.

12. Yueling Zhang, Jianwen Li, Min Zhang*, Geguang Pu*, Fu Song. Optimizing Backbone Filtering. TASE 2017 CCF C.

13. Bangfeng Xia, Yueling Zhang*, Weiting Chen, Xiangfeng Wang, Jiangtao Wang*. EdgeAugment: Data Augmentation by Fusing and Filling Edge Maps. ICANN 2020 CCF C.

14. Chunguang Jiang, Yueling Zhang*, Jiangtao Wang*, Weiting Chen. Approximated Masked Global Context Network for Skin Lesion Segmentation. ICANN 2021 CCF C.

15. Shunkai Zhou, Yueling Zhang*, Jiangtao Wang*, Guitao Cao. Generating Adversarial Examples by Distributed Upsampling. ICONIP 2021 CCF C

16. Xia Mao, Yueling Zhang, Jianqi Shi, Yanhong Huang, Qin Li. A Refinement Development Approach for Enhancing the Safety of PLC Programs with Event-B. SCP 2021 SCI, CCF B