Zhen Zhang
Orcid: 0000-0002-8269-9489Affiliations:
- Utah State University, Logan, UT, USA (PhD 2016)
According to our database1,
Zhen Zhang
authored at least 24 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on ece.usu.edu
On csauthors.net:
Bibliography
2024
2023
Proceedings of the Model Checking Software - 29th International Symposium, 2023
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks.
Proceedings of the Formal Methods in Computer-Aided Design, 2023
2022
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022
2021
Proceedings of the Formal Methods for Industrial Critical Systems, 2021
2020
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 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
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019
Proceedings of the Formal Methods for Industrial Critical Systems, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
2016
An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis.
Sci. Comput. Program., 2016
2015
2014
ACM J. Emerg. Technol. Comput. Syst., 2014
Proceedings of the Formal Methods for Industrial Critical Systems, 2014
2012
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012
Proceedings of the 2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2012