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 Jong 1, *
* Auteur correspondant
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.
Liste complète des métadonnées
Contributeur : Gaëlle Rivérieux <>
Soumis le : jeudi 21 février 2013 - 14:32:59
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14


  • HAL Id : hal-00793023, version 1


Pedro T. Monteiro, Ana T. Freitas, Delphine Ropers, Radu Mateescu, Hidde 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. 2010. 〈hal-00793023〉



Consultations de la notice