Probabilistic model checking of complex biological pathways
From MaRDI portal
Publication:2474435
DOI10.1016/J.TCS.2007.11.013zbMATH Open1133.68043OpenAlexW2118039525MaRDI QIDQ2474435FDOQ2474435
Authors: Yanyan Li 
Publication date: 6 March 2008
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://ora.ox.ac.uk/objects/uuid:f7298026-548f-4ef2-b61e-65e921b002e8
Recommendations
- Probabilistic model checking of the PDGF signaling pathway
- Model checking of biological systems
- Probabilistic verification of a biodiesel production system using statistical model checking
- Formal methods for biochemical signalling pathways
- Multiple verification in complex biological systems: the bone remodelling case study
Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60) Classical flows, reactions, etc. in chemistry (92E20)
Cites Work
- Title not available (Why is that?)
- Exact and ordinary lumpability in finite Markov chains
- Automated compositional Markov chain generation for a plain-old telephone system
- Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
- Optimal state-space lumping in Markov chains
- Title not available (Why is that?)
- A Symbolic Algorithm for Optimal Markov Chain Lumping
- Title not available (Why is that?)
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
- Stochastic model checking
- Title not available (Why is that?)
- Symmetry Reduction for Probabilistic Model Checking
- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
- THE ASYMPTOTIC STRUCTURE OF THE HODGKIN–HUXLEY EQUATIONS
- A mass action model of a fibroblast growth factor signaling pathway and its simplification
Cited In (31)
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- An algorithm for the identification of components in biochemical pathways
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
- Probabilistic approximations of ODEs based bio-pathway dynamics
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Translating stochastic CLS into Maude
- Formal methods for biochemical signalling pathways
- Multiple verification in complex biological systems: the bone remodelling case study
- Abstraction-based segmental simulation of chemical reaction networks
- A mass action model of a fibroblast growth factor signaling pathway and its simplification
- Computing cumulative rewards using fast adaptive uniformization
- Model-checking linear-time properties of quantum systems
- Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
- Modular verification of chemical reaction network encodings via serializability analysis
- Model checking probabilistic systems
- Analysing biochemical oscillation through probabilistic model checking
- Qualitative analysis of gene regulatory networks by temporal logic
- Modular verification of qualitative pathway models with fairness
- Model checking of biological systems
- Component identification in biochemical pathways
- Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
- Comparative analysis of statistical model checking tools
- Probabilistic model checking of the PDGF signaling pathway
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits
- CRNs exposed: a method for the systematic exploration of chemical reaction networks
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA
- Modular verification of interactive systems with an application to biology
- Query-based verification of qualitative trends and oscillations in biochemical systems
- Modelling intracellular fate of FGF receptors with BioAmbients
- Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
- Biomodel Engineering – From Structure to Behavior
Uses Software
This page was built for publication: Probabilistic model checking of complex biological pathways
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2474435)
