Abstract | ||
---|---|---|
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, including security and communication protocols, distributed algorithms and power management. In this paper we demonstrate its applicability to the analysis of biological pathways and show how it can yield a better understanding of the dynamics of these systems. Through a case study of the MAP (Mitogen-Activated Protein) Kinase cascade, we explain how biological pathways can be modelled in the probabilistic model checker PRISM and how this enables the analysis of a rich selection of quantitative properties. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1145/1364644.1364651 | SIGMETRICS Performance Evaluation Review |
Keywords | Field | DocType |
kinase cascade,probabilistic model checking,communication protocol,biological pathway,systems biology,better understanding,mitogen-activated protein,probabilistic model checker,formal verification framework,case study,exhibit stochastic behaviour,mitogen activated protein kinase,system biology | Power management,Computer science,Systems biology,Theoretical computer science,Distributed algorithm,Cascade,Statistical model,Probabilistic model checking,Communications protocol,Formal verification | Journal |
Volume | Issue | Citations |
35 | 4 | 37 |
PageRank | References | Authors |
1.32 | 24 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marta Z. Kwiatkowska | 1 | 6118 | 322.21 |
Gethin Norman | 2 | 4163 | 193.68 |
David Parker | 3 | 4018 | 184.00 |