Fuyuan Zhang

Identifiers

• name variant Fuyuan Zhang 0.60 · backfill

Papers (8)

1. An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems cs.SE · 2018 · author #3
2. Combinatorial Testing for Deep Learning Systems cs.SE · 2018 · author #2
3. DeepMutation: Mutation Testing of Deep Learning Systems cs.SE · 2018 · author #2
4. DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems cs.SE · 2018 · author #3
5. Refinement-based Specification and Security Analysis of Separation Kernels cs.SE · 2017 · author #3
6. High-Assurance Separation Kernels: A Survey on Formal Methods cs.SE · 2017 · author #3
7. Compositional Reasoning for Shared-variable Concurrent Programs cs.FL · 2016 · author #1
8. Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication cs.SE · 2015 · author #3

Mentions

• 1510.05091 #3 · backfill · confidence 0.70 Fuyuan Zhang

Frequent Coauthors

• Yang Liu 8 shared papers
• Yongwang Zhao 5 shared papers
• David Sanan 4 shared papers
• Bo Li 3 shared papers
• Jianjun Zhao 3 shared papers
• Lei Ma 3 shared papers
• Minhui Xue 3 shared papers
• Yadong Wang 3 shared papers
• Felix Juefei-Xu 2 shared papers
• Jiyuan Sun 2 shared papers
• Li Li 2 shared papers
• Alwen Tiu 1 shared papers
• Chao Xie 1 shared papers
• Chunyang Chen 1 shared papers
• David Sann 1 shared papers
• Jun Sun 1 shared papers
• Shang-Wei Lin 1 shared papers
• Ting Su 1 shared papers