Computational modeling and verification of signaling pathways in cancer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6479 LNCS, Issue , 2012, Pages 117-135

  Gong, Haijun ^a   Zuliani, Paolo ^a   Komuravelli, Anvesh ^a   Faeder, James R ^b   Clarke, Edmund M ^a  

^a Carnegie Mellon University ^*  (United States)

^b UNIVERSITY OF PITTSBURGH   (United States)

Author keywords

cancer; HMGB1; Model Checking; verification

Indexed keywords

BEHAVIORAL PROPERTIES; CANCER; CANCER CELLS; COMPUTATIONAL MODELING; CROSSTALK MODELS; HMGB1; MODEL SIMULATION; NEGATIVE FEEDBACK LOOP; OVER-EXPRESSION; P53 PROTEIN; PHYSIOLOGICAL PROCESS; PROGRAMMED CELL DEATHS; PROLIFERATION AND APOPTOSIS; QUALITATIVE PROPERTIES; REGULATORY NETWORK; RULE BASED; RULE-BASED MODELS; SIGNALING PATHWAYS; SINGLE-CELL MODELS; STATISTICAL MODELS; STOCHASTIC SIMULATION ALGORITHMS; SUSTAINED OSCILLATIONS;

ALGEBRA; CELL DEATH; COMPUTER SIMULATION; CROSSTALK; DISEASES; FEEDBACK; ORDINARY DIFFERENTIAL EQUATIONS; PATHOLOGY; PIGMENTS; RUBIDIUM; SIGNALING; STOCHASTIC MODELS; TEMPORAL LOGIC; VERIFICATION;

MODEL CHECKING;

EID: 84855960436     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28067-2_7     Document Type: Conference Paper

References (51)

