Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems

Electronic Notes in Theoretical Computer Science

Volumn 232, Issue C, 2009, Pages 17-38

  Ciocchetta, Federica ^a   Gilmore, Stephen ^a   Guerriero, Maria Luisa ^a   Hillston, Jane ^a,b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b Scotland11The Centre for Systems Biology   (United Kingdom)

Author keywords

model checking; process algebra; stochastic simulation; Systems biology

Indexed keywords

A-PRIORI; BIO-CHEMICAL SYSTEMS; EXPERIMENTAL DATUM; INTEGRATED SIMULATIONS; MOLECULAR POPULATIONS; PRISM MODEL CHECKERS; PROCESS ALGEBRA; STATE REPRESENTATIONS; STATE SPACES; STOCHASTIC SIMULATION; SYSTEMS BIOLOGY; TIME INTERVALS;

ALGEBRA; PATIENT MONITORING; PRISMS; RANDOM PROCESSES; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC MODELS;

MODEL CHECKING;

EID: 62649170296     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.02.048     Document Type: Article

References (20)

1. Baier C., Haverkort B., Hermanns H., and Katoen J.-P. Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Software Eng. 29 (2003) 1-18
2. Baier C., Katoen J.-P., and Hermanns H. Approximate Symbolic Model Checking of Continuous-Time Markov Chains. Proceedings of CONCUR'99. LNCS 1664 (1999) 146-161
3. Bundschuh R., Hayot F., and Jayaprakash C. Fluctuations and Slow Variables in Genetic Networks. Biophys. J. 84 (2003) 1606-1615
4. Calder M., Gilmore S., and Hillston J. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Transactions on Computational Systems Biology VII 4230 (2006) 1-23
5. Calder M., Vyshemirsky V., Gilbert D., and Orton R. Analysis of signalling pathways using continuous time Markov chains. Transactions on Computational Systems Biology VI 4220 (2006) 44-67 springer
6. Ciocchetta, F. and J. Hillston, Bio-PEPA: a framework for the modelling and analysis of biological systems (2008), School of Informatics University of Edinburgh Technical Report EDI-INF-RR-1231
7. Ciocchetta F., and Hillston J. Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. Proc. of FBTC 2007. Electronic Notes in Theoretical Computer Science 194 (2008) 103-117
8. Geisweiller N., Hillston J., and Stenico M. Relating continuous and discrete PEPA models of signalling pathways. Theoretical Computer Science 404 (2008) 97-111
9. Gillespie D. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 (1977) 2340-2361
10. Heath J., Kwiatkowska M., Norman G., Parker D., and Tymchyshyn O. Probabilistic Model Checking of Complex Biological Pathways. Theoretical Computer Science 319 (2008) 239-257 special Issue on Converging Sciences: Informatics and Biology
11. Hemberg M., and Barahona M. Perfect sampling of the master equation for gene regulatory networks. Biophys J. 93 (2007) 401-410
12. Hemberg M., and Barahona M. A Dominated Coupling From The Past algorithm for the stochastic simulation of networks of biochemical reactions. BMC Syst Biol. 2 (2008) 401-410
13. Hérault, T., R. Lassaigne, F. Magniette and S. Peyronnet, Approximate probabilistic model checking, in: Proceedings of the 5th Verification, Model Checking and Abstract Interpretation (VMCAI 2004), LNCS 2937, Venice, Italy, 2004, pp. 73-84
14. Hérault, T., R. Lassaigne and S. Peyronnet, APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains, in: Proceedings of the 3rd International Conference on the Quantitative Evaluation of SysTems (QEST'06), California, USA, 2006
15. Hillston, J., Process algebras for quantitative analysis, in: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (2005), pp. 239-248
16. Hillston J. Tuning systems: From composition to performance. The Computer Journal 48 (2005) 385-400 the Needham Lecture paper
17. Hinton, A., M. Kwiatkowska, G. Norman and D. Parker, PRISM: A tool for automatic verification of probabilistic systems, in: H. Hermanns and J. Palsberg, editors, Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), LNCS 3920 (2006), pp. 441-444
18. Ramsey S., Orrell D., and Bolouri H. Dizzy: stochastic simulation of large-scale genetic regulatory networks. J. Bioinf. Comp. Biol. 3 (2005) 415-436
19. Rathinam M., Petzold L., Cao Y., and Gillespie D. Stiffness in stochastic chemically reacting systems: The implicit tau-leaping method. Journal of Chemical Physics 119 (2003) 12784-12794
20. Wolkenhauer O., Ullah M., Kolch W., and Cho K.H. Modelling and Simulation of IntraCellular Dynamics: Choosing an Appropriate Framework. IEEE Transactions on NanoBioScience 3 (2004) 200-207