Xiyue Zhang

According to our database, Xiyue Zhang authored at least 40 papers between 2010 and 2024.

Collaborative distances:

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

2024

Weighted automata extraction and explanation of recurrent neural networks for natural language tasks.

Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun

J. Log. Algebraic Methods Program., January, 2024

Reputation-dependent social learning on the evolution of cooperation in spatial public goods games.

Ji Quan, Xiyue Zhang, Wenman Chen, Caixia Tang, Xianjia Wang

Appl. Math. Comput., 2024

Provable Preimage Under-Approximation for Neural Networks.

Xiyue Zhang, Benjie Wang, Marta Kwiatkowska

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

2023

Aging of Amateur Singers and Non-singers: From Behavior to Resting-state Connectivity.

Xiyue Zhang, Pascale Tremblay

J. Cogn. Neurosci., December, 2023

Rollover Prevention Control of Electric Vehicles Based on Multi-Objective Optimization Coordination Under Extreme Conditions.

Ping Wang, Xiyue Zhang, Jianpeng Shi, Bin Gou, Lin Zhang, Hong Chen, Yunfeng Hu

IEEE Trans. Veh. Technol., October, 2023

In the Age of Collaboration, the Computer-Aided Design Ecosystem is Behind: An Interview Study of Distributed CAD Practice.

Kathy Cheng, Michal K. Davis, Xiyue Zhang, Shurui Zhou, Alison Olechowski

Proc. ACM Hum. Comput. Interact., April, 2023

On Preimage Approximation for Neural Networks.

Xiyue Zhang, Benjie Wang, Marta Kwiatkowska

CoRR, 2023

Using Z3 for Formal Modeling and Verification of FNN Global Robustness.

Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun

CoRR, 2023

Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S).

Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification.

Xiaoyong Xue, Xiyue Zhang, Meng Sun

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

When to Trust AI: Advances and Challenges for Certification of Neural Networks.

Marta Kwiatkowska, Xiyue Zhang

Proceedings of the 18th Conference on Computer Science and Intelligence Systems, 2023

2022

Forecasting traffic flow with spatial-temporal convolutional graph attention networks.

Xiyue Zhang, Yong Xu, Yizhen Shao

Neural Comput. Appl., 2022

DeepGlobal: A framework for global robustness verification of feedforward neural networks.

Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun

J. Syst. Archit., 2022

Spatial-Temporal Sequential Hypergraph Network for Crime Prediction.

Lianghao Xia, Chao Huang, Yong Xu, Peng Dai, Liefeng Bo, Xiyue Zhang, Tianyi Chen

CoRR, 2022

Towards a Unifying Logical Framework for Neural Networks.

Xiyue Zhang, Xiaohong Chen, Meng Sun

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages.

Zeming Wei, Xiyue Zhang, Meng Sun

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Malware on Internet of UAVs Detection Combining String Matching and Fourier Transformation.

Weina Niu, Jian'An Xiao, Xiyue Zhang, Xiaosong Zhang, Xiaojiang Du, Xiaoming Huang, Mohsen Guizani

IEEE Internet Things J., 2021

DeepGlobal: A Global Robustness Verifiable FNN Framework.

Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Using LSTM to Predict Tactics in Coq.

Xiaokun Luan, Xiyue Zhang, Meng Sun

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Spatial-Temporal Sequential Hypergraph Network for Crime Prediction with Dynamic Multiplex Relation Learning.

Lianghao Xia, Chao Huang, Yong Xu, Peng Dai, Liefeng Bo, Xiyue Zhang, Tianyi Chen

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Traffic Flow Forecasting with Spatial-Temporal Graph Diffusion Network.

Xiyue Zhang, Chao Huang, Yong Xu, Lianghao Xia, Peng Dai, Liefeng Bo, Junbo Zhang, Yu Zheng

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks.

Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Knowledge-Enhanced Hierarchical Graph Transformer Network for Multi-Behavior Recommendation.

Lianghao Xia, Chao Huang, Yong Xu, Peng Dai, Xiyue Zhang, Hongsheng Yang, Jian Pei, Liefeng Bo

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Global Robustness Verification Networks.

Weidi Sun, Yuteng Lu, Xiyue Zhang, Zhanxing Zhu, Meng Sun

CoRR, 2020

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty.

Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Uncertainty-guided testing and robustness enhancement for deep learning systems.

Xiyue Zhang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Towards a Formally Verified EVM in Production Environment.

Xiyue Zhang, Yi Li, Meng Sun

Proceedings of the Coordination Models and Languages, 2020

Spatial-Temporal Convolutional Graph Attention Networks for Citywide Traffic Flow Forecasting.

Xiyue Zhang, Chao Huang, Yong Xu, Lianghao Xia

Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020

2019

Reasoning about connectors using Coq and Z3.

Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun

Sci. Comput. Program., 2019

A formal framework capturing real-time and stochastic behavior in connectors.

Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun

Sci. Comput. Program., 2019

Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq.

Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

SMT-Based Modeling and Verification of Cloud Applications.

Xiyue Zhang, Meng Sun

Proceedings of the Services - SERVICES 2019, 2019

Safe Inputs Approximation for Black-Box Systems.

Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S).

Xiyue Zhang, Meng Sun

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Modeling and Verification of Component Connectors.

Xiyue Zhang

Proceedings of the Formal Methods and Software Engineering, 2018

A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams.

Meng Sun, Xiyue Zhang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

2017

Using Coq for Formal Modeling and Verification of Timed Connectors.

Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun

Proceedings of the Software Engineering and Formal Methods, 2017

Capturing Stochastic and Real-Time Behavior in Reo Connectors.

Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2016

Reasoning About Connectors in Coq.

Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2010

Liver cancer identification based on PSO-SVM model.

Huiyan Jiang, Fengzhen Tang, Xiyue Zhang

Proceedings of the 11th International Conference on Control, 2010