| 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 | 25 | 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 | 14 | 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 | 10 | 2019 |
| 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 | 8 | 2022 |
| {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 | 7 | 2023 |
| QEBVerif: Quantization error bound verification of neural networks Y Zhang, F Song, J Sun International Conference on Computer Aided Verification, 413-437, 2023 | 6 | 2023 |
| 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 | 4 | 2023 |
| 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 | 2 | 2024 |
| 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 | 1 | 2023 |
| SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems G Chen, Y Zhang, F Song arXiv preprint arXiv:2309.07983, 2023 | 1 | 2023 |
| A Proactive and Dual Prevention Mechanism against Illegal Song Covers empowered by Singing Voice Conversion G Chen, Y Zhang, F Song, T Wang, X Du, Y Liu arXiv preprint arXiv:2401.17133, 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 SciencesVerifierad e-postadress på ios.ac.cn
