Utilizing stochastic model checking to analyze genetic circuits. - Curtis Madsen; Chris J. Myers; Nicholas Roehner; Chris Winstead; Zhen Zhang 006 (CIBCB, 2012)

Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems. - Chris J. Myers; Jian Wu; Zhen Zhang 006; Hao Zheng 001; Yingying Zhang (ICCPS, 2012)

Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. - Zhen Zhang 006; Wendelin Serwe; Jian Wu; Tomohiro Yoneda; Hao Zheng 001; Chris J. Myers (FMICS, 2014)

Stochastic Model Checking of Genetic Circuits. - Curtis Madsen; Zhen Zhang 006; Nicholas Roehner; Chris Winstead; Chris J. Myers (ACM J. Emerg. Technol. Comput. Syst., 2014)

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 006; John H. Gennari; et al. (J. Integr. Bioinform., 2015)

Compositional Model Checking of Concurrent Systems. - Hao Zheng 001; Zhen Zhang 006; Chris J. Myers; Emmanuel Rodriguez; Yingying Zhang (IEEE Trans. Computers, 2015)

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; et al. (J. Integr. Bioinform., 2016)

An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis. - Zhen Zhang 006; Wendelin Serwe; Jian Wu; Tomohiro Yoneda; Hao Zheng 001; Chris J. Myers (Sci. Comput. Program., 2016)

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; et al. (J. Integr. Bioinform., 2018)

STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis. - Thakur Neupane; Chris J. Myers; Curtis Madsen; Hao Zheng 001; Zhen Zhang 006 (CAV (1), 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 006 (FMICS, 2019)

Approximation Techniques for Stochastic Analysis of Biological Systems. - Thakur Neupane; Zhen Zhang 006; Curtis Madsen; Hao Zheng 001; Chris J. Myers (CoRR, 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; et al. (J. Integr. Bioinform., 2019)

Approximation Techniques for Stochastic Analysis of Biological Systems. - Thakur Neupane; Zhen Zhang 006; Curtis Madsen; Hao Zheng 001; Chris J. Myers (Automated Reasoning for Systems Biology and Medicine, 2019)

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 006 (ASP-DAC, 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 001; Tim Quatmann; Andrea Turrini; Zhen Zhang 006 (ISoLA (4), 2020)

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 006 (FMICS, 2021)

STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking. - Riley Roberts; Thakur Neupane; Lukas Buecherl; Chris J. Myers; Zhen Zhang 006 (VMCAI, 2022)

Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms. - Landon Taylor; Zhen Zhang 006 (VMCAI, 2022)

Counterexample Generation for Infinite-State Chemical Reaction Networks. - Mohammad Ahmadi; Zhen Zhang 006; Chris J. Myers; Chris Winstead; Hao Zheng 001 (CoRR, 2022)

Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks. - Landon Taylor; Bryant Israelsen; Zhen Zhang 006 (FMCAD, 2023)

STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. - Joshua Jeppson; Matthias Volk 001; Bryant Israelsen; Riley Roberts; Andrew Williams; Lukas Buecherl; Chris J. Myers; Hao Zheng 001; Chris Winstead; Zhen Zhang 006 (QEST, 2023)

Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks. - Bryant Israelsen; Landon Taylor; Zhen Zhang 006 (SPIN, 2023)

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (TOOLympics@ETAPS, 2023)

Modest Models and Tools for Real Stochastic Timed Systems. - Carlos E. Budde; Pedro R. D'Argenio; Juan A. Fraire; Arnd Hartmanns; Zhen Zhang 006 (Principles of Verification (2), 2024)

Rare-Event Guided Analysis of Infinite-State Chemical Reaction Networks. - Mohammad Ahmadi; Lukas Buecherl; Chris J. Myers; Zhen Zhang 006; Chris Winstead; Hao Zheng 001 (QEST+FORMATS, 2024)

Tools at the Frontiers of Quantitative Verification. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (CoRR, 2024)