synthetic biology

STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker
Improving the scalability of probabilistic model checking (PMC) tools is crucial to the verification of real-world system designs. The …
Cite Code DOI
Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks
Rare events are known to potentially cause pathological behavior in biochemical reaction systems. It is important to understand the …
Cite Code
Importance Sampling Techniques for the Analysis of Genetic Circuits
Genetic circuits have been identified as a promising technology that could revolutionize several areas, including biofuels, …
Cite Code
Importance Sampling Techniques for the Analysis of Genetic Circuits
Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks
Rare events are known to potentially cause pathological behavior in biochemical reaction systems. It is important to understand the …
Cite Code DOI
SynBioSuite: A Tool for Improving the Workflow for Genetic Design and Modeling
Synthetic biology research has led to the development of many software tools for designing, constructing, editing, simulating, and …
Cite Code DOI
SynBioSuite: A Tool for Improving the Workflow for Genetic Design and Modeling
Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA
Rare events are of particular interest in synthetic biology because rare biochemical events may be catastrophic to a biological system …
Cite Code DOI
Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA
STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking
Stochastic model checking (SMC) is a formal verification technique for the analysis of systems with probabilistic behavior. Scalability …
Cite Code DOI
Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA
In synthetic biology, combinational circuits are used to program cells for various new applications like biosensors, drug delivery …
Cite Code DOI
Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA
On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report
Quantitative verification tools compute probabilities, expected rewards, or steady-state values for formal models of stochastic and …
Cite DOI