Xiyue Zhang - RankMe

44 papers A* 3B 2C 8Misc 2Journal 21Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Calibrated Adversarial Sampling: Multi-Armed Bandit-Guided Generalization Against Unforeseen Attacks. CoRR Rui Wang, Zeming Wei, Xiyue Zhang, Meng Sun
2025	J	`jnl`	PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks. J. Mach. Learn. Res. Xiyue Zhang, Benjie Wang, Marta Kwiatkowska, Huan Zhang
2025	J	`jnl`	Protecting Deep Learning Model Copyrights With Adversarial Example-Free Reuse Detection. IEEE Trans. Neural Networks Learn. Syst. Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun
2025	J	`jnl`	Runtime Backdoor Detection for Federated Learning via Representational Dissimilarity Analysis. CoRR Xiyue Zhang, Xiaoyong Xue, Xiaoning Du, Xiaofei Xie, Yang Liu, Meng Sun
2025	J	`jnl`	Runtime Backdoor Detection for Federated Learning via Representational Dissimilarity Analysis. IEEE Trans. Dependable Secur. Comput. Xiyue Zhang, Xiaoyong Xue, Xiaoning Du, Xiaofei Xie, Yang Liu, Meng Sun
2024	—	`conf`	Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks. ECML/PKDD (7) Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn
2024	J	`jnl`	Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks. CoRR Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn
2024	A*	`conf`	FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection. ASE Jialuo Chen, Jingyi Wang, Xiyue Zhang, Youcheng Sun, Marta Kwiatkowska, Jiming Chen, Peng Cheng
2024	J	`jnl`	FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection. CoRR Jialuo Chen, Jingyi Wang, Xiyue Zhang, Youcheng Sun, Marta Kwiatkowska, Jiming Chen, Peng Cheng
2024	J	`jnl`	PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks. CoRR Xiyue Zhang, Benjie Wang, Marta Kwiatkowska, Huan Zhang
2024	J	`jnl`	Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection. CoRR Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun
2024	—	`conf`	Provable Preimage Under-Approximation for Neural Networks. TACAS (3) Xiyue Zhang, Benjie Wang, Marta Kwiatkowska
2024	J	`jnl`	Risk-Averse Certification of Bayesian Neural Networks. CoRR Xiyue Zhang, Zifan Wang, Yulong Gao, Licio Romao, Alessandro Abate, Marta Kwiatkowska
2024	J	`jnl`	Weighted automata extraction and explanation of recurrent neural networks for natural language tasks. J. Log. Algebraic Methods Program. Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun
2023	J	`jnl`	On Preimage Approximation for Neural Networks. CoRR Xiyue Zhang, Benjie Wang, Marta Kwiatkowska
2023	C	`conf`	Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S). SEKE Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun
2023	J	`jnl`	Using Z3 for Formal Modeling and Verification of FNN Global Robustness. CoRR Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun
2023	J	`jnl`	Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks. CoRR Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun
2023	C	`conf`	When to Trust AI: Advances and Challenges for Certification of Neural Networks. FedCSIS Marta Kwiatkowska, Xiyue Zhang
2023	J	`jnl`	When to Trust AI: Advances and Challenges for Certification of Neural Networks. CoRR Marta Kwiatkowska, Xiyue Zhang
2023	—	`conf`	kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification. FSEN Xiaoyong Xue, Xiyue Zhang, Meng Sun
2022	J	`jnl`	DeepGlobal: A framework for global robustness verification of feedforward neural networks. J. Syst. Archit. Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun
2022	C	`conf`	Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. ICFEM Zeming Wei, Xiyue Zhang, Meng Sun
2022	J	`jnl`	Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. CoRR Zeming Wei, Xiyue Zhang, Meng Sun
2022	C	`conf`	Towards a Unifying Logical Framework for Neural Networks. ICTAC Xiyue Zhang, Xiaohong Chen, Meng Sun
2021	A*	`conf`	Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks. AAAI Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun
2021	Misc	`conf`	DeepGlobal: A Global Robustness Verifiable FNN Framework. SETTA Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun
2021	C	`conf`	Using LSTM to Predict Tactics in Coq. SEKE Xiaokun Luan, Xiyue Zhang, Meng Sun
2020	J	`jnl`	Global Robustness Verification Networks. CoRR Weidi Sun, Yuteng Lu, Xiyue Zhang, Zhanxing Zhu, Meng Sun
2020	J	`jnl`	Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty. CoRR Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun
2020	C	`conf`	Towards a Formally Verified EVM in Production Environment. COORDINATION Xiyue Zhang, Yi Li, Meng Sun
2020	A*	`conf`	Towards characterizing adversarial defects of deep learning software from the lens of uncertainty. ICSE Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun
2020	—	`conf`	Uncertainty-guided testing and robustness enhancement for deep learning systems. ICSE (Companion Volume) Xiyue Zhang
2019	J	`jnl`	A formal framework capturing real-time and stochastic behavior in connectors. Sci. Comput. Program. Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun
2019	J	`jnl`	Reasoning about connectors using Coq and Z3. Sci. Comput. Program. Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
2019	B	`conf`	SMT-Based Modeling and Verification of Cloud Applications. SERVICES Xiyue Zhang, Meng Sun
2019	B	`conf`	Safe Inputs Approximation for Black-Box Systems. ICECCS Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie
2019	Misc	`conf`	Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. TASE Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun
2018	—	`conf`	A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams. FORMATS Meng Sun, Xiyue Zhang
2018	C	`conf`	Modeling and Verification of Component Connectors. ICFEM Xiyue Zhang
2018	C	`conf`	Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S). SEKE Xiyue Zhang, Meng Sun
2017	—	`conf`	Capturing Stochastic and Real-Time Behavior in Reo Connectors. SBMF Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun
2017	—	`conf`	Using Coq for Formal Modeling and Verification of Timed Connectors. SEFM Workshops Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun
2016	—	`conf`	Reasoning About Connectors in Coq. FACS Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun