Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

Electronic Notes in Theoretical Computer Science

Volumn 194, Issue 3, 2008, Pages 35-50

  Barnat, J ^a   Brim, L ^a   Cerna I ^a   Drazan S ^a   Safranek D ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

discrete simulation; genetic regulatory networks; parallel model checking

Indexed keywords

BIOLOGICAL SYSTEMS; PARALLEL PROCESSING SYSTEMS;

DISCRETE SIMULATION; PARALLEL MODEL CHECKIN;

GENE EXPRESSION;

EID: 38649105148     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.12.001     Document Type: Article

References (34)

1. Barnat J., Brim L., Černá I., Moravec P., Ročkai P., and Šimeček P. DiVinE - A Tool for Distributed Verification (Tool Paper). Computer Aided Verification. LNCS volume 4144/2006 (2006), Springer 278-281
2. Batt G., Belta C., and Weiss R. Model checking genetic regulatory networks with parameter uncertainty. In: Bemporad A., Bicchi A., and Butazzo G. (Eds). Tenth International Workshop on Hybrid Systems: Computation and Control. (HSCC'07). LNCS volume 4416 (2007), Springer 61-75
3. Batt G., Belta C., and Weiss R. Model checking liveness properties of genetic regulatory networks. In: Grumberg O., and Huth M. (Eds). Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems. (TACAS'07). LNCS volume 4424 (2007), Springer 323-338
4. Batt G., Bergamini D., de Jong H., Garavel H., and Mateescu R. Model checking genetic regulatory networks using GNA and CADP. Eleventh International SPIN Workshop on Model Checking Software. (SPIN'04). LNCS volume 2989 (2004), Springer 158-163
5. G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page, and D. Schneider. Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach. In L.P. Kaelbling and A. Saffiotti, editors, Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05), pages 370-375, 2005
6. G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page, and D. Schneider. Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in escherichia coli. In Thirteenth International Conference on Intelligent Systems for Molecular Biology, pages 19-28, 2005
7. Batt G., Ropers D., de Jong H., Geiselmann J., Page M., and Schneider D. Qualitative analysis and verification of hybrid models of genetic regulatory networks : Nutritional stress response in escherichia coli. Eighth International Workshop on Hybrid Systems : Computation and Control. (HSCC'05). LNCS volume 3414 (2005), Springer 134-150
8. G. Batt, D. Ropers, H. de Jong, M. Page, and J. Geiselmann. Symbolic Reachability Analysis of Genetic Regulatory Networks using Qualitative Abstractions. Technical Report RR-6136, INRIA, 2007
9. Bernot G., Comet J.-P., Richard A., and Guespin J. Application of Formal Methods to Biological Regulatory Networks: Extending Thomas' Asynchronous Logical Approach with Temporal Logic. Journal of Theoretical Biology 229 3 (2004) 339-347
10. Bower J.M., and Bolouri H. Computational modeling of genetic and biochemical networks (2001), Bradford Book, Cambridge
11. Calzone L., Chabrier-Rivier N., Fages F., and Soliman S. Machine Learning Biochemical Networks from Temporal Logic Properties. Transactions on Computational Systems Biology VI 4220 (2006) 68-94
12. Calzone L., Fages F., and Soliman S. BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22 14 (2006) 1805-1807
13. Černá I., and Pelánek R. Distributed explicit fair cycle detection (set based approach). In: Ball T., and Rajamani S.K. (Eds). Model Checking Software. 10th International SPIN Workshop. Lecture Notes in Computer Science volume 2648 (2003), Springer Verlag 49-73
14. Chabrier N., and Fages F. Symbolic Model Checking of Biochemical Networks. In: Chabrier N., and Fages F. (Eds). Computational Methods in Systems Biology. (CMSB'03). LNCS volume 2602 (2003), Springer-Verlag 149-162
15. de Jong H. Modeling and Simulation of Genetic Regulatory Systems: A Literature Review. Journal of Computational Biology 9 1 (2002) 67-103
16. de Jong H., Geiselmann J., Batt G., Hernandez C., and Page M. Qualitative simulation of the initiation of sporulation in Bacillus subtilis. Bulletin of Mathematical Biology 66 2 (2004) 261-300
17. de Jong H., Geiselmann J., Hernandez C., and Page M. Genetic network analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics 19 3 (2003) 336-344
18. de Jong H., Gouzé J.-L., Hernandez C., Page M., Sari T., and Geiselmann J. hybrid modeling and simulation of genetic regulatory networks: A qualitative approach. In: Maler O., and Pnueli A. (Eds). Hybrid Systems: Computation and Control, 6th International Workshop. HSCC 2003. LNCS volume 2623 (2003), Springer 267-282
19. H. de Jong, J-L. Gouz, C. Hernandez, T. Sari, M. Page, and J. Geiselmann. Qualitative simulation of genetic regulatory networks using piecewise-linear models. Technical Report RR-4407, INRIA-Helix, 2002
20. Williams S., et al. The Potential of the Cell Processor for Scientific Computing. Proc. of 3rd Conference on Computing Frontiers (2006), ACM Press 9-20
21. Fisler K., Fraer R., Kamhi G., Vardi M.Y., and Yang Z. Is there a best symbolic cycle-detection algorithm?. Proc. Tools and Algorithms for the Construction and Analysis of Systems. LNCS volume 2031 (2001), Springer-Verlag 420-434
22. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 25 (1977) 2340-2381
23. Glass L. Classification of biological networks by their qualitative dynamics. Journal of Theoretical Biology 54 1 (1975) 85-107
24. Glass L. Global analysis of nonlinear kinectics. Statistical Mechanics, Part B: Time Dependent Processes (1977) 311-349
25. Glass L., Hill C., and Mestl T. Nonlinear dynamics of gene and neural networks. Nonlinear Phenomena in Biological and Physical Systems (2000), Indian National Science Academy 249-262
26. Jean-Luc Gouzé and Tewfik Sari. A class of piecewise linear differential equations arising in biological models. Technical Report RR-4207, INRIA, 2001
27. Kuipers B. Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge (1994), MIT Press
28. J.M. McCollum, G.D. Peterson, Ch.D. Cox, and M.L. Simpson. Accelerating Gene Regulatory Network Modeling Using Grid-Based Simulation. In SIMULATION 2004, volume 80, pages 231-241. SAGE, 2004
29. Meredith J.S., Alam S.R., and Vetter J.S. Analysis of a Computational Biology Simulation Technique on Emerging Processing Architectures. Proc. of Parallel and Distributed Processing Symposium (2007), IEEE 1-8
30. Mestl T., Plahte E., and Omholt S.W. A mathematical framework for describing and analysing gene regulatory networks. Journal of Theoretical Biology 176 2 (1995) 291-300
31. Popova-Zeugmann L., Heiner M., and Koch I. Time petri nets for modelling and analysis of biochemical networks. Fundam. Inform. 67 1-3 (2005) 149-162
32. Schaub M., Henzinger Th., and Fisher J. Qualitative networks: a symbolic approach to analyze biological signaling networks. BMC Systems Biology 1 (2007) 4
33. C.P. Sosa, T. Milledge, J. McAllister, and G.Z. Milledge. Life Sciences Molecular Dynamics Applications on the IBM System Blue Gene Solution: Performance Overview. Technical report, IBM, 2006
34. Thieffry D., and Thomas R. Dynamical Behavior of Biological Regulatory Networks. Bulletin of Mathematical Biology 57 2 (1995) 277-297