Kwiatkowska, M., Norman, G. and Parker, D. (2008) Using probabilistic model checking in systems biology. ACM SIGMETRICS Performance Evaluation Review, 34(4), pp. 14-21. (doi: 10.1145/1364644.1364651)
Full text not currently available from Enlighten.
Publisher's URL: http://doi.acm.org/10.1145/1364644.1364651
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.
Item Type: | Articles |
---|---|
Additional Information: | Special issue on the quantitative evaluation of biological systems |
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Norman, Dr Gethin |
Authors: | Kwiatkowska, M., Norman, G., and Parker, D. |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
College/School: | College of Science and Engineering > School of Computing Science |
Journal Name: | ACM SIGMETRICS Performance Evaluation Review |
Journal Abbr.: | Performance Evaluation Review |
ISSN: | 0163-5999 |
ISSN (Online): | 1557-9484 |
University Staff: Request a correction | Enlighten Editors: Update this record