Fuyuan Zhang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
11
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FASE | QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs. | Junjie Luo, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao |
| 2025 | TrustCom | TrapLLM: An LLM-powered Interactive Log-based Honeypot for Real-world Network Attacks. | Yunjun Ma, Gangyan Zeng, Peng Zhang, Yuchen Huang, Fuyuan Zhang, Ran Lin, Huan Qian |
| 2024 | ICSE | Technical Briefing on Deep Neural Network Repair. | Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang |
| 2023 | AAAI | DeepGemini: Verifying Dependency Fairness for Deep Neural Network. | Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma |
| 2023 | ECAI | Visualization Enhancement of Saliency Methods Based on the Sliding Window Mechanism. | Xiaohong Xiang, Fuyuan Zhang, Xin Deng, Xiaoyu Ding |
| 2019 | FM | A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. | Yongwang Zhao, David Sann, Fuyuan Zhang, Yang Liu |
| 2018 | FM | Compositional Reasoning for Shared-Variable Concurrent Programs. | Fuyuan Zhang, Yongwang Zhao, David Sann, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun |
| 2018 | ISSRE | DeepMutation: Mutation Testing of Deep Learning Systems. | Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang |
| 2017 | TACAS | CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs. | David Sann, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu |
| 2016 | TACAS | Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication. | Yongwang Zhao, David Sann, Fuyuan Zhang, Yang Liu |
| 2014 | CCS | Mechanized Network Origin and Path Authenticity Proofs. | Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim, Yih-Chun Hu, Adrian Perrig |
| 2012 | IFM | Model Checking as Static Analysis: Revisited. | Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson |
| 2009 | SERVICES | FLTL-MC: Online High Level Program Analysis for Web Services. | Zhengwei Qi, Liang Liu, Fuyuan Zhang, Haibing Guan, Hao Wang, Ying Chen |