| 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 | 54 | 2020 |
| Reasoning about connectors in Coq X Zhang, W Hong, Y Li, M Sun Formal Aspects of Component Software: 13th International Conference, FACS …, 2017 | 13 | 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 | 12 | 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 | 12 | 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 | 8 | 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 | 7 | 2019 |
| Reasoning about connectors using Coq and Z3 X Zhang, W Hong, Y Li, M Sun Science of Computer Programming 170, 27-44, 2019 | 7 | 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 | 4 | 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 | 4 | 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 | 4 | 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 | 3 | 2019 |
| Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S). X Zhang, M Sun SEKE, 385-384, 2018 | 3 | 2018 |
| Uncertainty-guided testing and robustness enhancement for deep learning systems X Zhang Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 2 | 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 | | 2021 |
| Global Robustness Verification Networks W Sun, Y Lu, X Zhang, Z Zhu, M Sun arXiv preprint arXiv:2006.04403, 2020 | | 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 | | 2019 |
| Modeling and Verification of Component Connectors X Zhang Formal Methods and Software Engineering: 20th International Conference on …, 2018 | | 2018 |
| Using LSTM to Predict Tactics in Coq X Luan, X Zhang, M Sun | | |
Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
