Fuyuan Zhang

67 papers A* 6A 4B 5Journal 37Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
From Conflicts to Collisions: A Two-Stage Collision Scenario-Testing Approach for Autonomous Driving Systems.
CoRR
Siyuan Chen, Fuyuan Zhang, Hua Qi, Lei Ma, Tomoyuki Tsuchiya, Michio Hayashi, Manabu Okada
2026 J jnl
Mosaic: model-based safety analysis for AI-enabled cyber physical system.
Empir. Softw. Eng.
Xuan Xie, Jiayang Song, Zhehua Zhou, Fuyuan Zhang, Lei Ma
2026 B conf
QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs.
FASE
Junjie Luo, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao
2026 J jnl
QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs.
CoRR
Junjie Luo, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao
2026 J jnl
QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing.
CoRR
Jiaming Ye, Fuyuan Zhang, Shangzhou Xia, Xiaoyu Guo, Xiongfei Wu, Jianjun Zhao, Yinxing Xue
2026 J jnl
Temporal knowledge graph reasoning based on multidimensional information interaction and dynamic frequency awareness.
Neurocomputing
Jingbin Wang, Jinfan Yuan, Jinsong Lai, Fuyuan Zhang, Kun Guo
2026 J jnl
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4.
CoRR
Jianyu Zhang, Fuyuan Zhang, Jiayi Lu, Jilin Hu, Xiaoyi Yin, Long Zhang, Feng Yang, Yongwang Zhao
2025 J jnl
AR2: Attention-Guided Repair for the Robustness of CNNs Against Common Corruptions.
CoRR
Fuyuan Zhang, Qichen Wang, Jianjun Zhao
2025 J jnl
Improving Adversarial Training for Two-player Competitive Games via Episodic Reward Engineering.
Trans. Mach. Learn. Res.
Siyuan Chen, Fuyuan Zhang, Zhuo Li, Xiongfei Wu, Jianlang Chen, Pengzhan Zhao, Lei Ma, Jianjun Zhao
2025 A* conf
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing.
ASE
Jiaming Ye, Xiongfei Wu, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao
2025 J jnl
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing.
CoRR
Jiaming Ye, Xiongfei Wu, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao
2025 J jnl
Quantum Concolic Testing.
Proc. ACM Softw. Eng.
Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, Xiaoyu Guo
2025 B conf
TrapLLM: An LLM-powered Interactive Log-based Honeypot for Real-world Network Attacks.
TrustCom
Yunjun Ma, Gangyan Zeng, Peng Zhang, Yuchen Huang, Fuyuan Zhang, Ran Lin, Huan Qian
2024 J jnl
Concolic Testing of Quantum Programs.
CoRR
Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, Xiaoyu Guo
2024 J jnl
FGCD: a database of fungal gene clusters related to secondary metabolism.
Database J. Biol. Databases Curation
Fuyuan Zhang, Hongzhe Cao, Helong Si, Jinping Zang, Jingao Dong, Jihong Xing, Kang Zhang
2024 J jnl
LeCov: Multi-level Testing Criteria for Large Language Models.
CoRR
Xuan Xie, Jiayang Song, Yuheng Huang, Da Song, Fuyuan Zhang, Felix Juefei-Xu, Lei Ma
2024 J jnl
MPNet: temporal knowledge graph completion based on a multi-policy network.
Appl. Intell.
Jingbin Wang, Renfei Wu, Yuwei Wu, Fuyuan Zhang, Sirui Zhang, Kun Guo
2024 J jnl
Open Knowledge Graph Link Prediction with Semantic-Aware Embedding.
Expert Syst. Appl.
Jingbin Wang, Hao Huang, Yuwei Wu, Fuyuan Zhang, Sirui Zhang, Kun Guo
2024 — conf
Technical Briefing on Deep Neural Network Repair.
ICSE Companion
Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang
2024 — conf
WPG-CAM: A Novel Weighted Feature Fusion CAM Method Based on Information Entropy Using Pooling and Gaussian Upsampling.
NCAA (1)
Feifei Zhang, Xiaohong Xiang, Fuyuan Zhang, Jun Zhao
2023 A* conf
DeepGemini: Verifying Dependency Fairness for Deep Neural Network.
AAAI
Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma
2023 — conf
DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks.
ESEC/SIGSOFT FSE
Fuyuan Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao
2023 J jnl
Event-based Compositional Reasoning of Information-Flow Security for Concurrent Systems.
CoRR
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
2023 A* conf
Generative Model-Based Testing on Decision-Making Policies.
ASE
Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma, Jianjun Zhao
2023 A conf
MSG-CAM:Multi-scale inputs make a better visual interpretation of CNN networks.
ICME
Xiaohong Xiang, Fuyuan Zhang, Xin Deng, Ke Hu
2023 J jnl
Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems.
CoRR
Xuan Xie, Jiayang Song, Zhehua Zhou, Fuyuan Zhang, Lei Ma
2023 — conf
Multi-size Scaled CAM for More Accurate Visual Interpretation of CNNs.
NCAA (2)
Fuyuan Zhang, Xiaohong Xiang, Xin Deng, Xiaoyu Ding
2023 A* conf
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing.
ASE
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa
2023 — conf
Time Split Network for Temporal Knowledge Graph Completion.
ChineseCSCW (1)
Changkai You, Xinyu Lin, Yuwei Wu, Sirui Zhang, Fuyuan Zhang, Jingbin Wang
2023 A conf
Visualization Enhancement of Saliency Methods Based on the Sliding Window Mechanism.
ECAI
Xiaohong Xiang, Fuyuan Zhang, Xin Deng, Xiaoyu Ding
2022 J jnl
DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration.
CoRR
Xuan Xie, Fuyuan Zhang
2022 J jnl
Towards Benchmarking GUI Compatibility Testing on Mobile Applications.
CoRR
Jiaming Ye, Mulong Xie, Siyuan Chen, Fuyuan Zhang, Lei Ma, Zhenchang Xing, Jianjun Zhao
2021 J jnl
A security type verifier for smart contracts.
Comput. Secur.
Xinwen Hu, Yi Zhuang, Shangwei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao
2020 J jnl
A security modeling and verification method of embedded software based on Z and MARTE.
Comput. Secur.
Xinwen Hu, Yi Zhuang, Fuyuan Zhang
2020 — conf
DeepSearch: a simple and effective blackbox attack for deep neural networks.
ESEC/SIGSOFT FSE
Fuyuan Zhang, Sankalan Pal Chowdhury, Maria Christakis
2020 J jnl
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing.
CoRR
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
2020 — conf
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing.
ESEC/SIGSOFT FSE
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
2020 — conf
Masked Face Detection Based on Locally Nonlinear Feature Fusion.
ICSCA
Xin-Yi Peng, Jun Cao, Fuyuan Zhang
2020 J jnl
Perfectly parallel fairness certification of neural networks.
Proc. ACM Program. Lang.
Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
2019 B conf
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems.
FM
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
2019 J jnl
DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks.
CoRR
Fuyuan Zhang, Sankalan Pal Chowdhury, Maria Christakis
2019 — conf
Finding and understanding bugs in software model checkers.
ESEC/SIGSOFT FSE
Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su
2019 J jnl
Fully Automated Differential Fault Analysis on Software Implementations of Block Ciphers.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Xiaolu Hou, Jakub Breier, Fuyuan Zhang, Yang Liu
2019 J jnl
Perfectly Parallel Fairness Certification of Neural Networks.
CoRR
Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
2019 J jnl
Refinement-Based Specification and Security Analysis of Separation Kernels.
IEEE Trans. Dependable Secur. Comput.
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
2018 J jnl
An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems.
CoRR
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
2018 J jnl
Combinatorial Testing for Deep Learning Systems.
CoRR
Lei Ma, Fuyuan Zhang, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Yadong Wang
2018 B conf
Compositional Reasoning for Shared-Variable Concurrent Programs.
FM
Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun
2018 J jnl
DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems.
CoRR
Lei Ma, Felix Juefei-Xu, Jiyuan Sun, Chunyang Chen, Ting Su, Fuyuan Zhang, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
2018 A* conf
DeepGauge: multi-granularity testing criteria for deep learning systems.
ASE
Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
2018 A conf
DeepMutation: Mutation Testing of Deep Learning Systems.
ISSRE
Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
2018 J jnl
DeepMutation: Mutation Testing of Deep Learning Systems.
CoRR
Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
2018 J jnl
Fully Automated Differential Fault Analysis on Software Implementations of Cryptographic Algorithms.
IACR Cryptol. ePrint Arch.
Xiaolu Hou, Jakub Breier, Fuyuan Zhang, Yang Liu
2018 — conf
Multi-valued Logic for Static Analysis and Model Checking.
Models, Mindsets, Meta
Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang
2017 — conf
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs.
TACAS (1)
David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu
2017 J jnl
High-Assurance Separation Kernels: A Survey on Formal Methods.
CoRR
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
2017 J jnl
Refinement-based Specification and Security Analysis of Separation Kernels.
CoRR
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
2017 — conf
The control regularization-term iterative algorithm for image deconvolution.
ICSAI
Yang Han, Jun Cao, Fuyuan Zhang, Qiyu Jin
2016 J jnl
Compositional Reasoning for Shared-variable Concurrent Programs.
CoRR
Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun
2016 J jnl
Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement.
IEEE Trans. Ind. Informatics
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
2016 A conf
Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication.
TACAS
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
2015 J jnl
Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication.
CoRR
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
2014 A* conf
Mechanized Network Origin and Path Authenticity Proofs.
CCS
Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim, Yih-Chun Hu, Adrian Perrig
2012 B conf
Model Checking as Static Analysis: Revisited.
IFM
Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson
2010 — conf
A Mathematical Model of Magnetic Bearing Control Based on Fuzzy Logic and Single Neuron.
APWCS
Zhenhe Wang, Shaocong Guo, Fuyuan Zhang
2009 — conf
FLTL-MC: Online High Level Program Analysis for Web Services.
SERVICES I
Zhengwei Qi, Liang Liu, Fuyuan Zhang, Haibing Guan, Hao Wang, Ying Chen
2009 — conf
FiLM: A Runtime Monitoring Tool for Distributed Systems.
SSIRI
Fuyuan Zhang, Zhengwei Qi, Haibing Guan, Xuezheng Liu, Mao Yang, Zheng Zhang