Modelling biological pathway dynamics with Timed Automata

IEEE 12th International Conference on BioInformatics and BioEngineering, BIBE 2012

Volumn , Issue , 2012, Pages 447-453

  Schivo, Stefano ^a   Scholma, Jetse ^a   Wanders, Brend ^a   Camacho, Ricardo A Urquidi ^a   Van Der Vet, Paul E ^a   Karperien, Marcel ^a   Langerak, Rom ^a   Van De Pol, Jaco ^a   Post, Janine N ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

dynamic behaviour; modelling; signalling pathway; timed automata

Indexed keywords

BIOLOGICAL CELLS; BIOLOGICAL INTERACTIONS; BIOLOGICAL NETWORKS; BIOLOGICAL PATHWAYS; CELL BEHAVIOURS; COMPLEX INTERACTION; DISCRETIZATIONS; DOMAIN SPECIFIC LANGUAGES; DYNAMIC BEHAVIOURS; EVENT MODEL; EXECUTABLE MODEL; EXPRESSIVE POWER; FORMAL SEMANTICS; GROWTH FACTOR; SIGNALLING MOLECULES; SIGNALLING NETWORK; SIGNALLING PATHWAYS; TIMED AUTOMATA; UPPAAL MODEL CHECKERS; USER FRIENDLY INTERFACE;

BEHAVIORAL RESEARCH; BIOINFORMATICS; MODEL CHECKING; MODELS; PROBLEM ORIENTED LANGUAGES; REACTION KINETICS;

AUTOMATA THEORY;

EID: 84872875140     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/BIBE.2012.6399719     Document Type: Conference Paper

References (17)

1. J. Fisher and T. A. Henzinger, "Executable cell biology." Nature biotechnology, vol. 25, no. 11, pp. 1239-1249, Nov. 2007.
2. P. Mendes, S. Hoops, S. Sahle, R. Gauges, J. Dada, and U. Kummer, "Computational modeling of biochemical networks using COPASI systems biology," ser. Methods in Molecular Biology, I. V. Maly, J. M. Walker, and J. M. Walker, Eds. Totowa, NJ: Humana Press, 2009, vol. 500, ch. 2, pp. 17-59.
3. H. de Jong, J. Geiselmann, C. Hernandez, and M. Page, "Genetic Network Analyzer: qualitative simulation of genetic regulatory networks," Bioinformatics, vol. 19, no. 3, pp. 336-344, Feb. 2003.
4. M. Tomita, K. Hashimoto, K. Takahashi, T. S. Shimizu, Y. Matsuzaki, F. Miyoshi, K. Saito, S. Tanida, K. Yugi, J. C. Venter, and C. A. H. III, "E-CELL: software environment for whole-cell simulation." Bioinformatics, vol. 15, no. 1, pp. 72-84, Jan. 1999.
5. L. Dematté, C. Priami, and A. Romanel, "Modelling and simulation of biological processes in BlenX," SIGMETRICS Perform. Eval. Rev., vol. 35, pp. 32-39, March 2008.
6. F. Ciocchetta and J. Hillston, "Bio-PEPA: A framework for the modelling and analysis of biological systems," Theor. Comput. Sci., vol. 410, pp. 3065-3084, August 2009.
7. F. Ciocchetta, A. Degasperi, J. Heath, and J. Hillston, "Modelling and analysis of the NF-κB pathway in Bio-PEPA," in Transactions on Computational Systems Biology XII, ser. Lecture Notes in Computer Science, C. Priami, R. Breitling, D. Gilbert, M. Heiner, and A. Uhrmacher, Eds. Springer Berlin / Heidelberg, 2010, vol. 5945, pp. 229-262.
8. P. Lecca, "BlenX models of α-synuclein and parkin kinetics in neuropathology of Parkinson's disease," Journal of Biological Systems, vol. 19, pp. 149-181, June 2011.
9. R. Alur and D. L. Dill, "A theory of timed automata," Theor. Comput. Sci., vol. 126, pp. 183-235, April 1994.
10. ANIMO, http://wwwhome.ewi.utwente.nl/~schivos/animo.
11. S. Killcoyne, G. W. Carter, J. Smith, and J. Boyle, "Cytoscape: a community-based framework for network modeling." Methods in molecular biology (Clifton, N.J.), vol. 563, pp. 219-239, 2009.
12. K. G. Larsen, P. Pettersson, and W. Yi, "UPPAAL in a nutshell," International Journal on Software Tools for Technology Transfer (STTT), vol. 1, pp. 134-152, 1997.
13. E. Clarke, "Model checking," in Foundations of Software Technology and Theoretical Computer Science, ser. Lecture Notes in Computer Science, S. Ramesh and G. Sivakumar, Eds. Springer Berlin / Heidelberg, 1997, vol. 1346, pp. 54-56.
14. O. Maler and G. Batt, "Approximating continuous systems by timed automata," in Formal Methods in Systems Biology, ser. Lecture Notes in Computer Science, J. Fisher, Ed. Springer Berlin / Heidelberg, 2008, vol. 5054, pp. 77-89.
15. S. D. M. Santos, P. J. Verveer, and P. I. H. Bastiaens, "Growth factor-induced MAPK network topology shapes Erk response determining PC-12 cell fate," Nature Cell Biology, vol. 9, no. 3, pp. 324-330, Feb. 2007.
16. A. David, K. Larsen, A. Legay, M. Mikučionis, and Z. Wang, "Time for statistical model checking of real-time systems," in Computer Aided Verification, ser. Lecture Notes in Computer Science, G. Gopalakrishnan and S. Qadeer, Eds. Springer Berlin / Heidelberg, 2011, vol. 6806, pp. 349-355.
17. J. Tretmans, "Model-based testing and some steps towards test-based modelling," in Formal Methods for Eternal Networked Software Systems, ser. Lecture Notes in Computer Science, M. Bernardo and V. Issarny, Eds. Springer Berlin / Heidelberg, 2011, vol. 6659, pp. 297-326.