Modeling and formal verification of biological regulatory networks: an integrative approach - Laboratoire d'Informatique de Grenoble Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-00793023 , version 1 (21-02-2013)

Identifiants

  • HAL Id : hal-00793023 , version 1

Citer

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⟩
340 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More