Fuyuan Zhang

According to our database1, Fuyuan Zhang authored at least 29 papers between 2009 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Perfectly parallel fairness certification of neural networks.
Proc. ACM Program. Lang., 2020

A security modeling and verification method of embedded software based on Z and MARTE.
Comput. Secur., 2020

DeepSearch: a simple and effective blackbox attack for deep neural networks.
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.
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.
Proceedings of the 9th International Conference on Software and Computer Applications, 2020

2019
Refinement-Based Specification and Security Analysis of Separation Kernels.
IEEE Trans. Dependable Secur. Comput., 2019

Fully Automated Differential Fault Analysis on Software Implementations of Block Ciphers.
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2019

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

Finding and understanding bugs in software model checkers.
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.
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.
IACR Cryptol. ePrint Arch., 2018

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

Combinatorial Testing for Deep Learning Systems.
CoRR, 2018

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

DeepGauge: multi-granularity testing criteria for deep learning systems.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

DeepMutation: Mutation Testing of Deep Learning Systems.
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Compositional Reasoning for Shared-Variable Concurrent Programs.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

Multi-valued Logic for Static Analysis and Model Checking.
Proceedings of the Models, Mindsets, 2018

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

CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

The control regularization-term iterative algorithm for image deconvolution.
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.
IEEE Trans. Ind. Informatics, 2016

Compositional Reasoning for Shared-variable Concurrent Programs.
CoRR, 2016

Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2014
Mechanized Network Origin and Path Authenticity Proofs.
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2012
Model Checking as Static Analysis: Revisited.
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.
Proceedings of the 2010 Asia-Pacific Conference on Wearable Computing Systems, 2010

2009
FiLM: A Runtime Monitoring Tool for Distributed Systems.
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.
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009


  Loading...