Xiyue Zhang

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 47

Top Topics

Top Venues

Publications

Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks. J. Log. Algebraic Methods Program. 136 (2024)
Xiyue Zhang, Benjie Wang, Marta Kwiatkowska
Provable Preimage Under-Approximation for Neural Networks. TACAS (3) (2024)
Ji Quan, Xiyue Zhang, Wenman Chen, Caixia Tang, Xianjia Wang
Reputation-dependent social learning on the evolution of cooperation in spatial public goods games. Appl. Math. Comput. 475 (2024)
Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun
Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection. CoRR (2024)
Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks. CoRR (2024)
Kathy Cheng, Michal K. Davis, Xiyue Zhang, Shurui Zhou, Alison Olechowski
In the Age of Collaboration, the Computer-Aided Design Ecosystem is Behind: An Interview Study of Distributed CAD Practice. Proc. ACM Hum. Comput. Interact. 7 (CSCW1) (2023)
Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun
Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks. CoRR (2023)
Marta Kwiatkowska, Xiyue Zhang
When to Trust AI: Advances and Challenges for Certification of Neural Networks. FedCSIS (2023)
Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun
Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S). SEKE (2023)
Marta Kwiatkowska, Xiyue Zhang
When to Trust AI: Advances and Challenges for Certification of Neural Networks. CoRR (2023)
Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun
Using Z3 for Formal Modeling and Verification of FNN Global Robustness. CoRR (2023)
Ping Wang, Xiyue Zhang, Jianpeng Shi, Bin Gou, Lin Zhang, Hong Chen, Yunfeng Hu
Rollover Prevention Control of Electric Vehicles Based on Multi-Objective Optimization Coordination Under Extreme Conditions. IEEE Trans. Veh. Technol. 72 (10) (2023)
Xiyue Zhang, Benjie Wang, Marta Kwiatkowska
On Preimage Approximation for Neural Networks. CoRR (2023)
Xiyue Zhang, Pascale Tremblay
Aging of Amateur Singers and Non-singers: From Behavior to Resting-state Connectivity. J. Cogn. Neurosci. 35 (12) (2023)
Xiaoyong Xue, Xiyue Zhang, Meng Sun
kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification. FSEN (2023)
Xiyue Zhang, Yong Xu, Yizhen Shao
Forecasting traffic flow with spatial-temporal convolutional graph attention networks. Neural Comput. Appl. 34 (18) (2022)
Zeming Wei, Xiyue Zhang, Meng Sun
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. ICFEM (2022)
Xiyue Zhang, Xiaohong Chen, Meng Sun
Towards a Unifying Logical Framework for Neural Networks. ICTAC (2022)
Zeming Wei, Xiyue Zhang, Meng Sun
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. CoRR (2022)
Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun
DeepGlobal: A framework for global robustness verification of feedforward neural networks. J. Syst. Archit. 128 (2022)
Lianghao Xia, Chao Huang, Yong Xu, Peng Dai, Liefeng Bo, Xiyue Zhang, Tianyi Chen
Spatial-Temporal Sequential Hypergraph Network for Crime Prediction. CoRR (2022)
Xiyue Zhang, Chao Huang, Yong Xu, Lianghao Xia, Peng Dai, Liefeng Bo, Junbo Zhang, Yu Zheng
Traffic Flow Forecasting with Spatial-Temporal Graph Diffusion Network. CoRR (2021)
Xiyue Zhang, Chao Huang, Yong Xu, Lianghao Xia, Peng Dai, Liefeng Bo, Junbo Zhang, Yu Zheng
Traffic Flow Forecasting with Spatial-Temporal Graph Diffusion Network. AAAI (2021)
Xiaokun Luan, Xiyue Zhang, Meng Sun
Using LSTM to Predict Tactics in Coq. SEKE (2021)
Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun
Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks. AAAI (2021)
Weina Niu, Jian'An Xiao, Xiyue Zhang, Xiaosong Zhang, Xiaojiang Du, Xiaoming Huang, Mohsen Guizani
Malware on Internet of UAVs Detection Combining String Matching and Fourier Transformation. IEEE Internet Things J. 8 (12) (2021)
Lianghao Xia, Chao Huang, Yong Xu, Peng Dai, Xiyue Zhang, Hongsheng Yang, Jian Pei, Liefeng Bo
Knowledge-Enhanced Hierarchical Graph Transformer Network for Multi-Behavior Recommendation. AAAI (2021)
Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun
DeepGlobal: A Global Robustness Verifiable FNN Framework. SETTA (2021)
Lianghao Xia, Chao Huang, Yong Xu, Peng Dai, Xiyue Zhang, Hongsheng Yang, Jian Pei, Liefeng Bo
Knowledge-Enhanced Hierarchical Graph Transformer Network for Multi-Behavior Recommendation. CoRR (2021)
Lianghao Xia, Chao Huang, Yong Xu, Peng Dai, Liefeng Bo, Xiyue Zhang, Tianyi Chen
Spatial-Temporal Sequential Hypergraph Network for Crime Prediction with Dynamic Multiplex Relation Learning. IJCAI (2021)
Xiyue Zhang, Chao Huang, Yong Xu, Lianghao Xia
Spatial-Temporal Convolutional Graph Attention Networks for Citywide Traffic Flow Forecasting. CIKM (2020)
Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun
Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty. CoRR (2020)
Xiyue Zhang
Uncertainty-guided testing and robustness enhancement for deep learning systems. ICSE (Companion Volume) (2020)
Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun
Towards characterizing adversarial defects of deep learning software from the lens of uncertainty. ICSE (2020)
Xiyue Zhang, Yi Li, Meng Sun
Towards a Formally Verified EVM in Production Environment. COORDINATION (2020)
Weidi Sun, Yuteng Lu, Xiyue Zhang, Zhanxing Zhu, Meng Sun
Global Robustness Verification Networks. CoRR (2020)
Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun
Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. TASE (2019)
Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie
Safe Inputs Approximation for Black-Box Systems. ICECCS (2019)
Xiyue Zhang, Meng Sun
SMT-Based Modeling and Verification of Cloud Applications. SERVICES (2019)
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
Reasoning about connectors using Coq and Z3. Sci. Comput. Program. 170 (2019)
Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun
A formal framework capturing real-time and stochastic behavior in connectors. Sci. Comput. Program. 177 (2019)
Xiyue Zhang
Modeling and Verification of Component Connectors. ICFEM (2018)
Meng Sun, Xiyue Zhang
A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams. FORMATS (2018)
Xiyue Zhang, Meng Sun
Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S). SEKE (2018)
Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun
Capturing Stochastic and Real-Time Behavior in Reo Connectors. SBMF (2017)
Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun
Using Coq for Formal Modeling and Verification of Timed Connectors. SEFM Workshops (2017)
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
Reasoning About Connectors in Coq. FACS (2016)
Huiyan Jiang, Fengzhen Tang, Xiyue Zhang
Liver cancer identification based on PSO-SVM model. ICARCV (2010)