Static analysis of Biological Regulatory Networks dynamics using abstract interpretation

Mathematical Structures in Computer Science

Volumn 22, Issue 4, 2012, Pages 651-685

  Paulevé, Loïc ^a,b   Magnin, Morgan ^a   Roux, Olivier ^a  

^a INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

^b ECOLE POLYTECHNIQUE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT INTERPRETATIONS; COMPACT MODEL; DISCRETE VALUES; FINITE NUMBER; IN-PROCESS; INNOVATIVE METHOD; MODEL-CHECKING TECHNIQUES; REACHABILITY; REGULATORY NETWORK; SCALABLE ANALYSIS; STATE-SPACE EXPLOSION; THEORETICAL COMPLEXITY;

STATIC ANALYSIS;

DYNAMICS;

EID: 84863915902     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129511000739     Document Type: Article

References (21)

1. Alimonti, P., Feuerstein, E., Laura, L. and Nanni, U. (2011) Linear time analysis of properties of conflict-free and general petri nets. Theoretical Computer Science 412 (4-5) 320-338.
2. Aracena, J. (2008) Maximum number of fixed points in regulatory boolean networks. Bulletin of Mathematical Biology 70 (5) 1398-1409.
3. Bernot, G., Cassez, F., Comet, J.-P., Delaplace, F., M̈uller, C. and Roux, O. (2007) Semantics of biological regulatory networks. Electronic Notes in Theoretical Computer Science 180 (3) 3-14. (Pubitemid 47044923)
4. Bernot, G., Comet, J.-P. and Khalis, Z. (2008) Gene regulatory networks with multiplexes. European Simulation and Modelling Conference Proceedings 423-432.
5. Brand, D. and Zafiropulo, P. (1983) On communicating finite-state machines. Journal of the ACM 30 323-342.
6. Clarke, E.M. and Emerson, E. A. (1981) Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Kozen, D. (ed.) Logics of Programs. Springer-Verlag Lecture Notes in Computer Science 131 52-71.
7. Cousot, P. and Cousot, R. (1977) Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. Proceedings of the 4th ACM SIGACTSIGPLAN symposium on Principles of programming languages-POPL '77 238-252.
8. Cousot, P. and Cousot, R. (1992) Abstract interpretation frameworks. Journal of Logic and Computation 2 (4) 511-547.
9. Danos, V., Feret, J., Fontana, W. and Krivine, J. (2008) Abstract interpretation of cellular signaling networks. In: Logozzo, F., Peled, D. and Zuck, L. (eds.) Verification, Model Checking, and Abstract Interpretation. Springer-Verlag Lecture Notes in Computer Science 4905 83-97. (Pubitemid 351358216)
10. Hamez, A., Thierry-Mieg, Y. and Kordon, F. (2009) Building efficient model checkers using hierarchical set decision diagrams and automatic saturation. Fundamenta Informaticae 94 (3-4) 413-437.
11. Klamt, S., Saez-Rodriguez, J., Lindquist, J., Simeoni, L. and Gilles, E. (2006) A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinformatics 7 (1) 56.
12. Paulev́ e, L., Magnin, M. and Roux, O. (2011a) Abstract Interpretation of Dynamics of Biological Regulatory Networks. In: Proceedings of The First International Workshop on Static Analysis and Systems Biology (SASB 2010). Electronic Notes in Theoretical Computer Science 272 43-56.
13. Paulev́ e, L., Magnin, M. and Roux, O. (2011b) Refining dynamics of gene regulatory networks in a stochastic ?-calculus framework. In: Priami, C., Back, R.-J., Petre, I. and de Vink, E. (eds.) Transactions on Computational Systems Biology XIII. Springer-Verlag Lecture Notes in Computer Science 6575 171-191.
14. Paulev́ e, L. and Richard, A. (2010) Topological Fixed Points in Boolean Networks. Comptes Rendus de l'Acad́emie des Sciences-Series I-Mathematics 348 (15-16) 825-828.
15. Pilegaard, H., Nielson, F. and Nielson, H. R. (2005) Static analysis of a model of the LDL degradation pathway. In: Plotkin, G. (ed.) Third International Workshop on Computational Methods in Systems Biology (CMSB'05), University of Edinburgh.
16. Remy, É ., Ruet, P. and Thieffry, D. (2008) Graphic requirements for multistability and attractive cycles in a boolean dynamical framework. Advances in Applied Mathematics 41 (3) 335-350.
17. Richard, A. (2010) Negative circuits and sustained oscillations in asynchronous automata networks. Advances in Applied Mathematics 44 (4) 378-392.
18. Richard, A. and Comet, J.-P. (2007) Necessary conditions for multistationarity in discrete dynamical systems. Discrete Applied Mathematics 155 (18) 2403-2413. (Pubitemid 47628780)
19. Richard, A., Comet, J.-P. and Bernot, G. (2006) Formal Methods for Modeling Biological Regulatory Networks. In: Gabbar, H. A. (ed.) Modern Formal Methods and Applications, Springer-Verlag 83-122.
20. Saez-Rodriguez, J. et al. (2007) A logical model provides insights into t cell receptor signaling. PLoS Comput Biol 3 (8) e163.
21. Thomas, R. (1973) Boolean formalization of genetic control circuits. Journal of Theoretical Biology 42 (3) 563-585.