Reasoning About Connectors in Coq. - Xiyue Zhang 001; Weijiang Hong; Yi Li 010; Meng Sun 002 (FACS, 2016)

Capturing Stochastic and Real-Time Behavior in Reo Connectors. - Yi Li 010; Xiyue Zhang 001; Yuanyi Ji; Meng Sun 002 (SBMF, 2017)

Using Coq for Formal Modeling and Verification of Timed Connectors. - Weijiang Hong; M. Saqib Nawaz; Xiyue Zhang 001; Yi Li 010; Meng Sun 002 (SEFM Workshops, 2017)

A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams. - Meng Sun 002; Xiyue Zhang 001 (FORMATS, 2018)

Modeling and Verification of Component Connectors. - Xiyue Zhang 001 (ICFEM, 2018)

Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S). - Xiyue Zhang 001; Meng Sun 002 (SEKE, 2018)

Safe Inputs Approximation for Black-Box Systems. - Bai Xue; Yang Liu 003; Lei Ma 003; Xiyue Zhang 001; Meng Sun 002; Xiaofei Xie (ICECCS, 2019)

SMT-Based Modeling and Verification of Cloud Applications. - Xiyue Zhang 001; Meng Sun 002 (SERVICES, 2019)

Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. - Xiyue Zhang 001; Yi Li 010; Weijiang Hong; Meng Sun 002 (TASE, 2019)

A formal framework capturing real-time and stochastic behavior in connectors. - Yi Li 010; Xiyue Zhang 001; Yuanyi Ji; Meng Sun 002 (Sci. Comput. Program., 2019)

Reasoning about connectors using Coq and Z3. - Xiyue Zhang 001; Weijiang Hong; Yi Li 010; Meng Sun 002 (Sci. Comput. Program., 2019)

Towards a Formally Verified EVM in Production Environment. - Xiyue Zhang 001; Yi Li 010; Meng Sun 002 (COORDINATION, 2020)

Uncertainty-guided testing and robustness enhancement for deep learning systems. - Xiyue Zhang 001 (ICSE (Companion Volume), 2020)

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty. - Xiyue Zhang 001; Xiaofei Xie; Lei Ma 003; Xiaoning Du 001; Qiang Hu; Yang Liu 003; Jianjun Zhao 001; Meng Sun 002 (ICSE, 2020)

Global Robustness Verification Networks. - Weidi Sun; Yuteng Lu; Xiyue Zhang 001; Zhanxing Zhu; Meng Sun 002 (CoRR, 2020)

Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks. - Xiyue Zhang 001; Xiaoning Du 001; Xiaofei Xie; Lei Ma 003; Yang Liu 003; Meng Sun 002 (AAAI, 2021)

Using LSTM to Predict Tactics in Coq. - Xiaokun Luan; Xiyue Zhang 001; Meng Sun 002 (SEKE, 2021)

DeepGlobal: A Global Robustness Verifiable FNN Framework. - Weidi Sun; Yuteng Lu; Xiyue Zhang 001; Meng Sun 002 (SETTA, 2021)

Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. - Zeming Wei; Xiyue Zhang 001; Meng Sun 002 (ICFEM, 2022)

Towards a Unifying Logical Framework for Neural Networks. - Xiyue Zhang 001; Xiaohong Chen 002; Meng Sun 002 (ICTAC, 2022)

DeepGlobal: A framework for global robustness verification of feedforward neural networks. - Weidi Sun; Yuteng Lu; Xiyue Zhang 001; Meng Sun 002 (J. Syst. Archit., 2022)

When to Trust AI: Advances and Challenges for Certification of Neural Networks. - Marta Kwiatkowska; Xiyue Zhang 001 (FedCSIS, 2023)

kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification. - Xiaoyong Xue; Xiyue Zhang 001; Meng Sun 002 (FSEN, 2023)

Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S). - Yihao Zhang; Zeming Wei; Xiyue Zhang 001; Meng Sun 002 (SEKE, 2023)

Using Z3 for Formal Modeling and Verification of FNN Global Robustness. - Yihao Zhang; Zeming Wei; Xiyue Zhang 001; Meng Sun 002 (CoRR, 2023)

On Preimage Approximation for Neural Networks. - Xiyue Zhang 001; Benjie Wang 001; Marta Kwiatkowska (CoRR, 2023)

FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection. - Jialuo Chen; Jingyi Wang 004; Xiyue Zhang 001; Youcheng Sun; Marta Kwiatkowska; Jiming Chen 001; Peng Cheng 001 (ASE, 2024)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks. - Matthias König 005; Xiyue Zhang 001; Holger H. Hoos; Marta Kwiatkowska; Jan N. van Rijn (ECML/PKDD (7), 2024)

Provable Preimage Under-Approximation for Neural Networks. - Xiyue Zhang 001; Benjie Wang 001; Marta Kwiatkowska (TACAS (3), 2024)

Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection. - Xiaokun Luan; Xiyue Zhang 001; Jingyi Wang 004; Meng Sun 002 (CoRR, 2024)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks. - Xiyue Zhang 001; Benjie Wang 001; Marta Kwiatkowska; Huan Zhang (CoRR, 2024)

Risk-Averse Certification of Bayesian Neural Networks. - Xiyue Zhang 001; Zifan Wang; Yulong Gao; Licio Romao; Alessandro Abate; Marta Kwiatkowska (CoRR, 2024)

Weighted automata extraction and explanation of recurrent neural networks for natural language tasks. - Zeming Wei; Xiyue Zhang 001; Yihao Zhang; Meng Sun 002 (J. Log. Algebraic Methods Program., 2024)

Runtime Backdoor Detection for Federated Learning via Representational Dissimilarity Analysis. - Xiyue Zhang 001; Xiaoyong Xue; Xiaoning Du 001; Xiaofei Xie; Yang Liu 003; Meng Sun 002 (IEEE Trans. Dependable Secur. Comput., 2025)