Skip to main content

4 Result(s)

within Curtis Madsen Remove this filter

and

  1. No Access

    Chapter

    Approximation Techniques for Stochastic Analysis of Biological Systems

    There has been an increasing demand for formal methods in the design process of safety-critical synthetic genetic . Probabilistic    techniques have demonstrated significant potential in analyzing the intrin...

    Thakur Neupane, Zhen Zhang, Curtis Madsen… in Automated Reasoning for Systems Biology an… (2019)

  2. Chapter and Conference Paper

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

    Stochastic model checking is a technique for analyzing systems that...

    Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng… in Computer Aided Verification (2019)

    Download PDF (451 KB) View Chapter

  3. No Access

    Chapter and Conference Paper

    BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models

    The parameter set synthesis problem consists of identifying sets of parameter values for which a given system model satisfies a desired behaviour. This paper presents BioPSy, a tool that performs guaranteed param...

    Curtis Madsen, Fedor Shmarov, Paolo Zuliani in Computational Methods in Systems Biology (2015)

  4. No Access

    Protocol

    Efficient Analysis Methods in Synthetic Biology

    This chapter describes new analysis and verification techniques for synthetic genetic circuits. In particular, it applies stochastic model checking techniques to models of genetic circuits in order to ensure that...

    Curtis Madsen, Chris Myers, Nicholas Roehner… in Computational Methods in Synthetic Biology (2015)