Xiyue Zhang

Orcid: 0000-0003-1649-7165

Affiliations:
  • University of Bristol, UK
  • University of Oxford, Oxford, UK (former)


According to our database1, Xiyue Zhang authored at least 33 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
8
4
2
1
1
2
3
3
2
3
3
3
3
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks.
J. Log. Algebraic Methods Program., January, 2024

Risk-Averse Certification of Bayesian Neural Networks.
CoRR, 2024

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks.
CoRR, 2024

Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection.
CoRR, 2024

Provable Preimage Under-Approximation for Neural Networks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks.
Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2024

FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection.
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

2023
On Preimage Approximation for Neural Networks.
CoRR, 2023

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

Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S).
Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification.
Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

When to Trust AI: Advances and Challenges for Certification of Neural Networks.
Proceedings of the 18th Conference on Computer Science and Intelligence Systems, 2023

2022
DeepGlobal: A framework for global robustness verification of feedforward neural networks.
J. Syst. Archit., 2022

Towards a Unifying Logical Framework for Neural Networks.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages.
Proceedings of the Formal Methods and Software Engineering, 2022

2021
DeepGlobal: A Global Robustness Verifiable FNN Framework.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Using LSTM to Predict Tactics in Coq.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Global Robustness Verification Networks.
CoRR, 2020

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty.
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.
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.
Proceedings of the Coordination Models and Languages, 2020

2019
Reasoning about connectors using Coq and Z3.
Sci. Comput. Program., 2019

A formal framework capturing real-time and stochastic behavior in connectors.
Sci. Comput. Program., 2019

Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

SMT-Based Modeling and Verification of Cloud Applications.
Proceedings of the Services - SERVICES 2019, 2019

Safe Inputs Approximation for Black-Box Systems.
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).
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Modeling and Verification of Component Connectors.
Proceedings of the Formal Methods and Software Engineering, 2018

A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

2017
Using Coq for Formal Modeling and Verification of Timed Connectors.
Proceedings of the Software Engineering and Formal Methods, 2017

Capturing Stochastic and Real-Time Behavior in Reo Connectors.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2016
Reasoning About Connectors in Coq.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016


  Loading...