Probabilistic model checking of complex biological pathways
From MaRDI portal
Publication:2474435
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
Cites work
- scientific article; zbMATH DE number 1670788 (Why is no real title available?)
- scientific article; zbMATH DE number 3574935 (Why is no real title available?)
- scientific article; zbMATH DE number 1950554 (Why is no real title available?)
- scientific article; zbMATH DE number 3075094 (Why is no real title available?)
- A Symbolic Algorithm for Optimal Markov Chain Lumping
- A mass action model of a fibroblast growth factor signaling pathway and its simplification
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Automated compositional Markov chain generation for a plain-old telephone system
- Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
- Exact and ordinary lumpability in finite Markov chains
- Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
- Optimal state-space lumping in Markov chains
- Stochastic model checking
- Symmetry Reduction for Probabilistic Model Checking
- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
- THE ASYMPTOTIC STRUCTURE OF THE HODGKIN–HUXLEY EQUATIONS
Cited in
(31)- An algorithm for the identification of components in biochemical pathways
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- 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
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
- 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
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA
- CRNs exposed: a method for the systematic exploration of chemical reaction networks
- 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
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)
