MIRACH: Efficient model checker for quantitative biological pathway models

Bioinformatics

Volumn 27, Issue 5, 2011, Pages 734-735

  Koh, Chuan Hock ^a,b,c   Nagasaki, Masao ^c   Saito, Ayumu ^c   Li, Chen ^c   Wong, Limsoon ^b   Miyano, Satoru ^c  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^c UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHM; ARTICLE; BIOLOGICAL MODEL; COMPUTER PROGRAM; CONFIDENCE INTERVAL; METHODOLOGY; STATISTICAL MODEL; SYSTEMS BIOLOGY;

ALGORITHMS; CONFIDENCE INTERVALS; MODELS, BIOLOGICAL; MODELS, STATISTICAL; SOFTWARE; SYSTEMS BIOLOGY;

EID: 79951991634     PISSN: 13674803     EISSN: 14602059     Source Type: Journal    
DOI: 10.1093/bioinformatics/btq727     Document Type: Article

References (15)

1. Batt,G. et al. (2005) Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Bioinformatics, 21 (Suppl. 1), i19-i28.
2. Batt,G. et al. (2010) Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics, 26, i603-i610.
3. Clarke,EM. et al. (2008) Statistical model checking in BioLab: applications to the automated analysis of T-cell receptor signaling pathway. In Heiner, M. and Uhrmacher,A.M. (eds) Proceedings of the 6th International Conference CMSB 2008, Rostock, Germany, Vol. 5307 of Lecture Notes in Computer Science, pp. 231-250.
4. Donaldson,R. and Gilbert,D. (2008a) A Monte Carlo model checker for probabilistic LTL with numerical constraints. Technical Report TR-2008-282. University of Glasgow, Department of Computing Science.
5. Donaldson,R. and Gilbert,D. (2008b) A model checking approach to the parameter estimation of biochemical pathways. In Heiner, M. and Uhrmacher,A.M. (eds) Proceedings of the 6th International Conference CMSB 2008, Rostock, Germany, Vol. 5307 of Lecture Notes in Computer Science, pp. 269-287.
6. Heath,J. et al. (2008) Probabilistic model checking of complex biological pathways. Theor. Comput. Sci., 391, 239-257.
7. Hucka,M. et al. (2003) The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics, 19, 524-531.
8. Koh,CH. et al. (2010) DA 1.0: parameter estimation of biological pathway using data assimilation approach. Bioinformatics, 26, 1794-1796.
9. Levchenko,A. et al. (2000) Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. Proc. Natl Acad. Sci. USA, 97, 5818-5823.
10. Nagasaki,M. et al. (2010) Cell illustrator 4.0: a computational platform for systems biology. In Silico Biol., 10, 0002.
11. Saito,A. et al. (2006) Cell fate simulation model of gustatory neurons with microRNAs double-negative feedback loop by hybrid functional petri net with extension. Genome Inform., 17, 100-111.
12. Wald,A. (1945) Sequential tests of statistical hypotheses. Ann. Math. Stat., 16, 117-186.
13. Wilson,E. (1927) Probable inference, the law of succession, and statistical inference. J. Am. Stat. Assoc., 22, 209-212.
14. Younes,H.L.S. (2006) Error control for probabilistic model checking. Lect. Notes Comput. Sci., 3855, 142-156.
15. Younes,H.L.S. et al. (2006) Numerical vs statistical probabilistic model checking. Int. J. Software Tools Technol Tran., 8, 216-228.