Analysing biochemical oscillation through probabilistic model checking
DOI10.1016/J.ENTCS.2009.02.002zbMATH Open1283.92023OpenAlexW1997088148MaRDI QIDQ5404071FDOQ5404071
Authors: P. Ballarini, Radu Mardare, Ivan Mura 
Publication date: 21 March 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.02.002
Recommendations
- Query-based verification of qualitative trends and oscillations in biochemical systems
- Probabilistic verification of a biodiesel production system using statistical model checking
- Model checking biological oscillators
- Probabilistic model checking of complex biological pathways
- Model checking of biological systems
Markov modelssimulationordinary differential equationsbiological oscillatorsstochastic model checking
Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Probabilistic model checking of complex biological pathways
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
- Evolving BlenX programs to simulate the evolution of biological networks
- Membrane systems with peripheral proteins: transport and evolution
- Analysing biochemical oscillation through probabilistic model checking
Cited In (14)
- Analyzing oscillatory behavior with formal methods
- Multiple verification in complex biological systems: the bone remodelling case study
- Automata-based CSL model checking
- Analysing biochemical oscillation through probabilistic model checking
- Model checking biological oscillators
- Modelling biological compartments in bio-PEPA
- On-the-fly verification and optimization of DTA-properties for large Markov chains
- A model and analysis of the AKAP scaffold
- Analysis of multimodal stochastic oscillations in a biochemical reaction model
- A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
- Detecting synchronisation of biological oscillators by model checking
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits
- Query-based verification of qualitative trends and oscillations in biochemical systems
- A formal approach for tuning stochastic oscillators
Uses Software
This page was built for publication: Analysing biochemical oscillation through probabilistic model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404071)
