Xiyue Zhang
Cited by
Cited by
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
Reasoning about connectors in Coq
X Zhang, W Hong, Y Li, M Sun
Formal Aspects of Component Software: 13th International Conference, FACS …, 2017
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
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
Capturing stochastic and real-time behavior in Reo connectors
Y Li, X Zhang, Y Ji, M Sun
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017
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
Reasoning about connectors using Coq and Z3
X Zhang, W Hong, Y Li, M Sun
Science of Computer Programming 170, 27-44, 2019
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
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
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
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
Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S).
X Zhang, M Sun
SEKE, 385-384, 2018
Uncertainty-guided testing and robustness enhancement for deep learning systems
X Zhang
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
DeepGlobal: A Global Robustness Verifiable FNN Framework
W Sun, Y Lu, X Zhang, M Sun
Dependable Software Engineering. Theories, Tools, and Applications: 7th …, 2021
Global Robustness Verification Networks
W Sun, Y Lu, X Zhang, Z Zhu, M Sun
arXiv preprint arXiv:2006.04403, 2020
SMT-Based Modeling and Verification of Cloud Applications
X Zhang, M Sun
Services–SERVICES 2019: 15th World Congress, Held as Part of the Services …, 2019
Modeling and Verification of Component Connectors
X Zhang
Formal Methods and Software Engineering: 20th International Conference on …, 2018
Using LSTM to Predict Tactics in Coq
X Luan, X Zhang, M Sun
The system can't perform the operation now. Try again later.
Articles 1–18