BioDiVinE: A framework for parallel analysis of biological models

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 6, Issue , 2009, Pages 31-45

  Barnat, J ^a   Brim, L ^a   Cerna, I ^a   Drazan S ^a   Fabrikova J ^a   Lanik J ^a   Safranek D ^a   Ma, H ^b  

^a MASARYK UNIVERSITY   (Czech Republic)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL REACTIONS; COMPUTATIONAL METHODS; DIFFERENTIAL EQUATIONS; MODEL CHECKING;

BIOLOGICAL MODELS; CONTINUOUS STATE SPACE; DISCRETE ABSTRACTION; PARALLEL ANALYSIS;

CHEMICAL ANALYSIS;

EID: 84995314780     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.6.3     Document Type: Conference Paper

References (19)

1. J. Barnat, L. Brim & J. Chaloupka (2005): From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electronic Notes in Theoretical Computer Science 133(1), pp. 21–39.
2. J. Barnat, L. Brim, I. Černá, S. Dražan, J. Fabriková & D. Šafránek (2009): Computational Analysis of Large-Scale Multi-Affine ODE Models Accepted to High Performance Computational Systems Biology (HIBI) 2009.
3. J. Barnat, L. Brim, I. Černá, S. Dražan, J. Fabriková & D. Šafránek (2009): On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. Theoretical Computer Science 410, pp. 3128–3148.
4. J. Barnat, L. Brim, I. Černá, P. Moravec, P. Ročkai & P. Šimeček (2006): DiVinE – A Tool for Distributed Verification (Tool Paper). In: Computer Aided Verification, LNCS 4144/2006. Springer, pp. 278–281.
5. G. Batt, C. Belta & R. Weiss (2007): Model checking liveness properties of genetic regulatory networks. In: Conference on Tools and Algorithms for the Construction and Analysis of Systems, LNCS 4424. Springer, pp. 323–338.
6. G. Batt, C. Belta & R. Weiss (2008): Model checking genetic regulatory networks with parameter uncertainty. IEEE Transactions on Circuits and Systems and IEEE Transactions on Automatic Control, Special Issue on Systems Biology , pp. 215–229.
7. C. Belta & L.C.G.J.M. Habets (2006): Controlling a class of nonlinear systems on rectangles. IEEE Transactions on Automatic Control 51(11), pp. 1749–1759.
8. L. Calzone, F. Fages & S. Soliman (2006): BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14), pp. 1805–1807.
9. I. Černá & R. Pelánek (2003): Distributed Explicit Fair Cycle Detection (Set Based Approach). In: Model Checking Software. 10th International SPIN Workshop, LNCS 2648. Springer, pp. 49 – 73.
10. E.M. Clarke, O. Grumberg & D.A. Peled (2000): Model Checking. MIT Press.
11. S. Hoopes et.al. (2006): COPASI – a COmplex PAthway SImulator. Bioinformatics 22, pp. 3067–74.
12. M. Feinberg (1987): Chemical reaction network structure and the stability of complex isothermal reactors I. The deficiency zero and the deficiency one theorems. Chemical Engineering Science 42, pp. 2229–2268.
13. S.K. Jha, E.M. Clarke, C.J. Langmead, A. Legay, A. Platzer & A.P. Zuliani (2009): A Bayesian Approach to Model Checking Biological Systems. In: Proc. of Computational Methods in Systems Biology (CMSB 2009), 5688. Springer, pp. 218–234.
14. H. de Jong, J. Geiselmann, C. Hernandez & M. Page (2003): Genetic Network Analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics 19(3), pp. 336–344. Available at http://www-helix.inrialpes.fr/gna.
15. H. de Jong, J.L. Gouzé, C. Hernandez, M. Page, T. Sari & J. Geiselmann (2004): Qualitative simulation of genetic regulatory networks using piece-wise linear models. Bull. Math. Biology 66, pp. 301–340.
16. S. Khademi, J. O’Connell III, J. Remis, Y. Robles-Colmenares, L.J. Miercke & R.M. Stroud (2004): Mechanism of ammonia transport by Amt/MEP/Rh: Structure of AmtB at 1.35. Science 305(5690), pp. 1587–1594.
17. M. Kloetzer & C. Belta (2008): Reachability analysis of multi-affine systems. Transactions of the Institute of Measurement and Control In press.
18. X. Liu, J. Jiang, O. Ajayi, X. Gu, D. Gilbert & R. Sinnott (2008): BioNessie. Global Healthgrid: e-Science Meets Biomedical Informatics - Proceedings of HealthGrid 2008 138, pp. 147–157.
19. H. Ma, F. Boogerd & I. Goryanin (2009): Modelling nitrogen assimilation of Escherichia coli at low ammonium concentration. Journal of Biotechnology Doi:10.1016/j.jbiotec.2009.09.003.