Fuyuan Zhang
Fuyuan Zhang
Verified email at mpi-sws.org
TitleCited byYear
Deepgauge: Multi-granularity testing criteria for deep learning systems
L Ma, F Juefei-Xu, F Zhang, J Sun, M Xue, B Li, C Chen, T Su, L Li, Y Liu, ...
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
1312018
Deepmutation: Mutation testing of deep learning systems
L Ma, F Zhang, J Sun, M Xue, B Li, F Juefei-Xu, C Xie, L Li, Y Liu, J Zhao, ...
2018 IEEE 29th International Symposium on Software Reliability Engineering …, 2018
722018
Combinatorial testing for deep learning systems
L Ma, F Zhang, M Xue, B Li, Y Liu, J Zhao, Y Wang
arXiv preprint arXiv:1806.07723, 2018
51*2018
Mechanized network origin and path authenticity proofs
F Zhang, L Jia, C Basescu, THJ Kim, YC Hu, A Perrig
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
192014
CSimpl: A rely-guarantee-based framework for verifying concurrent programs
D Sanán, Y Zhao, Z Hou, F Zhang, A Tiu, Y Liu
International Conference on Tools and Algorithms for the Construction and …, 2017
122017
Reasoning about information flow security of separation kernels with channel-based communication
Y Zhao, D Sanán, F Zhang, Y Liu
International Conference on Tools and Algorithms for the Construction and …, 2016
112016
FiLM: a runtime monitoring tool for distributed systems
F Zhang, Z Qi, H Guan, X Liu, M Yang, Z Zhang
2009 Third IEEE International Conference on Secure Software Integration and …, 2009
72009
Refinement-based specification and security analysis of separation kernels
Y Zhao, D Sanán, F Zhang, Y Liu
IEEE Transactions on Dependable and Secure Computing 16 (1), 127-141, 2017
52017
Formal specification and analysis of partitioning operating systems by integrating ontology and refinement
Y Zhao, D Sanán, F Zhang, Y Liu
IEEE Transactions on Industrial Informatics 12 (4), 1321-1331, 2016
52016
High-assurance separation kernels: a survey on formal methods
Y Zhao, D Sanán, F Zhang, Y Liu
arXiv preprint arXiv:1701.01535, 2017
42017
FLTL-MC: Online high level program analysis for web services
Z Qi, L Liu, F Zhang, H Guan, H Wang, Y Chen
2009 Congress on Services-I, 171-178, 2009
32009
Model checking as static analysis: revisited
F Zhang, F Nielson, HR Nielson
International Conference on Integrated Formal Methods, 99-112, 2012
22012
Fixpoints vs Moore Families
F Zhang, F Nielson, HR Nielson
38th International Conference on Current Trends in Theory and Practice of …, 2012
22012
DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks
F Zhang, SP Chowdhury, M Christakis
arXiv preprint arXiv:1910.06296, 2019
12019
Fully Automated Differential Fault Analysis on Software Implementations of Block Ciphers
X Hou, J Breier, F Zhang, Y Liu
IACR Transactions on Cryptographic Hardware and Embedded Systems, 1-29, 2019
12019
Compositional Reasoning for Shared-Variable Concurrent Programs
F Zhang, Y Zhao, D Sanán, Y Liu, A Tiu, SW Lin, J Sun
International Symposium on Formal Methods, 523-541, 2018
12018
Model checking as static analysis
F Zhang
Technical University of Denmark, 2012
12012
A security modeling and verification method of embedded software based on Z and MARTE
X Hu, Y Zhuang, F Zhang
Computers & Security 88, 101615, 2020
2020
Perfectly Parallel Fairness Certification of Neural Networks
C Urban, M Christakis, V Wüstholz, F Zhang
arXiv preprint arXiv:1912.02499, 2019
2019
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems
Y Zhao, D Sanán, F Zhang, Y Liu
International Symposium on Formal Methods, 161-178, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20