Zhen Zhang

According to our database, Zhen Zhang authored at least 30 papers between 2012 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Probabilistic Verification for Modular Network-on-Chip Systems.

Nick Waddoups, Jonah Boe, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2026

2025

Prefix Trees Improve Memory Consumption in Large-Scale Continuous-Time Stochastic Models.

Landon Taylor, Joshua Jeppson, Ahmed Irfan, Lukas Buecherl, Chris J. Myers, Zhen Zhang

CoRR, December, 2025

Probabilistic Verification for Modular Network-on-Chip Systems (extended version).

Nick Waddoups, Jonah Boe, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang

CoRR, November, 2025

2024

Tools at the Frontiers of Quantitative Verification.

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

CoRR, 2024

Rare-Event Guided Analysis of Infinite-State Chemical Reaction Networks.

Mohammad Ahmadi, Lukas Buecherl, Chris J. Myers, Zhen Zhang, Chris Winstead, Hao Zheng

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

Modest Models and Tools for Real Stochastic Timed Systems.

Carlos E. Budde, Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Zhen Zhang

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.

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

Proceedings of the TOOLympics Challenge 2023, 2023

Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks.

Bryant Israelsen, Landon Taylor, Zhen Zhang

Proceedings of the Model Checking Software - 29th International Symposium, 2023

STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.

Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks.

Landon Taylor, Bryant Israelsen, Zhen Zhang

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Counterexample Generation for Infinite-State Chemical Reaction Networks.

Mohammad Ahmadi, Zhen Zhang, Chris J. Myers, Chris Winstead, Hao Zheng

CoRR, 2022

Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms.

Landon Taylor, Zhen Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking.

Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2021

Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.

Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2020

On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.

Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang

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.

Noel Daniel Gundi, Tahmoures Shabanian, Prabal Basu, Pramesh Pandey, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019

Approximation Techniques for Stochastic Analysis of Biological Systems.

Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Synthetic Biology Open Language (SBOL) Version 2.3.

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

J. Integr. Bioinform., 2019

Approximation Techniques for Stochastic Analysis of Biological Systems.

Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers

CoRR, 2019

Probabilistic Verification for Reliable Network-on-Chip System Design.

Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy, Zhen Zhang

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis.

Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Synthetic Biology Open Language (SBOL) Version 2.2.0.

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

J. Integr. Bioinform., 2018

2016

An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis.

Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers

Sci. Comput. Program., 2016

Synthetic Biology Open Language (SBOL) Version 2.1.0.

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

J. Integr. Bioinform., 2016

2015

Compositional Model Checking of Concurrent Systems.

Hao Zheng, Zhen Zhang, Chris J. Myers, Emmanuel Rodriguez, Yingying Zhang

IEEE Trans. Computers, 2015

Synthetic Biology Open Language (SBOL) Version 2.0.0.

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

J. Integr. Bioinform., 2015

2014

Stochastic Model Checking of Genetic Circuits.

Curtis Madsen, Zhen Zhang, Nicholas Roehner, Chris Winstead, Chris J. Myers

ACM J. Emerg. Technol. Comput. Syst., 2014

Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip.

Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2012

Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems.

Chris J. Myers, Jian Wu, Zhen Zhang, Hao Zheng, Yingying Zhang

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Utilizing stochastic model checking to analyze genetic circuits.

Curtis Madsen, Chris J. Myers, Nicholas Roehner, Chris Winstead, Zhen Zhang

Proceedings of the 2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2012