
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Gregor Gössler, "ComponentBased Modeling and Reachability Analysis of Genetic Networks," IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 8, no. 3, pp. 672682, May/June, 2011.  
BibTex  x  
@article{ 10.1109/TCBB.2010.81, author = {Gregor Gössler}, title = {ComponentBased Modeling and Reachability Analysis of Genetic Networks}, journal ={IEEE/ACM Transactions on Computational Biology and Bioinformatics}, volume = {8}, number = {3}, issn = {15455963}, year = {2011}, pages = {672682}, doi = {http://doi.ieeecomputersociety.org/10.1109/TCBB.2010.81}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE/ACM Transactions on Computational Biology and Bioinformatics TI  ComponentBased Modeling and Reachability Analysis of Genetic Networks IS  3 SN  15455963 SP672 EP682 EPD  672682 A1  Gregor Gössler, PY  2011 KW  Genetic regulatory network KW  discrete abstraction KW  component model KW  formal verification KW  reachability KW  modularity. VL  8 JA  IEEE/ACM Transactions on Computational Biology and Bioinformatics ER   
[1] G. Batt, D. Bergamini, H. de Jong, H. Garavel, and R. Mateescu, "Model Checking Genetic Regulatory Networks Using GNA and CADP," Proc. Spin Workshop (SPIN '04), pp. 158163, 2004.
[2] G. Bernot, J.P. Comet, A. Richard, and J. Guespin, "Application of Formal Methods to Biological Regulatory Networks: Extending Thomas' Asynchronous Logical Approach with Temporal Logic," J. Theoretical Biology, vol. 229, no. 3, pp. 339348, 2004.
[3] G. Bernot and F. Tahi, "Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network," Fundamenta Informaticae, vol. 91, nos. 3/4, pp. 463485, 2009.
[4] H. Busch, W. Sandmann, and V. Wolf, "A Numerical Aggregation Algorithm for the EnzymeCatalyzed Substrate Conversion," Proc. Int'l Conf. Computational Methods in Systems Biology (CMSB '06), pp. 298311, 2006.
[5] N. Chabrier and F. Fages, "Symbolic Model Checking of Biochemical Networks," Proc. Int'l Conf. Computational Methods in Systems Biology (CMSB '03), 2003.
[6] C. Chaouiya, E. Remy, P. Ruet, and D. Thieffry, "Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets," Proc. Int'l Conf. Application and Theory of Petri Nets (ICATPN '04), J. Cortadella and W. Reisig, eds., pp. 137156, 2004.
[7] J.P. Comet, H. Klaudel, and S. Liauzu, "Modeling MultiValued Genetic Regulatory Networks Using HighLevel Petri Nets," Proc. Int'l Conf. Application and Theory of Petri Nets (ICATPN '05), G. Ciardo and P. Darondeau, eds., pp. 208227, 2005.
[8] T. Dang, C.L. Guernic, and O. Maler, "Computing Reachable States for Nonlinear Biological Models," Proc. Seventh Int'l Conf. Computational Methods in Systems Biology (CMSB '09), pp. 126141, 2009.
[9] H. de Jong, "Modeling and Simulation of Genetic Regulatory Systems: A Literature Review," J. Computational Biology, vol. 9, no. 1, pp. 69105, 2002.
[10] H. de Jong, J. Geiselmann, C. Hernandez, and M. Page, "Genetic Network Analyzer: Qualitative Simulation of Genetic Regulatory Networks," Bioinformatics, vol. 19, no. 3, pp. 336344, 2003.
[11] H. de Jong, J.L. Gouzé, C. Hernandez, M. Page, T. Sari, and J. Geiselmann, "Qualitative Simulation of Genetic Regulatory Networks Using PiecewiseLinear Models," Bull. Math. Biology, vol. 66, pp. 301340, 2004.
[12] F. Fages and S. Soliman, "Abstract Interpretation and Types for Systems Biology," Theoretical Computer Science, vol. 403, no. 1, pp. 5270, 2008.
[13] J.C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu, "CADP: A Protocol Validation and Verification Toolbox," Proc. Int'l Conf. Computer Aided Verification (CAV '96), R. Alur and T.A. Henzinger, eds., pp. 437440, 1996.
[14] A.F. Filippov, Differential Equations with Discontinuous Righthand Side. Springer, 1988.
[15] R. Ghosh, A. Tiwari, and C. Tomlin, "Automated Symbolic Reachability Analysis; with Application to DeltaNotch Signaling Automata," Proc. Int'l Conf. Hybrid Systems: Computation and Control (HSCC '03), O. Maler and A. Pnueli, eds., pp. 233248, 2003.
[16] R. Ghosh and C. Tomlin, "Lateral Inhibition through DeltaNotch Signaling: A Piecewise Affine Hybrid Model," Proc. Int'l Conf. Hybrid Systems: Computation and Control (HSCC '01), M. Di Benedetto and A. SangiovanniVincentelli, eds., pp. 232246, 2001.
[17] R. Ghosh and C. Tomlin, "Symbolic Reachable Set Computation of Piecewise Affine Hybrid Automata and Its Application to Biological Modeling: DeltaNotch Protein Signaling," IEE Trans. Systems Biology, vol. 1, no. 1, pp. 170183, June 2004.
[18] A. Girard, "Reachability of Uncertain Linear Systems Using Zonotopes," Proc. Int'l Conf. Hybrid Systems: Computation and Control (HSCC '05), pp. 291305, 2005.
[19] L. Glass and S.A. Kauffman, "The Logical Analysis of Continuous, NonLinear Biochemical Control Networks," J. Theoretical Biology, vol. 39, no. 1, pp. 103129, 1973.
[20] G. Gössler, "ComponentBased Design of Heterogeneous Reactive Systems in prometheus," Research Report 6057, INRIA, 2006.
[21] G. Gössler, "Compositional Reachability Analysis of Genetic Networks," Proc. Int'l Conf. Computational Methods in Systems Biology (CMSB '06), C. Priami, ed., pp. 212226, 2006.
[22] G. Gössler and J. Sifakis, "ComponentBased Construction of DeadlockFree Systems (Extended Abstract)," Proc. Ann. Conf. Foundations of Software Technology and Theoretical Computer Science (FSTTCS '03), 2003.
[23] J.L. Gouzé and T. Sari, "A Class of Piecewise Linear Differential Equations Arising in Biological Models," Dynamical Systems, vol. 17, no. 4, pp. 299316, 2003.
[24] L.H. Hartwell, J.J. Hopfield, S. Leibler, and A.W. Murray, "From Molecular to Modular Cell Biology," Nature, vol. 402 (supplement), pp. C47C52, 1999.
[25] H. Kitano, "Looking beyond the Details: A Rise in SystemOriented Approaches in Genetics and Molecular Biology," Current Genetics, vol. 41, pp. 110, 2002.
[26] A.G. Gonzalez, A. Naldi, L. Sánchez, D. Thieffry, and C. Chaouiya, "GINsim: A Software Suite for the Qualitative Modelling, Simulation and Analysis of Regulatory Networks," Biosystems, vol. 84, no. 2, pp. 91100, 2006.
[27] G. Marnellos, G.A. Deblandre, E. Mjolsness, and G. Kintner, "DeltaNotch Lateral Inhibitory Patterning in the Emergence of Ciliated Cells in Xenopus: Experimental Observations and a Gene Network Model," Proc. Pacific Symp. Biocomputing (PSB '00), vol. 5, pp. 326337, 2000.
[28] A. Naldi, D. Thieffry, and C. Chaouiya, "Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks," Proc. Int'l Conf. Computational Methods in Systems Biology (CMSB '06), M. Calder and S.Gilmore, eds., pp. 233247, 2007.
[29] C. Piazza, M. Antoniotti, V. Mysore, A. Policriti, F. Winkler, and B. Mishra, "Algorithmic Algebraic Model Checking I: Challenges form Systems Biology," Proc. Int'l Conf. Computer Aided Verification (CAV '05), pp. 519, 2005.
[30] W. Reisig, Petri Nets: An Introduction. Springer, 1985.
[31] O. ResendisAntonio, J.A. FreyreGonzález, R. MenchacaMéndez, R.M. GutiérrezRíos, A. MartínezAntonio, C. AvilaSánchez, and J. ColladoVides, "Modular Analysis of the Transcriptional Regulatory Network of E. coli," Trends in Genetics, vol. 21, no. 1, pp. 1620, 2005.
[32] D. Ropers, V. Baldazzi, and H. de Jong, "Model Reduction Using PiecewiseLinear Approximations Preserves Dynamic Properties of the Carbon Starvation Response in Escherichia coli," IEEE/ACM Trans. Computational Biology and Bioinformatics, vol. 8, no. 1, pp. 166181, Jan./Feb. 2011.
[33] R. Thomas, "Boolean Formalisation of Genetic Control Circuits," J. Theoretical Biology, vol. 42, pp. 565583, 1973.
[34] R. Thomas and R. d'Ari, Biological Feedback. CRC Press, 1990.
[35] D.M. Wolf and A.P. Arkin, "Motifs, Modules and Games in Bacteria," Current Opinion in Microbiology, vol. 6, pp. 125134, 2003.
[36] V. Wolf, "Modelling of Biochemical Reactions by Stochastic Automata Networks," Electronic Notes in Theoretical Computer Science, vol. 171, no. 2, pp. 197208, July 2007.