Zhen Zhang

According to our database1, Zhen Zhang authored at least 15 papers between 2012 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
EFFORT: Enhancing Energy Efficiency and Error Resilience of a Near-Threshold Tensor Processing Unit.
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019
Approximation Techniques for Stochastic Analysis of Biological Systems.
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Synthetic Biology Open Language (SBOL) Version 2.3.
J. Integr. Bioinform., 2019

Approximation Techniques for Stochastic Analysis of Biological Systems.
CoRR, 2019

Probabilistic Verification for Reliable Network-on-Chip System Design.
Proceedings of the Formal Methods for Industrial Critical Systems, 2019

STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Synthetic Biology Open Language (SBOL) Version 2.2.0.
J. Integr. Bioinform., 2018

2016
An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis.
Sci. Comput. Program., 2016

Synthetic Biology Open Language (SBOL) Version 2.1.0.
J. Integr. Bioinform., 2016

2015
Compositional Model Checking of Concurrent Systems.
IEEE Trans. Computers, 2015

Synthetic Biology Open Language (SBOL) Version 2.0.0.
J. Integr. Bioinform., 2015

2014
Stochastic Model Checking of Genetic Circuits.
ACM J. Emerg. Technol. Comput. Syst., 2014

Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip.
Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2012
Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Utilizing stochastic model checking to analyze genetic circuits.
Proceedings of the 2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2012


  Loading...