High-performance analysis of biological systems dynamics with the DiVinE model checker

Briefings in Bioinformatics

Volumn 11, Issue 3, 2010, Pages 301-312

  Barnat, Jiří ^a   Brim, Luboš ^a   Šafránek, David ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

Computer simulation; Discrete abstraction; Highperformance computing; Kinetic models; Mathematical modeling; Model checking; Molecular interaction networks

Indexed keywords

ALGORITHM; ARTICLE; BIOLOGICAL MODEL; BIOLOGY; COMPUTER LANGUAGE; COMPUTER PROGRAM; COMPUTER SIMULATION; METHODOLOGY; SYSTEM ANALYSIS;

ALGORITHMS; BIOLOGY; COMPUTER SIMULATION; MODELS, BIOLOGICAL; PROGRAMMING LANGUAGES; SOFTWARE; SOFTWARE DESIGN; SYSTEMS INTEGRATION;

EID: 77953876554     PISSN: 14675463     EISSN: 14774054     Source Type: Journal    
DOI: 10.1093/bib/bbp074     Document Type: Article

References (22)

1. DiVinE - Distributed Verification Environment, Masaryk University Brno, http://divine.fi.muni.cz (12 January 2009, date last accessed).
2. Baier C, Katoen JP. In: Principles of Model Checking. Cambridge, MA: MIT Press, 2008.
3. Ballarini P, Guido R, Mazza T, et al. Taming the complexity of biological pathways through parallel computing. Brief Bioinform 2009;10:278-88.
4. Barnat J, Brim L, Cerna I, et al. BioDiVinE: a framework for parallel analysis of biological models. In: Proceedings of 2nd InternationalWorkshop on Computational Models for Cell Processes (COMPMOD 2009). Electronic Proceedings in Theoretical Computer Science; Vol. 6. Amsterdam, The Netherlands: Elsevier Science, 2009;31-45. 312 Barnat et al.
5. Barnat J, Brim L, Cerna I. Cluster-based LTL model checking of large systems. In: Proc 4th Int Symp on Formal Methods for Components and Objects. (Lecture Notes in Computer Science); Vol. 4111. Heidelberg, Germany: Springer, 2005;259-79.
6. Barnat J, Brim L, Cerna I, et al. Computational analysis of large-scale multi-affine ODE models. In: High Performance Computational Systems Biology (HIBI 2009). Los Alamitos, USA: IEEE Computer Society Press, 2009;81-90.
7. Barnat J, Brim L, Cerna I, et al. On algorithmic analysis of transcriptional regulation by LTL model checking. Theor Comput Sci 2009;410:3128-48.
8. Barnat J, Brim L, Cerna I, et al. Parallel model necking large-scale genetic regulatory networks with DiVinE. In: Proceeding of From Biology to Concurrency and Back. (Electronic Notes in Computer Science) 2007;194:35-50.
9. Barnat J, Brim L, Cerna I, et al. From simple regulatory motifs to parallel model checking of complex transcriptional networks. In: Pre-proceedings of Parallel and Distributed Methods in Verification (PDMC 2008) Budapest, 2008;83-96.
10. Barnat J, Brim L, Cerna I, et al. DiVinE-a tool for distributed verification (Tool Paper). In: Computer Aided Verification. (Lecture Notes in Computer Science) 2006;4144: 278-81.
11. Barnat J, Brim L, Leucker M. Parallel model checking and the FMICS-jETI platform. In: The 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007). Los Alamitos, USA: IEEE Computer Society Press, 2007;330-9.
12. Batt G, Belta C, Weiss R. Model checking genetic regulatory networks with parameter uncertainty. IEEE Trans Autom Control 2008;53:215-29.
13. Batt G, Ropers D, de Jong H, et al. Analysis and verification of qualitative models of genetic regulatory networks: amodel-checking approach. In: Proceedings of the Conference on Artificial Intelligence (IJCAI'05). Edinburgh, UK: Professional Book Center, 2005;26-35.
14. Belta C, Habets LCGJM. Controlling a class of nonlinear systems on rectangles. IEEE Trans Autom Control 2006;51(11): 1749-59.
15. Calzone L, Fages F, Soliman S. BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 2006;22(14): 1805-07.
16. de Jong H, Gouzé JL, Hernandez C, et al. Qualitative simulation of genetic regulatory networks using piece-wise linear models. Bull Math Biol 2004;66:301-40.
17. de Jong H, Ropers D. Strategies for dealing with incomplete information in the modeling of molecular interaction networks. Brief Bioinform 2006;7:354-63.
18. Dunn SM, Constantinides A, Moghe PV. In: Numerical Methods in Biomedical Engineering. New York: Academic, 2006.
19. Jha SK, Clarke EM, Langmead CJ, et al. A bayesian approach to model checking biological systems. In: Proceedings of Computational Methods in Systems Biology (CMSB 2009). Heidelberg, Germany: Springer, 2009;218-34.
20. Kloetzer M, Belta C. Reachability analysis of multiaffine systems. Transactions of the Institute of Measurement and Control 2008; doi:10.1177/0142331208097838.
21. Liu X, Jiang J, Ajayi O, et al. Bio Nessie. Global Healthgrid: e-Science meets biomedical informatics. In: Proceedings of Health Grid; Vol. 138. Pont-du-Chateau, France: Health Grid, 2008;147-57.
22. Vardi MY, Wolper P. An automata-theoretic approach to automatic program verification. In: Proceedings of IEEE Symposium on Logic in Computer Science. Los Alamitos, USA: IEEE Computer Society Press, 1986;322-31.