Analysing Biochemical Oscillation through Probabilistic Model Checking

DOI10.1016/j.entcs.2009.02.002zbMath1283.92023OpenAlexW1997088148MaRDI QIDQ5404071

Ivan Mura, Paolo Ballarini, Radu Mardare

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

zbMATH Keywords

simulationordinary differential equationsMarkov modelsbiological oscillatorsstochastic model checking

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Analyzing Oscillatory Behavior with Formal Methods ⋮ A formal approach for tuning stochastic oscillators ⋮ Analysing Biochemical Oscillation through Probabilistic Model Checking ⋮ A Model and Analysis of the AKAP Scaffold ⋮ Automata-Based CSL Model Checking ⋮ On-the-fly verification and optimization of DTA-properties for large Markov chains ⋮ Modelling Biological Compartments in Bio-PEPA

Uses Software

• Bio-PEPA
• COPASI
• BlenX
• Cyto-Sim

Cites Work

• Evolving BlenX programs to simulate the evolution of biological networks
• Probabilistic model checking of complex biological pathways
• Membrane Systems with Peripheral Proteins: Transport and Evolution
• Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Analysing Biochemical Oscillation through Probabilistic Model Checking
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Analysing Biochemical Oscillation through Probabilistic Model Checking