Simulation and verification for computational modelling of signalling pathways

Proceedings - Winter Simulation Conference

Volumn , Issue , 2006, Pages 1666-1674

  Kwiatkowska, Marta ^a   Norman, Gethin ^a   Parker, David ^a   Tymchyshyn, Oksana ^a   Heath, John ^a   Gaffney, Eamonn ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ADDITION REACTIONS; ALGEBRA; BESSEL FUNCTIONS; BIOCHEMICAL ENGINEERING; COMPUTATIONAL METHODS; DIFFERENCE EQUATIONS; DIFFERENTIAL EQUATIONS; DIFFERENTIATION (CALCULUS); EXTRAPOLATION; MINE FLOODING; MODEL CHECKING; ORDINARY DIFFERENTIAL EQUATIONS; SPECIFICATIONS; TEMPORAL LOGIC;

APPLIED (CO); AUTOMATIC VERIFICATION; BIOCHEMICAL REACTION NETWORKS; COMPUTATIONAL MODELLING; GILLESPIE ALGORITHM; PROCESS ALGEBRAS; QUANTITATIVE MEASURES; SIGNALLING PATHWAYS; STOCHASTIC SIMULATIONS; TEMPORAL LOGIC SPECIFICATIONS;

RISK ASSESSMENT;

EID: 38049154228     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2006.322941     Document Type: Conference Paper

References (26)

1. Antoniotti, M., A. Policriti, N. Ugel, and B. Mishra. 2003. Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics 38.
2. Calder, M., S. Gilmore, and J. Hillston. 2006a. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Transactions on Computational Systems Biology 4230.
3. Calder, M., V. Vyshemirsky, D. Gilbert, and R. Orton. 2006b. Analysis of signalling pathways using continuous time Markov chains. Transactions on Computational Systems Biology 4220.
4. Cardelli, L., and A. Phillips. 2004. A correct abstract machine for the stochastic pi-calculus. In Proceedings of BioConcur'04.
5. Eccher, C. 2006. Translation of Systems Biology Markup Language into process algebra. Ph. D. thesis.
6. Frame, M. 2004. Newest findings on the oldest oncogene; how activated Src does it. Journal of Cell Science 117.
7. Gillespie, D. 1977. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81(25).
8. Heath, J., M. Kwiatkowska, G. Norman, D. Parker, and O. Tymchyshyn. 2006. Probabilistic model checking of complex biological pathways. In Proceedings of the International Conference on Computational Methods in Systems Biology, Volume 4210 of LNBI: Springer.
9. Hillston, J. 1996. A compositional approach to performance modelling. Cambridge: Cambridge University Press.
10. Hinton, A., M. Kwiatkowska, G. Norman, and D. Parker. 2006. PRISM: A tool for automatic verification of probabilistic systems. In Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Volume 3920 of LNCS: Springer.
11. Kwiatkowska, M., G. Norman, and D. Parker. 2006. Symmetry reduction for probabilistic model checking. In Proceedings of the 18th International Conference on Computer Aided Verification, Volume 4144 of LNCS: Springer-Verlag.
12. Murray, J. 1989. Mathematical biology. Springer Verlag.
13. Novère, N. L., and T. Shimizu. 2001. Stochsim: modelling of stochastic biomolecular processes. Bioinformatics 17.
14. Phillips, A., and L. Cardelli. 2005. A graphical representation for the stochastic pi-calculus. In Proceedings of Bioconcur'05.
15. Piazza, C., M. Antoniotti, V. Mysore, A. Policriti, F. Winkler, and B. Mishra. 2005. Algorithmic algebraic model checking I: Challenges from systems biology. In Proceedings of the 17th International Conference on Computer Aided Verification, Volume 3576 of LNCS.
16. Priami, C., A. Regev, E. Shapiro, and W. Silverman. 2001. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Process Letters 80.
17. PRISM 2006. 〈www.cs.bham.ac.uk/dxp/prism〉.
18. Regev, A., and E. Shapiro. 2002. Cells as computation. Nature 419.
19. Regev, A., and E. Shapiro. 2004. The pi-calculus as an abstraction for biomolecular systems. In Modelling in Molecular Biology: Springer.
20. Rutten, J., M. Kwiatkowska, G. Norman, and D. Parker. 2004. Mathematical techniques for analyzing concurrent and probabilistic systems, Volume 23 of CRM Monograph Series. American Mathematical Society.
21. SBML 2006. 〈http://sbml.org/index.psp〉.
22. Shapiro, B., A. Levchenko, E. Meyerowitz, B. Wold, and E. Mjolsness. 2003. Cellerator: extending a computer algebra system to include biochemical arrows for signal transduction simulations. Bioinformatics 19 (5).
23. Tokman, M. 2006. Efficient integration of large stiff systems of ODEs with exponential propagation iterative (EPI) methods. Journal of Computational Physics 213.
24. Ware, M., D. Tice, S. Parsons, and D. Lauffenburger. 1997. Overexpression of cellular Src in fibroblasts enhances endocytic internalization of Epidermal Growth Factor receptor. Journal of Biological Chemistry 272.
25. Wolkenhauer, O., M. Ullah, W. Kolch, and K. Cho. 2004. Modeling and simulation of intracellular dynamics: choosing an appropriate framework. IEEE Transactions on Nanobioscience 3.
26. Yamada, S., T. Taketomi, and A. Yoshimura. 2004. Model analysis of difference between EGF pathway and FGF pathway. Biochemical and Biophysical Research Communications 314.