Volgen
Xiyue Zhang
Xiyue Zhang
Geverifieerd e-mailadres voor bristol.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Towards characterizing adversarial defects of deep learning software from the lens of uncertainty
X Zhang, X Xie, L Ma, X Du, Q Hu, Y Liu, J Zhao, M Sun
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
912020
Decision-guided weighted automata extraction from recurrent neural networks
X Zhang, X Du, X Xie, L Ma, Y Liu, M Sun
Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11699 …, 2021
222021
Using Coq for formal modeling and verification of timed connectors
W Hong, MS Nawaz, X Zhang, Y Li, M Sun
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018
132018
Reasoning about connectors in coq
X Zhang, W Hong, Y Li, M Sun
International Workshop on Formal Aspects of Component Software, 172-190, 2016
132016
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks
Z Wei, X Zhang, Y Zhang, M Sun
Journal of Logical and Algebraic Methods in Programming 136, 100907, 2024
112024
When to trust AI: advances and challenges for certification of neural networks
M Kwiatkowska, X Zhang
2023 18th Conference on Computer Science and Intelligence Systems (FedCSIS …, 2023
102023
Extracting weighted finite automata from recurrent neural networks for natural languages
Z Wei, X Zhang, M Sun
International Conference on Formal Engineering Methods, 370-385, 2022
102022
Towards a formally verified EVM in production environment
X Zhang, Y Li, M Sun
Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference …, 2020
82020
Safe inputs approximation for black-box systems
B Xue, Y Liu, L Ma, X Zhang, M Sun, X Xie
2019 24th International Conference on Engineering of Complex Computer …, 2019
82019
Reasoning about connectors using Coq and Z3
X Zhang, W Hong, Y Li, M Sun
Science of Computer Programming 170, 27-44, 2019
82019
Capturing stochastic and real-time behavior in reo connectors
Y Li, X Zhang, Y Ji, M Sun
Brazilian Symposium on Formal Methods, 287-304, 2017
82017
Using Z3 for formal modeling and verification of FNN global robustness
Y Zhang, Z Wei, X Zhang, M Sun
arXiv preprint arXiv:2304.10558, 2023
72023
Uncertainty-guided testing and robustness enhancement for deep learning systems
X Zhang
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
72020
DeepGlobal: A framework for global robustness verification of feedforward neural networks
W Sun, Y Lu, X Zhang, M Sun
Journal of Systems Architecture 128, 102582, 2022
52022
Provable preimage under-approximation for neural networks
X Zhang, B Wang, M Kwiatkowska
International Conference on Tools and Algorithms for the Construction and …, 2024
42024
On preimage approximation for neural networks
X Zhang, B Wang, M Kwiatkowska
CoRR, vol. abs/2305.03686, 2023
42023
A formal framework capturing real-time and stochastic behavior in connectors
Y Li, X Zhang, Y Ji, M Sun
Science of Computer Programming 177, 19-40, 2019
42019
A relational model for probabilistic connectors based on timed data distribution streams
M Sun, X Zhang
Formal Modeling and Analysis of Timed Systems: 16th International Conference …, 2018
42018
Using LSTM to Predict Tactics in Coq.
X Luan, X Zhang, M Sun
SEKE, 132-137, 2021
32021
Using recurrent neural network to predict tactics for proving component connector properties in Coq
X Zhang, Y Li, W Hong, M Sun
2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019
32019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20