Zhen Zhang

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 19

Top Topics

Formal Analysis

Chemical Reaction

Learning From Positive Data

Top Venues

J. Integr. Bioinform.

Publications

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
Tools at the Frontiers of Quantitative Verification. CoRR (2024)
Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. QEST (2023)
Landon Taylor, Bryant Israelsen, Zhen Zhang
Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks. FMCAD (2023)
Bryant Israelsen, Landon Taylor, Zhen Zhang
Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks. SPIN (2023)
Landon Taylor, Zhen Zhang
Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms. VMCAI (2022)
Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang
STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking. VMCAI (2022)
Mohammad Ahmadi, Zhen Zhang, Chris J. Myers, Chris Winstead, Hao Zheng
Counterexample Generation for Infinite-State Chemical Reaction Networks. CoRR (2022)
Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. CoRR (2021)
Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. FMICS (2021)
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. ISoLA (4) (2020)
Noel Daniel Gundi, Tahmoures Shabanian, Prabal Basu, Pramesh Pandey, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
EFFORT: Enhancing Energy Efficiency and Error Resilience of a Near-Threshold Tensor Processing Unit. ASP-DAC (2020)
Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang
STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis. CoRR (2019)
Curtis Madsen, Ángel Goñi Moreno, Umesh P, Zachary Palchick, Nicholas Roehner, Christian Atallah, Bryan Bartley, Kiri Choi, Robert Sidney Cox III, Thomas E. Gorochowski, Raik Grünberg, Chris Macklin, James Alastair McLaughlin, Xianwei Meng, Tramy Nguyen, Matthew R. Pocock, Meher Samineni, James Scott-Brown, Ysis Tarter, Michael Zhang, Zhen Zhang, Zach Zundel, Jacob Beal, Michael Bissell, Kevin Clancy, John H. Gennari, Goksel Misirli, Chris J. Myers, Ernst Oberortner, Herbert M. Sauro, Anil Wipat
Synthetic Biology Open Language (SBOL) Version 2.3. J. Integr. Bioinform. 16 (2) (2019)
Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang
STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis. CAV (1) (2019)
Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers
Approximation Techniques for Stochastic Analysis of Biological Systems. CoRR (2019)
Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy, Zhen Zhang
Probabilistic Verification for Reliable Network-on-Chip System Design. FMICS (2019)
Robert Sidney Cox III, Curtis Madsen, James Alastair McLaughlin, Tramy Nguyen, Nicholas Roehner, Bryan Bartley, Jacob Beal, Michael Bissell, Kiri Choi, Kevin Clancy, Raik Grünberg, Chris Macklin, Goksel Misirli, Ernst Oberortner, Matthew R. Pocock, Meher Samineni, Michael Zhang, Zhen Zhang, Zach Zundel, John H. Gennari, Chris J. Myers, Herbert M. Sauro, Anil Wipat
Synthetic Biology Open Language (SBOL) Version 2.2.0. J. Integr. Bioinform. 15 (1) (2018)
Jacob Beal, Robert Sidney Cox III, Raik Grünberg, James Alastair McLaughlin, Tramy Nguyen, Bryan Bartley, Michael Bissell, Kiri Choi, Kevin Clancy, Chris Macklin, Curtis Madsen, Goksel Misirli, Ernst Oberortner, Matthew R. Pocock, Nicholas Roehner, Meher Samineni, Michael Zhang, Zhen Zhang, Zach Zundel, John H. Gennari, Chris J. Myers, Herbert M. Sauro, Anil Wipat
Synthetic Biology Open Language (SBOL) Version 2.1.0. J. Integr. Bioinform. 13 (3) (2016)
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis. Sci. Comput. Program. 118 (2016)
Bryan Bartley, Jacob Beal, Kevin Clancy, Goksel Misirli, Nicholas Roehner, Ernst Oberortner, Matthew R. Pocock, Michael Bissell, Curtis Madsen, Tramy Nguyen, Zhen Zhang, John H. Gennari, Chris J. Myers, Anil Wipat, Herbert M. Sauro
Synthetic Biology Open Language (SBOL) Version 2.0.0. J. Integr. Bioinform. 12 (2) (2015)
Hao Zheng, Zhen Zhang, Chris J. Myers, Emmanuel Rodriguez, Yingying Zhang
Compositional Model Checking of Concurrent Systems. IEEE Trans. Computers 64 (6) (2015)
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. FMICS (2014)
Curtis Madsen, Zhen Zhang, Nicholas Roehner, Chris Winstead, Chris J. Myers
Stochastic Model Checking of Genetic Circuits. ACM J. Emerg. Technol. Comput. Syst. 11 (3) (2014)
Chris J. Myers, Jian Wu, Zhen Zhang, Hao Zheng, Yingying Zhang
Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems. ICCPS (2012)
Curtis Madsen, Chris J. Myers, Nicholas Roehner, Chris Winstead, Zhen Zhang
Utilizing stochastic model checking to analyze genetic circuits. CIBCB (2012)