Yueling Zhang

According to our database, Yueling Zhang authored at least 23 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Experimenting a New Programming Practice with LLMs.

Simiao Zhang, Jiaping Wang, Guoliang Dong, Jun Sun, Yueling Zhang, Geguang Pu

CoRR, 2024

2023

Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework.

Simiao Zhang, Jitao Bai, Menghong Guan, Yihao Huang, Yueling Zhang, Jun Sun, Geguang Pu

CoRR, 2023

OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks.

Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Boosting Verified Training for Robust Image Classifications via Abstraction.

Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems.

Xia Mao, Xin Li, Yanhong Huang, Jianqi Shi, Yueling Zhang

IEEE Trans. Ind. Informatics, 2022

A refinement development approach for enhancing the safety of PLC programs with Event-B.

Xia Mao, Yueling Zhang, Jianqi Shi, Yanhong Huang, Qin Li

Sci. Comput. Program., 2022

AI-enabled Automatic Multimodal Fusion of Cone-Beam CT and Intraoral Scans for Intelligent 3D Tooth-Bone Reconstruction and Clinical Applications.

Jin Hao, Jiaxiang Liu, Jin Li, Wei Pan, Ruizhe Chen, Huimin Xiong, Kaiwei Sun, Hangzheng Lin, Wanlu Liu, Wanghui Ding, Jianfei Yang, Haoji Hu, Yueling Zhang, Yang Feng, Zeyu Zhao, Huikai Wu, Youyi Zheng, Bing Fang, Zuozhu Liu, Zhihe Zhao

CoRR, 2022

Knowledge Graph of Artificial Intelligence in Medicine: A Scientometric Analysis.

Jinlei Liu, Wenchao Dan, Nuo Cheng, Wenjing Lian, Peirong Qu, Hui Zhang, Yueling Zhang, Jie Wang

Proceedings of the 7th IEEE International Conference on Data Science in Cyberspace, 2022

2021

Efficient white-box fairness testing through gradient search.

Lingfeng Zhang, Yueling Zhang, Min Zhang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Generating Adversarial Examples by Distributed Upsampling.

Shunkai Zhou, Yueling Zhang, Guitao Cao, Jiangtao Wang

Proceedings of the Neural Information Processing - 28th International Conference, 2021

Approximated Masked Global Context Network for Skin Lesion Segmentation.

Chunguang Jiang, Yueling Zhang, Jiangtao Wang, Weiting Chen

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2021, 2021

2020

Optimizing backbone filtering.

Yueling Zhang, Min Zhang, Geguang Pu

Sci. Comput. Program., 2020

SAT-based explicit LTLf satisfiability checking.

Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier

Artif. Intell., 2020

Accelerating All-SAT Computation with Short Blocking Clauses.

Yueling Zhang, Geguang Pu, Jun Sun

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

EdgeAugment: Data Augmentation by Fusing and Filling Edge Maps.

Bangfeng Xia, Yueling Zhang, Weiting Chen, Xiangfeng Wang, Jiangtao Wang

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2020, 2020

2019

Generating adversarial examples for DNN using pooling layers.

Yueling Zhang, Geguang Pu, Min Zhang, William Y

J. Intell. Fuzzy Syst., 2019

SMTBCF: Efficient Backbone Computing for SMT Formulas.

Yueling Zhang, Geguang Pu, Min Zhang

Proceedings of the Formal Methods and Software Engineering, 2019

2018

Towards backbone computing: A Greedy-Whitening based approach.

Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li

AI Commun., 2018

Syntax-Guided Termination Analysis.

Grigory Fedyukovich, Yueling Zhang, Aarti Gupta

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Optimizing backbone filtering.

Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Safety model checking with complementary approximations.

Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

2016

Approximate Reachability.

Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi

CoRR, 2016

2011

Cloning, expression and characterization of a thermostable pullulanase from newly isolated thermophilic Geobacillus sp. LM14-3.

Shaojing Sun, Fuping Lu, Hui Song, Jianyong Xu, Nan Jiang, Yueling Zhang, Li Li, Tan Ming, Wen Zheng

Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011