Applications of an expressive statistical model checking approach to the analysis of genetic circuits

DOI10.1016/J.TCS.2015.05.018MaRDI QIDQ498908zbMATH OpenOpenAlexFDO

Authors P. Ballarini, Marie Duflot

Publication date 29 September 2015

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2015.05.018

zbMATH Keywords

model checkingstochastic methodsdelayed stochastic dynamicsqualitative/quantitative analysis of biochemical systems

Mathematics Subject Classification ID

Genetics and epigenetics (92D10) Systems biology, networks (92C42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Analysing biochemical oscillation through probabilistic model checking
• On Timed Models of Gene Networks
• Model checking of biological systems
• Translating stochastic CLS into Maude
• On algorithmic analysis of transcriptional regulation by LTL model checking

Cites work

• scientific article; zbMATH DE number 729460 (Why is no real title available?)
• scientific article; zbMATH DE number 1052006 (Why is no real title available?)
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A platform for high performance statistical model checking -- PLASMA
• A theory of timed automata
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Checking finite traces using alternating automata
• Computer Aided Verification
• Expressing and computing passage time measures of GSPN models with HASL
• Probabilistic model checking of biological systems with uncertain kinetic rates
• Probabilistic model checking of complex biological pathways
• Query-based verification of qualitative trends and oscillations in biochemical systems
• Statistical Model Checking for Networks of Priced Timed Automata
• Stochastic model checking
• Studying genetic regulatory networks at the molecular level: delayed reaction stochastic models
• System modeling in cellular biology. From concepts to nuts and bolts.
• Unified specification and performance evaluation using stochastic process algebras

Cited in

(4)

• Model Checking Liveness Properties of Genetic Regulatory Networks
• On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
• Robust genetic circuit design: a mixed \(\mathcal{H}_{\infty}\) and IQC analysis
• A formal approach for tuning stochastic oscillators

Describes a project that uses

Uses Software

• SGN Sim
• HASL
• COSMOS
• BIOCHAM
• Ymer
• VESTA
• PRISM

This page was built for publication: Applications of an expressive statistical model checking approach to the analysis of genetic circuits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q498908)