Skip to Main content Skip to Navigation
Conference papers

Modeling and formal verification of biological regulatory networks: an integrative approach

Pedro T. Monteiro 1, 2 Ana T. Freitas 3 Delphine Ropers 1 Radu Mateescu 4 Hidde De Jong 1, * 
* Corresponding author
1 IBIS - Modeling, simulation, measurement, and control of bacterial regulatory networks
LAPM - Laboratoire Adaptation et pathogénie des micro-organismes [Grenoble], Inria Grenoble - Rhône-Alpes, Institut Jean Roget
4 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : The study of large models of biological networks by means of analysis and simulation tools leads to large amounts of predictions. This raises the question of how to identify interesting predictions of novel phenomena that can be confronted with experimental data. Formal verification techniques based on model-checking have recently been used to the analysis of these networks. The application of these techniques is hampered, however, by several key issues. First, properties of the network dynamics like multistability and oscillations, are not easily expressed using classical temporal logics. Second, the problem of posing relevant questions in temporal logic, is difficult for non-expert users. Finally, most of the existing modeling and simulation tools are not capable of applying model-checking techniques in a transparent way.
Complete list of metadata
Contributor : Gaëlle Rivérieux Connect in order to contact the contributor
Submitted on : Thursday, February 21, 2013 - 2:32:59 PM
Last modification on : Tuesday, August 2, 2022 - 4:24:14 AM


  • HAL Id : hal-00793023, version 1


Pedro T. Monteiro, Ana T. Freitas, Delphine Ropers, Radu Mateescu, Hidde De Jong. Modeling and formal verification of biological regulatory networks: an integrative approach. Proceedings of the IEEE International Conference on Bioinformatics & Biomedicine (BIBM 2010). First Workshop on Knowledge Engineering, Discovery and Dissemination in Health (KEDDH10), 2010, Ottawa, Canada. ⟨hal-00793023⟩



Record views