Zhen Zhang | Utah State University
My primary research interest is in the modeling and verification of concurrent and stochastic systems, ranging from asynchronous systems and distributed protocols to embedded software and biological systems. I am interested in developing theories and algorithms to advance techniques in the area of formal and semi-formal methods, and their applications in system diagnosis and embedded controller and parameter synthesis.
You can download a BibTeX file that contains references to all of these papers.
2021 On Correctness, Precision, and Performance in Quantitative Verification International Symposium On Leveraging Applications of Formal Methods, Verification and ValidationBibTeX Awaiting Publication
2020 Genetic circuit hazard analys is using STAMINA International Workshop on Bio-Design AutomationBibTeX Awaiting Publication
2020 EFFORT: Enhancing Energy Efficiency and Error Resilience of a Near-Threshold Tensor Processing Unit Asia and South Pacific Design Automation ConferenceBibTeX View Paper
2019 Automated Reasoning for Systems Biology and Medicine Computational Biology, SpringerBibTeX View Paper
2019 Probabilistic Verification for Reliable Network-on-Chip System Design Formal Methods for Industrial Critical SystemsBibTeX View Paper
2019 Synthetic Biology Open Language (SBOL) Version 2.3 Journal of Integrative BioinformaticsBibTeX View Paper
2019 Improving Deep Neural Network Verification Using Specification-Guided Search 2nd Workshop on Formal Methods for ML-Enabled Autonomous SystemsBibTeX View Paper
2019 Approximation Techniques for Stochastic Analysis of Biological Systems Automated Reasoning for Systems Biology and MedicineBibTeX View Paper
2019 iBioSim 3: A Tool for Model-Based Genetic Circuit Design ACS Synthetic BiologyBibTeX View Paper
2019 STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysi Computer Aided VerificationBibTeX View Paper
2018 Synthetic Biology Open Language (SBOL) Version 2.2.0 Journal of Integrative BioinformaticsBibTeX View Paper
2017 A Validator and Converter for the Synthetic Biology Open Language ACS Synthetic BiologyBibTeX View Paper
2016 An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis Science of Computer ProgrammingBibTeX View Paper
2015 Sharing Structure and Function in Biological Design with SBOL 2.0 ACS Synthetic BiologyBibTeX View Paper
2015 Efficient Analysis Methods in Synthetic Biology Computational Methods in Synthetic BiologyBibTeX View Paper
2015 Synthetic Biology Open Language (SBOL) Version 2.0.0 Journal of Integrative BioinformaticsBibTeX View Paper
2015 Generating Systems Biology Markup Language Models from the Synthetic Biology Open Language ACS Synthetic BiologyBibTeX View Paper
2015 Compositional Model Checking of Concurrent Systems IEEE Transactions on ComputersBibTeX View Paper
2014 Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip Formal Methods for Industrial Critical SystemsBibTeX View Paper
2014 Stochastic Model Checking of Genetic Circuits J. Emerg. Technol. Comput. Syst.BibTeX View Paper
2012 Utilizing stochastic model checking to analyze genetic circuits 2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB)BibTeX View Paper
2011 A Fault-Tolerant Routing Algorithm for a Network-on-Chip Using a Link Fault Model Virtual Worldwide Forum for PhD researchers in Electronic Design AutomationBibTeX View Paper
This material is based upon work supported by the National Science Foundation under Grant No. 1856740. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.
This research is generously supported by Adobe Research.