1. HMGB1-NFkB BioNetGen Code, http://www.cs.cmu.edu/-haijung/research/ HMGB1ANB.bngl
2. Online Supplementary Materials, http://www.cs.cmu.edu/-haijung/research/ ANBSupplement.pdf
3. Bardeesy, N., DePinho, R.A.: Pancreatic cancer biology and genetics. Nature Reviews Cancer 2(12), 897-909 (2002) (Pubitemid 37328891)
4. Brezniceanu, M.L., Volp, K., Bosser, S., Solbach, C., Lichter, P., et al.: HMGB1 inhibits cell death in yeast and mammalian cells and is abundantly expressed in human breast carcinoma. FASEB Journal 17, 1295-1297 (2003)
5. Cascinu, S., Scartozzi, M., et al.: COX-2 and NF-kB overexpression is common in pancreatic cancer but does not predict for COX-2 inhibitors activity in combination with gemcitabine and oxaliplatin. American Journal of Clinical Oncology 30(5), 526-530 (2007) (Pubitemid 47537955)
6. Ciliberto, A., Novak, B., Tyson, J.: Steady states and oscillations in the p53/Mdm2 network. Cell Cycle 4(3), 488-493 (2005) (Pubitemid 41359739)
7. Clarke, E.M., Emerson, E.A., Sifakis, J.: Model checking: algorithmic verification and debugging. Commun. ACM 52(11), 74-84 (2009)
8. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)
9. Downward, J.: Targeting RAS signalling pathways in cancer therapy. Nature Reviews Cancer 3, 11-22 (2003) (Pubitemid 37328883)
10. Dumitriu, I.E., Baruah, P., Valentinis, B., et al.: Release of high mobility group box 1 by dendritic cells controls T cell activation via the receptor for advanced glycation end products. The Journal of Immunology 174, 7506-7515 (2005) (Pubitemid 40806253)
11. Eddy, S.F., Guo, S., et al.: Inducible IkB kinase/IkB kinase expression is induced by CK2 and promotes aberrant Nuclear Factor-kB activation in breast cancer cells. Cancer Research 65, 11375-11383 (2005) (Pubitemid 41823949)
12. Ellerman, J.E., Brown, C.K., de Vera, M., Zeh, H.J., Billiar, T., et al.: Masquerader: high mobility group box-1 and cancer. Clinical Cancer Research 13, 2836-2848 (2007) (Pubitemid 46850704)
13. Faeder, J.R., Blinov, M.L., Hlavacek, W.S.: Rule-based modeling of biochemical systems with BioNetGen. Methods in Molecular Biology 500, 113-167 (2009)
14. Geva-Zatorsky, N., Rosenfeld, N., Itzkovitz, S., Milo, R., Sigal, A., Dekel, E., Yarnitzky, T., Liron, Y., Polak, P., Lahav, G., Alon, U.: Oscillations and variability in the p53 system. Molecular Systems Biology, 2:2006.0033 (2006)
15. Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. Journal of Computational Physics 22(4), 403-434 (1976)
16. Gong, H., Guo, Y., Linstedt, A., Schwartz, R.: Discrete, continuous, and stochastic models of protein sorting in the Golgi apparatus. Physical Review E 81(1), 011914 (2010)
17. Gong, H., Sengupta, H., Linstedt, A., Schwartz, R.: Simulated de novo assembly of Golgi compartments by selective cargo capture during vesicle budding and targeted vesicle fusion. Biophysical Journal 95, 1674-1688 (2008)
18. Gong, H., Zuliani, P., Komuravelli, A., Faeder, J.R., Clarke, E.M.: Analysis and verification of the HMGB1 signaling pathway. BMC Bioinformatics (2010) (to appear)
19. Hanahan, D., Weinberg, R.A.: The hallmarks of cancer. Cell 100(1), 57-70 (2000) (Pubitemid 30046295)
20. Hinz, M., Krappmann, D., Eichten, A., Heder, A., Scheidereit, C., Strauss, M.: NF- κB function in growth control: regulation of cyclin D1 expression and G0/G1-to-Sphase transition. Mol. Cell Biol. 19, 2690-2698 (1999) (Pubitemid 29144513)
21. Hlavacek, W.S., Faeder, J.R., Blinov, M.L., Posner, R.G., Hucka, M., Fontana, W.: Rules for modeling signal-transduction system. Science STKE 2006 re6 (2006)
22. Hoffmann, A., Levchenko, A., Scott, M.L., Baltimore, D.: The IκB-NFκB signaling module: Temporal control and selective gene activation. Science 298, 1241-1245 (2002) (Pubitemid 35285493)
23. Huang, Z.: Bcl-2 family proteins as targets for anticancer drug design. Oncogene 19, 6627-6631 (2000) (Pubitemid 32197701)
24. Idel, S., Dansky, H.M., Breslow, J.L.: A20, a regulator of NFκB, maps to an atherosclerosis locus and differs between parental sensitive C57BL/6J and resistant FVB/N strains. Proceedings of the National Academy of Sciences 100, 14235-14240 (2003) (Pubitemid 37499220)
25. Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A Bayesian Approach to Model Checking Biological Systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 218-234. Springer, Heidelberg (2009)
26. Kang, R., Tang, D., Schapiro, N.E., Livesey, K.M., Farkas, A., Loughran, P., Bierhaus, A., Lotze, M.T., Zeh, H.J.: The receptor for advanced glycation end products (RAGE) sustains autophagy and limits apoptosis, promoting pancreatic tumor cell survival. Cell Death and Differentiation 17(4), 666-676 (2009)
27. Krishna, S., Jensen, M.H., Sneppen, K.: Minimal model of spiky oscillations in NFkB signaling. Proceedings of the National Academy of Sciences 103, 10840-10845 (2006) (Pubitemid 44148382)
28. Langmead, C.J.: Generalized queries and bayesian statistical model checking in dynamic bayesian networks: Application to personalized medicine. In: CSB, pp. 201- 212 (2009)
29. Larris, S., Levine, A.J.: The p53 pathway: positive and negative feedback loops. Oncogene 24, 2899-2908 (2005) (Pubitemid 40638098)
30. Lee, D.F., Huang, M.C.: Advances in targeting IKK and IKK-related kinases for cancer therapy. Clinical Cancer Research 14, 5656 (2008)
31. Lipniacki, T., Hat, T., Faeder, J.R., Hlavacek, W.S.: Stochastic effects and bistability in T cell receptor signaling. Journal of Theoretical Biology 254, 110-122 (2008)
32. Lipniacki, T., Paszek, P., Brasier, A., Luxon, B., Kimmel, M.: Crosstalk between p53 and nuclear factor-kB systems: pro-and anti-apoptotic functions of NF-kB. Journal of Theoretical Biology 228, 195-215 (2004)
33. Lotze, M.T., Tracey, K.: High-mobility group box 1 protein (HMGB1): nuclear weapon in the immune arsenal. Nature Reviews Immunology 5, 331-342 (2005) (Pubitemid 40516158)
34. McInnes, C.: Progress in the evaluation of CDK inhibitors as anti-tumor agents. Drug Discovery Today 13(19-20), 875-881 (2008)
35. Mengel, B., Krishna, S., Jensen, M.H., Trusina, A.: Theoretical analyses predict A20 regulates period of NF-κB oscillation. arXiv: bio-ph 0911.0529 (2009)
36. Nelson, D.E., Ihekwaba, A.E.C., et al.: Oscillations in NF-κB signaling control the dynamics of gene expression. Science 306, 704-708 (2004) (Pubitemid 39440922)
37. Nevins, J.R.: The Rb/E2F pathway and cancer. HumanMolecular Genetics 10, 699- 703 (2001) (Pubitemid 32331578)
38. Puszynski, K., Hat, B., Lipniacki, T.: Oscillations and bistability in the stochastic model of p53 regulation. Journal of Theoretical Biology 254, 452-465 (2008)
39. Rizk, A., Batt, G., Fages, F., Soliman, S.: On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 251-268. Springer, Heidelberg (2008)
40. Rotblat, B., Ehrlich, M., Haklai, R., Kloog, Y.: The Ras inhibitor farnesylthiosalicylic acid (salirasib) disrupts the spatiotemporal localization of active Ras: a potential treatment for cancer. Methods in Enzymology 439, 467-489 (2008)
41. Semino, C., Angelini, G., Poggi, A., Rubartelli, A.: NK/iDC interaction results in IL-18 secretion by DCs at the synaptic cleft followed by NK cell activation and release of the DC maturation factor HMGB1. Blood 106, 609-616 (2005) (Pubitemid 40981258)
42. Sherr, C.J., McCormick, F.: The Rb and p53 pathways in cancer. Cancer Cell 2, 103-112 (2002) (Pubitemid 41039110)
43. Tang, X., Liu, D., Shishodia, S., Ozburn, N., Behrens, C., Lee, J.J., Hong, W.K., Aggarwal, B.B., Wistuba, I.I.: Nuclear factor-κB (NF-κB) is frequently expressed in lung cancer and preneoplastic lesions. Cancer 107, 2637-2646 (2006) (Pubitemid 44845619)
44. Vakkila, J., Lotze, M.T.: Inflammation and necrosis promote tumour growth. Nature Reviews Immunology 4, 641-648 (2004) (Pubitemid 39025049)
45. van Beijnum, J.R., Buurman, W.A., Griffioen, A.W.: Convergence and amplification of toll-like receptor (TLR) and receptor for advanced glycation end products (RAGE) signaling pathways via high mobility group B1. Angiogenesis 11, 91-99 (2008)
46. Vogelstein, B., Lane, D., Levine, A.J.: Surfing the p53 network. Nature 408, 307-310 (2000)
47. Wee, K.B., Aguda, B.D.: Akt versus p53 in a network of oncogenes and tumor suppressor genes regulating cell survival and death. Biophysical Journal 91, 857-865 (2006) (Pubitemid 44161917)
48. Wu, H., Lozano, G.: NF-κB activation of p53. a potential mechanism for suppressing cell growth in response to stress. J. Biol. Chem. 269, 20067-20074 (1994)
49. Yao, G., Lee, T.J., Mori, S., Nevins, J., You, L.: A bistable Rb-E2F switch underlies the restriction point. Nature Cell Biology 10, 476-482 (2008)
50. Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with a focus on time-bounded properties. Information and Computation 204(9), 1368-1409 (2006) (Pubitemid 44279948)
51. Zuliani, P., Platzer, A., Clarke, E.M.: Bayesian statistical model checking with application to simulink/stateflow verification. In: HSCC, pp. 243-252 (2010)