Yueling Zhang

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 27

Top Topics

Computationally Expensive

Bounded Model Checking

Termination Analysis

Top Venues

Sci. Comput. Program.

Publications

Hao Di, Haishan Ye, Yueling Zhang, Xiangyu Chang, Guang Dai, Ivor W. Tsang
Double Variance Reduction: A Smoothing Trick for Composite Optimization Problems without First-Order Gradient. CoRR (2024)
Simiao Zhang, Jiaping Wang, Guoliang Dong, Jun Sun, Yueling Zhang, Geguang Pu
Experimenting a New Programming Practice with LLMs. CoRR (2024)
Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
Boosting Verified Training for Robust Image Classifications via Abstraction. CVPR (2023)
Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
Boosting Verified Training for Robust Image Classifications via Abstraction. CoRR (2023)
Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. TACAS (1) (2023)
Simiao Zhang, Jitao Bai, Menghong Guan, Yihao Huang, Yueling Zhang, Jun Sun, Geguang Pu
Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework. CoRR (2023)
Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. CoRR (2023)
Xia Mao, Xin Li, Yanhong Huang, Jianqi Shi, Yueling Zhang
Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems. IEEE Trans. Ind. Informatics 18 (7) (2022)
Xia Mao, Yueling Zhang, Jianqi Shi, Yanhong Huang, Qin Li
A refinement development approach for enhancing the safety of PLC programs with Event-B. Sci. Comput. Program. 215 (2022)
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
AI-enabled Automatic Multimodal Fusion of Cone-Beam CT and Intraoral Scans for Intelligent 3D Tooth-Bone Reconstruction and Clinical Applications. CoRR (2022)
Jinlei Liu, Wenchao Dan, Nuo Cheng, Wenjing Lian, Peirong Qu, Hui Zhang, Yueling Zhang, Jie Wang
Knowledge Graph of Artificial Intelligence in Medicine: A Scientometric Analysis. DSC (2022)
Lingfeng Zhang, Yueling Zhang, Min Zhang
Efficient white-box fairness testing through gradient search. ISSTA (2021)
Shunkai Zhou, Yueling Zhang, Guitao Cao, Jiangtao Wang
Generating Adversarial Examples by Distributed Upsampling. ICONIP (1) (2021)
Chunguang Jiang, Yueling Zhang, Jiangtao Wang, Weiting Chen
Approximated Masked Global Context Network for Skin Lesion Segmentation. ICANN (3) (2021)
Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier
SAT-based explicit LTLf satisfiability checking. Artif. Intell. 289 (2020)
Bangfeng Xia, Yueling Zhang, Weiting Chen, Xiangfeng Wang, Jiangtao Wang
EdgeAugment: Data Augmentation by Fusing and Filling Edge Maps. ICANN (1) (2020)
Yueling Zhang, Geguang Pu, Jun Sun
Accelerating All-SAT Computation with Short Blocking Clauses. ASE (2020)
Yueling Zhang, Min Zhang, Geguang Pu
Optimizing backbone filtering. Sci. Comput. Program. 187 (2020)
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
SAT-Based Explicit LTLf Satisfiability Checking. AAAI (2019)
Yueling Zhang, Geguang Pu, Min Zhang
SMTBCF: Efficient Backbone Computing for SMT Formulas. ICFEM (2019)
Yueling Zhang, Geguang Pu, Min Zhang, William Y
Generating adversarial examples for DNN using pooling layers. J. Intell. Fuzzy Syst. 37 (4) (2019)
Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li
Towards backbone computing: A Greedy-Whitening based approach. AI Commun. 31 (3) (2018)
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
SAT-based Explicit LTLf Satisfiability Checking. CoRR (2018)
Grigory Fedyukovich, Yueling Zhang, Aarti Gupta
Syntax-Guided Termination Analysis. CAV (1) (2018)
Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song
Optimizing backbone filtering. TASE (2017)
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
Safety model checking with complementary approximations. ICCAD (2017)
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
Approximate Reachability. CoRR (2016)
Shaojing Sun, Fuping Lu, Hui Song, Jianyong Xu, Nan Jiang, Yueling Zhang, Li Li, Tan Ming, Wen Zheng
Cloning, expression and characterization of a thermostable pullulanase from newly isolated thermophilic Geobacillus sp. LM14-3. BMEI (2011)