Xiyue Zhang
Orcid: 0000-0003-1649-7165Affiliations:
- 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:
Collaborative distances:
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 OtherLinks
Online presence:
-
on orcid.org
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
Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection.
CoRR, 2024
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
Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023
Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023
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
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
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
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
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020
Proceedings of the Coordination Models and Languages, 2020
2019
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
Proceedings of the Services - SERVICES 2019, 2019
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
2018
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018
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
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017
2016
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016