Fuyuan Zhang

According to our database, Fuyuan Zhang authored at least 49 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

MPNet: temporal knowledge graph completion based on a multi-policy network.

Jingbin Wang, Renfei Wu, Yuwei Wu, Fuyuan Zhang, Sirui Zhang, Kun Guo

Appl. Intell., February, 2024

FGCD: a database of fungal gene clusters related to secondary metabolism.

Fuyuan Zhang, Hongzhe Cao, Helong Si, Jinping Zang, Jingao Dong, Jihong Xing, Kang Zhang

Database J. Biol. Databases Curation, January, 2024

Open Knowledge Graph Link Prediction with Semantic-Aware Embedding.

Jingbin Wang, Hao Huang, Yuwei Wu, Fuyuan Zhang, Sirui Zhang, Kun Guo

Expert Syst. Appl., 2024

LeCov: Multi-level Testing Criteria for Large Language Models.

Xuan Xie, Jiayang Song, Yuheng Huang, Da Song, Fuyuan Zhang, Felix Juefei-Xu, Lei Ma

CoRR, 2024

Concolic Testing of Quantum Programs.

Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, Xiaoyu Guo

CoRR, 2024

Technical Briefing on Deep Neural Network Repair.

Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023

<i>ArchRepair</i>: Block-Level Architecture-Oriented Repairing for Deep Neural Networks.

Hua Qi, Zhijie Wang, Qing Guo, Jianlang Chen, Felix Juefei-Xu, Fuyuan Zhang, Lei Ma, Jianjun Zhao

ACM Trans. Softw. Eng. Methodol., September, 2023

Event-based Compositional Reasoning of Information-Flow Security for Concurrent Systems.

Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu

CoRR, 2023

Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems.

Xuan Xie, Jiayang Song, Zhehua Zhou, Fuyuan Zhang, Lei Ma

CoRR, 2023

DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks.

Fuyuan Zhang, Xinwen Hu, Lei Ma, Jianjun Zhao

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Multi-size Scaled CAM for More Accurate Visual Interpretation of CNNs.

Fuyuan Zhang, Xiaohong Xiang, Xin Deng, Xiaoyu Ding

Proceedings of the International Conference on Neural Computing for Advanced Applications, 2023

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing.

Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Generative Model-Based Testing on Decision-Making Policies.

Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma, Jianjun Zhao

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

MSG-CAM:Multi-scale inputs make a better visual interpretation of CNN networks.

Xiaohong Xiang, Fuyuan Zhang, Xin Deng, Ke Hu

Proceedings of the IEEE International Conference on Multimedia and Expo, 2023

Visualization Enhancement of Saliency Methods Based on the Sliding Window Mechanism.

Xiaohong Xiang, Fuyuan Zhang, Xin Deng, Xiaoyu Ding

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Time Split Network for Temporal Knowledge Graph Completion.

Changkai You, Xinyu Lin, Yuwei Wu, Sirui Zhang, Fuyuan Zhang, Jingbin Wang

Proceedings of the Computer Supported Cooperative Work and Social Computing, 2023

DeepGemini: Verifying Dependency Fairness for Deep Neural Network.

Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Towards Benchmarking GUI Compatibility Testing on Mobile Applications.

Jiaming Ye, Mulong Xie, Siyuan Chen, Fuyuan Zhang, Lei Ma, Zhenchang Xing, Jianjun Zhao

CoRR, 2022

DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration.

Xuan Xie, Fuyuan Zhang

CoRR, 2022

2021

A security type verifier for smart contracts.

Xinwen Hu, Yi Zhuang, Shangwei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao

Comput. Secur., 2021

2020

Perfectly parallel fairness certification of neural networks.

Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang

Proc. ACM Program. Lang., 2020

A security modeling and verification method of embedded software based on Z and MARTE.

Xinwen Hu, Yi Zhuang, Fuyuan Zhang

Comput. Secur., 2020

DeepSearch: a simple and effective blackbox attack for deep neural networks.

Fuyuan Zhang, Sankalan Pal Chowdhury, Maria Christakis

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Detecting critical bugs in SMT solvers using blackbox mutational fuzzing.

Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Masked Face Detection Based on Locally Nonlinear Feature Fusion.

Xin-Yi Peng, Jun Cao, Fuyuan Zhang

Proceedings of the 9th International Conference on Software and Computer Applications, 2020

2019

Refinement-Based Specification and Security Analysis of Separation Kernels.

Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu

IEEE Trans. Dependable Secur. Comput., 2019

Fully Automated Differential Fault Analysis on Software Implementations of Block Ciphers.

Xiaolu Hou, Jakub Breier, Fuyuan Zhang, Yang Liu

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2019

DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks.

Fuyuan Zhang, Sankalan Pal Chowdhury, Maria Christakis

CoRR, 2019

Finding and understanding bugs in software model checkers.

Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems.

Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Fully Automated Differential Fault Analysis on Software Implementations of Cryptographic Algorithms.

Xiaolu Hou, Jakub Breier, Fuyuan Zhang, Yang Liu

IACR Cryptol. ePrint Arch., 2018

An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems.

Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu

CoRR, 2018

Combinatorial Testing for Deep Learning Systems.

Lei Ma, Fuyuan Zhang, Minhui Xue, Bo Li, Yang Liu, Jianjun Zhao, Yadong Wang

CoRR, 2018

DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems.

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

CoRR, 2018

DeepGauge: multi-granularity testing criteria for deep learning systems.

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

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

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

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Compositional Reasoning for Shared-Variable Concurrent Programs.

Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Multi-valued Logic for Static Analysis and Model Checking.

Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang

Proceedings of the Models, Mindsets, 2018

2017

High-Assurance Separation Kernels: A Survey on Formal Methods.

Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu

CoRR, 2017

CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs.

David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

The control regularization-term iterative algorithm for image deconvolution.

Yang Han, Jun Cao, Fuyuan Zhang, Qiyu Jin

Proceedings of the 4th International Conference on Systems and Informatics, 2017

2016

Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement.

Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu

IEEE Trans. Ind. Informatics, 2016

Compositional Reasoning for Shared-variable Concurrent Programs.

Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun

CoRR, 2016

Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication.

Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2014

Mechanized Network Origin and Path Authenticity Proofs.

Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim, Yih-Chun Hu, Adrian Perrig

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2012

Model Checking as Static Analysis: Revisited.

Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2010

A Mathematical Model of Magnetic Bearing Control Based on Fuzzy Logic and Single Neuron.

Zhenhe Wang, Shaocong Guo, Fuyuan Zhang

Proceedings of the 2010 Asia-Pacific Conference on Wearable Computing Systems, 2010

2009

FiLM: A Runtime Monitoring Tool for Distributed Systems.

Fuyuan Zhang, Zhengwei Qi, Haibing Guan, Xuezheng Liu, Mao Yang, Zheng Zhang

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

FLTL-MC: Online High Level Program Analysis for Web Services.

Zhengwei Qi, Liang Liu, Fuyuan Zhang, Haibing Guan, Hao Wang, Ying Chen

Proceedings of the 2009 IEEE Congress on Services, Part I, 2009