Model checking genetic regulatory networks using GNA and CADP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2989, Issue , 2004, Pages 158-163

  Batt, Grégory ^a   Bcrgamini, Damien ^a   De Jong, Hidde ^a   Garavel, Hubert ^a   Mateescu, Radu ^a  

^a INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21144444907     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24732-6_12     Document Type: Article

References (14)

1. R. Alur, C. Belta, F. Ivančíc, V. Kumar, M. Mintz, G.J. Pappas, H. Rubin, and J. Schlug. Hybrid modeling and simulation of biomokcular networks. In M.D. Di Benedctto and A. Sangiovanni-Vincentelli, eds, Hybrid Systems: Computation and Control (HSCC 2001), vol. 2034 of LNCS, 19-32. Springer, 2001.
2. M. Antoniotti, B. Mishra, C. Piazza, A. Policriti, and M. Simeoni. Modeling cellular behavior with hybrid automata: bisimulation and collapsing. In C.Priami, ed., First Int. Work. Comput. Meth. Systems Biol. (CMSB 2003), vol. 2602 of LNCS, 57-74. Springer, 2003.
3. G. Batt, H. de Jong, J. Geiselmann, and M. Page. Analysis of genetic regulatory networks: A model-checking approach. In P. Salles and B. Bredeweg, eds, Proc. 17th Int. Work. Qualitative Reasoning (QR-03), 31-38, Brasilia, Brazil, 2003.
4. N. Chabrier and F. Fages. Symbolic model checking of biochemical networks. In C.Priami, ed., First Int. Work. Comput. Meth. Systems Biol. (CMSB 2003), vol. 2602 of LNCS, 140-162. Springer, 2003.
5. H. de Jong, J. Geiselmann, G. Batt, C. Hernandez, and M. Page. Qualitative simulation of the initiation of sporulation in B. subtilis. Bull. Math. Biol., 2004. In press.
6. H. de Jong, J. Geiselmann, C. Hernandez, and M. Page. Genetic Network Analyzer: Qualitative simulation of genetic regulatory networks. Bioinformatics, 19(3):336-344,2003. http://www-helix.inrialpes.fr/gna.
7. H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, and J. Geiselmann. Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol., 2004. In press.
8. H. Garavel, F. Lang, and R. Mateescu. An overview of CADP 2001. Europ. Assoc. for Soft. Sci. and Tech. (EASST) Newsletter, 4:13-24, 2002. Also INRIA Technical Report RT-0254 (2001). http://www.inrialpes.fr/vasy/cadp.
9. R. Ghosh, A. Tiwari, and C. Tomlin. Automated symbolic reachability analysis; with application to delta-notch signaling automata. In O. Maler and A. Pnueli, eds, Hybrid Systems: Computation and Control (HSCC 2003), vol. 2623 of LNCS, 233-248, Springer, 2003.
10. L. Glass and S.A. Kauffman. The logical analysis of continuous non-linear biochemical control networks. J. Theor. Biol., 39:103-129, 1973.
11. K.W. Kohn. Molecular interaction maps as information organizers and simulation guides. Chaos, 11(1):1-14, 2001.
12. R. Mateescu and M. Sighireanu. Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program., 46(3):255-281, 2003.
13. S. Peres and J. P. Comet. Contribution of computational tree logic to biological regulatory networks: Example from P. aeruginosa. In C. Priami, ed., First Int. Work. Comput. Meth. Systems Biol. (CMSB 2003), vol. 2602 of LNCS, 47-56, Springer, 2003.
14. B. Shults and B. J. Kuipers. Proving properties of continuous systems: Qualitative simulation and temporal logic. Artif. Intell, 92(1-2):91-130, 1997.