| BDD4BNN: a BDD-based quantitative analysis framework for binarized neural networks Y Zhang, Z Zhao, G Chen, F Song, T Chen International Conference on Computer Aided Verification, 175-200, 2021 | 34 | 2021 |
| QVIP: an ILP-based formal verification approach for quantized neural networks Y Zhang, Z Zhao, G Chen, F Song, M Zhang, T Chen, J Sun Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 23 | 2022 |
| Probabilistic Alternating-Time µ-Calculus F Song, Y Zhang, T Chen, Y Tang, Z Xu Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 6179-6186, 2019 | 16 | 2019 |
| {QFA2SR}:{Query-Free} Adversarial Transfer Attacks to Speaker Recognition Systems G Chen, Y Zhang, Z Zhao, F Song 32nd USENIX Security Symposium (USENIX Security 23), 2437-2454, 2023 | 15 | 2023 |
| QEBVerif: Quantization error bound verification of neural networks Y Zhang, F Song, J Sun International Conference on Computer Aided Verification, 413-437, 2023 | 14 | 2023 |
| CLEVEREST: accelerating CEGAR-based neural network verification via adversarial attacks Z Zhao, Y Zhang, G Chen, F Song, T Chen, J Liu International Static Analysis Symposium, 449-473, 2022 | 14 | 2022 |
| Towards Efficient Verification of Quantized Neural Networks P Huang, H Wu, Y Yang, I Daukantas, M Wu, Y Zhang, C Barrett Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21152 …, 2024 | 12 | 2024 |
| SLMIA-SR: Speaker-level membership inference attacks against speaker recognition systems G Chen, Y Zhang, F Song the 31st Network and Distributed System Security (NDSS) Symposium 2024, 2024 | 9 | 2024 |
| Precise quantitative analysis of binarized neural networks: a BDD-based approach Y Zhang, Z Zhao, G Chen, F Song, T Chen ACM Transactions on Software Engineering and Methodology 32 (3), 1-51, 2023 | 8 | 2023 |
| Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks P Gao, Y Zhang, F Song, T Chen, FX Standaert Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1817-1847, 2023 | 4 | 2023 |
| Certified quantization strategy synthesis for neural networks Y Zhang, G Chen, F Song, J Sun, JS Dong International Symposium on Formal Methods, 343-362, 2024 | 2 | 2024 |
| SongBsAb: A Dual Prevention Approach against Singing Voice Conversion based Illegal Song Covers G Chen, Y Zhang, F Song, T Wang, X Du, Y Liu the 32nd Network and Distributed System Security (NDSS) Symposium 2025, 2025 | | 2025 |
| The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap Y Zhang, Y Cai, X Zuo, X Luan, K Wang, Z Hou, Y Zhang, Z Wei, M Sun, ... arXiv preprint arXiv:2412.06512, 2024 | | 2024 |
| Revisiting the Conflict-Resolving Problem from a Semantic Perspective J Dong, J Sun, Y Lin, Y Zhang, M Ma, JS Dong, D Hao Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | | 2024 |
| Making Agents’ Abilities Explicit Y Zhang, F Song, T Chen IEEE Access 7, 101804-101819, 2019 | | 2019 |
| 异构多智能体系统模型检查 张业迪， 宋富 软件学报 29 (6), 1582-1594, 2017 | | 2017 |
Fu SONGState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn