Fuyuan Zhang

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 47

Top Topics

Image Deconvolution

Top Venues

ESEC/SIGSOFT FSE

Publications

Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, Xiaoyu Guo
Concolic Testing of Quantum Programs. CoRR (2024)
Fuyuan Zhang, Hongzhe Cao, Helong Si, Jinping Zang, Jingao Dong, Jihong Xing, Kang Zhang
FGCD: a database of fungal gene clusters related to secondary metabolism. Database J. Biol. Databases Curation 2024 (2024)
Jingbin Wang, Hao Huang, Yuwei Wu, Fuyuan Zhang, Sirui Zhang, Kun Guo
Open Knowledge Graph Link Prediction with Semantic-Aware Embedding. Expert Syst. Appl. 249 (2024)
Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang
Technical Briefing on Deep Neural Network Repair. ICSE Companion (2024)
Jingbin Wang, Renfei Wu, Yuwei Wu, Fuyuan Zhang, Sirui Zhang, Kun Guo
MPNet: temporal knowledge graph completion based on a multi-policy network. Appl. Intell. 54 (3) (2024)
Hua Qi, Zhijie Wang, Qing Guo, Jianlang Chen, Felix Juefei-Xu, Fuyuan Zhang, Lei Ma, Jianjun Zhao
: Block-Level Architecture-Oriented Repairing for Deep Neural Networks. ACM Trans. Softw. Eng. Methodol. 32 (5) (2023)
Xuan Xie, Jiayang Song, Zhehua Zhou, Fuyuan Zhang, Lei Ma
Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems. CoRR (2023)
Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma, Jianjun Zhao
Generative Model-Based Testing on Decision-Making Policies. ASE (2023)
Xiaohong Xiang, Fuyuan Zhang, Xin Deng, Ke Hu
MSG-CAM:Multi-scale inputs make a better visual interpretation of CNN networks. ICME (2023)
Changkai You, Xinyu Lin, Yuwei Wu, Sirui Zhang, Fuyuan Zhang, Jingbin Wang
Time Split Network for Temporal Knowledge Graph Completion. ChineseCSCW (1) (2023)
Fuyuan Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao
DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks. ESEC/SIGSOFT FSE (2023)
Xiaohong Xiang, Fuyuan Zhang, Xin Deng, Xiaoyu Ding
Visualization Enhancement of Saliency Methods Based on the Sliding Window Mechanism. ECAI (2023)
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. ASE (2023)
Fuyuan Zhang, Xiaohong Xiang, Xin Deng, Xiaoyu Ding
Multi-size Scaled CAM for More Accurate Visual Interpretation of CNNs. NCAA (2) (2023)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
Event-based Compositional Reasoning of Information-Flow Security for Concurrent Systems. CoRR (2023)
Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma
DeepGemini: Verifying Dependency Fairness for Deep Neural Network. AAAI (2023)
Xuan Xie, Fuyuan Zhang
DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration. CoRR (2022)
Jiaming Ye, Mulong Xie, Siyuan Chen, Fuyuan Zhang, Lei Ma, Zhenchang Xing, Jianjun Zhao
Towards Benchmarking GUI Compatibility Testing on Mobile Applications. CoRR (2022)
Xinwen Hu, Yi Zhuang, Shangwei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao
A security type verifier for smart contracts. Comput. Secur. 108 (2021)
Xin-Yi Peng, Jun Cao, Fuyuan Zhang
Masked Face Detection Based on Locally Nonlinear Feature Fusion. ICSCA (2020)
Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
Perfectly parallel fairness certification of neural networks. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Xinwen Hu, Yi Zhuang, Fuyuan Zhang
A security modeling and verification method of embedded software based on Z and MARTE. Comput. Secur. 88 (2020)
Fuyuan Zhang, Sankalan Pal Chowdhury, Maria Christakis
DeepSearch: a simple and effective blackbox attack for deep neural networks. ESEC/SIGSOFT FSE (2020)
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. CoRR (2020)
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing. ESEC/SIGSOFT FSE (2020)
Xiaolu Hou, Jakub Breier, Fuyuan Zhang, Yang Liu
Fully Automated Differential Fault Analysis on Software Implementations of Block Ciphers. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2019 (3) (2019)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
Refinement-Based Specification and Security Analysis of Separation Kernels. IEEE Trans. Dependable Secur. Comput. 16 (1) (2019)
Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su
Finding and understanding bugs in software model checkers. ESEC/SIGSOFT FSE (2019)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. FM (2019)
Fuyuan Zhang, Sankalan Pal Chowdhury, Maria Christakis
DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks. CoRR (2019)
Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
Perfectly Parallel Fairness Certification of Neural Networks. CoRR (2019)
Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
DeepMutation: Mutation Testing of Deep Learning Systems. CoRR (2018)
Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun
Compositional Reasoning for Shared-Variable Concurrent Programs. FM (2018)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems. CoRR (2018)
Xiaolu Hou, Jakub Breier, Fuyuan Zhang, Yang Liu
Fully Automated Differential Fault Analysis on Software Implementations of Cryptographic Algorithms. IACR Cryptol. ePrint Arch. 2018 (2018)
Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang
Multi-valued Logic for Static Analysis and Model Checking. Models, Mindsets, Meta (2018)
Lei Ma, Fuyuan Zhang, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Yadong Wang
Combinatorial Testing for Deep Learning Systems. CoRR (2018)
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
DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems. CoRR (2018)
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
DeepGauge: multi-granularity testing criteria for deep learning systems. ASE (2018)
Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
DeepMutation: Mutation Testing of Deep Learning Systems. ISSRE (2018)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
Refinement-based Specification and Security Analysis of Separation Kernels. CoRR (2017)
Yang Han, Jun Cao, Fuyuan Zhang, Qiyu Jin
The control regularization-term iterative algorithm for image deconvolution. ICSAI (2017)
David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs. TACAS (1) (2017)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
High-Assurance Separation Kernels: A Survey on Formal Methods. CoRR (2017)
Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun
Compositional Reasoning for Shared-variable Concurrent Programs. CoRR (2016)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication. TACAS (2016)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement. IEEE Trans. Ind. Informatics 12 (4) (2016)
Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication. CoRR (2015)
Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim, Yih-Chun Hu, Adrian Perrig
Mechanized Network Origin and Path Authenticity Proofs. CCS (2014)
Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson
Model Checking as Static Analysis: Revisited. IFM (2012)
Zhenhe Wang, Shaocong Guo, Fuyuan Zhang
A Mathematical Model of Magnetic Bearing Control Based on Fuzzy Logic and Single Neuron. APWCS (2010)
Zhengwei Qi, Liang Liu, Fuyuan Zhang, Haibing Guan, Hao Wang, Ying Chen
FLTL-MC: Online High Level Program Analysis for Web Services. SERVICES I (2009)
Fuyuan Zhang, Zhengwei Qi, Haibing Guan, Xuezheng Liu, Mao Yang, Zheng Zhang
FiLM: A Runtime Monitoring Tool for Distributed Systems. SSIRI (2009)