Publications

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Češka, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Josh Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Křetínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang (2023). Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. QComp 2023.

PDF Cite

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

Cite Code DOI

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

Cite Code

Dreycey Albin, Lukas Buecherl, Eitan Kochavi, Elise Niehaus, Sasha Novack, Shenali Uragoda, Chris J. Myers, Mirela Alistar (2023). PhageBox: An Open Source Digital Microfluidic Extension With Applications for Phage Discovery. IEEE.

Cite DOI

Payton J. Thomas (2023). Importance Sampling Techniques for the Analysis of Genetic Circuits. Range: Undergrad. Res. Journal.

Cite Code

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

Cite Code DOI

Zachary Sents, Thomas E. Stoughton, Lukas Buecherl, Payton J. Thomas, Pedro Fontanarrosa, Chris J. Myers (2023). SynBioSuite: A Tool for Improving the Workflow for Genetic Design and Modeling. ACS Synth. Biol..

Cite Code DOI

Mohammad Ahmadi, Payton J. Thomas, Lukas Buecherl, Chris Winstead, Chris J. Myers, Hao Zheng, Equal contribution (2022). Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA. ACS Synth. Biol..

Cite Code DOI

Lukas Buecherl, Chris J. Myers (2022). Engineering genetic circuits: advancements in genetic design automation tools and standards for synthetic biology. Current opinion in microbiology.

Cite DOI

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

Cite Code DOI

Lukas Buecherl, Riley Roberts, Pedro Fontanarrosa, Payton J. Thomas, Jeanet Mante, Zhen Zhang, Chris J. Myers (2021). Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA. ACS Synth. Biol..

Cite Code DOI

Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang (2021). On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report. At ISoLA 2020.

Cite DOI

Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang (2019). STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis. At CAV 2019.

Cite DOI